A systematic mapping study on the combination of static and dynamic quality assurance techniques
Information and Software Technology
| Hi-index | 0.00 |
This case study illustrates the application of asoftware development process that is intended toproduce low-defect code for reliable systems.Recognizing that traditional testing is conductedtoo late in development to ensure the quality ofmission critical software, the process emphasizesverification through applying formal methods,inspections in all phases, and a unique testingphilosophy. This process is demonstrated in a well instrumented candidate project that is the subjectof the case study. The product is control softwarefor a robotic data tape system used in the B-2 testprogram. Only three defects were found in the unitand integration test phases of the project, despitebeing over 7,000 lines of code in size. Sincedeployment, no major defects have been found inmore than eight months of operational use.