DocumentCode
278951
Title
Verification based inspection
Author
Dyer, Michael
Author_Institution
IBM Federal Sector Div., Owego, NY, USA
Volume
ii
fYear
1992
fDate
7-10 Jan 1992
Firstpage
418
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;
fLanguage
English
Publisher
ieee
Conference_Titel
System Sciences, 1992. Proceedings of the Twenty-Fifth Hawaii International Conference on
Conference_Location
Kauai, HI
Print_ISBN
0-8186-2420-5
Type
conf
DOI
10.1109/HICSS.1992.183255
Filename
183255
Link To Document