Title :
Verification based inspection
Author_Institution :
IBM Federal Sector Div., Owego, NY, USA
Abstract :
A realization from cleanroom experience is that the software inspection can be driven by correctness verification ideas. Specifically, the questions to be asked by inspectors and the order in which they are to be asked can be automatically created from correctness proofs. The verification based inspection is qualitatively superior to the formal inspection in developing software with near zero defects
Keywords :
program verification; software reliability; cleanroom experience; correctness proofs; correctness verification ideas; near zero defects; software inspection; verification based inspection; Costs; Guidelines; Inspection; Life testing; Process design; Programming; Software design; Software measurement; Software quality; Software testing;
Conference_Titel :
System Sciences, 1992. Proceedings of the Twenty-Fifth Hawaii International Conference on
Conference_Location :
Kauai, HI
Print_ISBN :
0-8186-2420-5
DOI :
10.1109/HICSS.1992.183255
