Title :
Capture-recapture techniques in software verification
Author :
Eldin, Maye Nour ; Kamel, Amr ; Hegazy, Osman
Author_Institution :
Inf. Syst. Dept., Cairo Univ., Cairo
Abstract :
Software verification is the process that assures that a software product conforms to its predefined specifications. Software inspection is the main verification technique used at early development stages. The inspection effectiveness; number of defects remaining in the artifact relative to number of identified defects; is typically used to measure the quality of the inspection process. Many approaches have been developed to judge the inspection effectiveness such as comparing the inspection results to organizationpsilas historical data, establishing an organizational baseline for defect density, or estimating the number of remaining defects. Towards that end, capture-recapture techniques, originally proposed by biologists for animal population estimation, could be used to estimate the number of remaining defects in a software artifact. This paper reviews the different concepts for defect prediction techniques, provides an elaboration for basic concepts of capture-recapture models with their estimators, its applicability to software defect prediction, state of the art of research for this technique in software inspection and an overall evaluation for capture-recapture technique with its challenges.
Keywords :
formal specification; inspection; program verification; software quality; software reliability; capture-recapture technique; software defect prediction technique; software development stage; software product conform; software quality inspection; software reliability; software specification; software verification; Animals; Biological system modeling; Computer industry; Computer science; Costs; Information systems; Inspection; Predictive models; Software quality; State estimation; Capture-recapture; defect prediction; re-inspection; software inspection;
Conference_Titel :
Computer Engineering & Systems, 2008. ICCES 2008. International Conference on
Conference_Location :
Cairo
Print_ISBN :
978-1-4244-2115-2
Electronic_ISBN :
978-1-4244-2116-9
DOI :
10.1109/ICCES.2008.4773013