Utilizing verification and validation certificates to estimate software defect density

In industry, information on defect density of a product tends to become available too late in the software development process to affordably guide corrective actions. Our research objective is to build a parametric model which utilizes a persistent record of the validation and verification (V&V) practices used with a program to estimate the defect density of that program. The persistent record of the V&V practices are recorded as certificates which are automatically recorded and maintained with the code.PhD Advisor: Dr. Laurie Williams, williams@csc.ncsu.edu

[2]  Terry Shepard,et al.  A component based software reliability model , 1995, CASCON.

[3]  Ellis Horowitz,et al.  Software Cost Estimation with COCOMO II , 2000 .

[4]  John D. Musa,et al.  Software-Reliability-Engineered Testing , 1996, Computer.

[5]  S. Kent Evaluating certification authority security , 1998, 1998 IEEE Aerospace Conference Proceedings (Cat. No.98TH8339).

[6]  T. A. Team Programatica Tools for Certifiable , Auditable Development of High-assurance Systems in Haskell , 2003 .

[7]  Michael Fagan Design and Code Inspections to Reduce Errors in Program Development , 1976, IBM Syst. J..

[8]  Laurie Williams,et al.  Tool Support for Estimating Software Reliability in Haskell Programs , 2004 .

[9]  John D. Musa,et al.  Software Reliability Engineering in Industry , 1999, SAFECOMP.

[10]  Mladen A. Vouk Software Reliability Engineering , 1999 .

[11]  Mladen A. Vouk,et al.  Resource-constrained non-operational testing of software , 1998, Proceedings Ninth International Symposium on Software Reliability Engineering (Cat. No.98TB100257).

[12]  Nachiappan Nagappan,et al.  A software testing and reliability early warning (strew) metric suite , 2005 .

[13]  Laurie A. Williams,et al.  Early estimation of defect density using an in-process Haskell metrics model , 2005, A-MOST.

[14]  John D. Musa,et al.  Software Reliability Engineering , 1998 .

[15]  Michael E. Fagan Design and Code Inspections to Reduce Errors in Program Development , 1976, IBM Syst. J..

[16]  Laurie A. Williams,et al.  Pair Programming Illuminated , 2002 .

[17]  John D. Musa,et al.  A theory of software reliability and its application , 1975, IEEE Transactions on Software Engineering.