Software Certification: Testing and Measurement