Preliminary results on using static analysis tools for software inspection

Proceedings - International Symposium on Software Reliability Engineering, ISSRE

Volumn , Issue , 2004, Pages 429-439

  Nagappan, Nachiappan ^a   Williams, Laurie ^a   Hudepohl, John ^b   Snipes, Will ^b   Vouk, Mladen ^a  

^a NORTH CAROLINA STATE UNIVERSITY   (United States)

^b NORTEL NETWORKS   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATED INSPECTION; CODE ANALYSIS; SOFTWARE INSPECTION; STATIC ANALYSIS;

C (PROGRAMMING LANGUAGE); CLASSIFICATION (OF INFORMATION); COMPUTER SOFTWARE; DATA ACQUISITION; ERROR ANALYSIS; FAULT TOLERANT COMPUTER SYSTEMS; STATISTICAL METHODS;

COMPUTER AIDED SOFTWARE ENGINEERING;

EID: 16244406588     PISSN: 10719458     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ISSRE.2004.30     Document Type: Conference Paper

References (28)

1. Briand, L. C., El Emam, K., Freimut, B., Laitenberger, O., "Quantitative Evaluation of Capture-Recapture Models to Control Software Inspections," presented at International Symposium on Software Reliability Engineering, 1998.pp. 234-244
2. Briand, L. C., El Emam, K., Laitenberger, O., Fussbroich,T., "Using Simulation to Build Inspection Efficiency Benchmarks for Development Projects," presented at International Conference on Software Engineering, 1998.pp. 340-449
3. Chillarege, R., Bhandari, I.S., Chaar, J., Halliday, M.J., Moebus, D.S., Ray, B.K., Wong, M-Y., "Orthogonal Defect Classification - A Concept for In-Process Measurements," IEEE Transactions on Software Engineering, vol. 18, pp. 943-956, 1992.
4. Dow, H. E., Murphy, J.S., "Detailed Product Knowledge is not Required for a Sucessful Formal Software Inspection," presented at Seventh Software Engineering Process Group Meeting, Boston, MA, 1994.pp.
5. Eick, S. G., Loader, C.R., Long, M.D., Votta, L.G., Weil S.V., "Estimating Software Fault Content before Coding," presented at International Conference on Software Engineering, 1992.pp. 59-65
6. Engler, D., Chelf, B., Chou, A., Hallem, S., "Checking System Rules Using System-Specific, Programmer-Written Compiler Extensions," presented at OSDI 2000, 2000.
7. Evans, D., Guttag, J., Horning, J., Tan, Y., M., "LCLint: A Tool for Using Cpecifications to Check Code," presented at ACM-SIGSOFT Foundations in Software Engineering, 1994.pp. 87-96
8. Fagan, M. E., "Advances in Software Inspections," IEEE Transactions on Software Engineering, vol. 12, pp. 744-751, 1986.
9. Fagan, M. E., "Design and Code Inspections to Reduce Errors in Program Development," IBM Systems Journal, vol. 15, pp. 182-211, 1976.
10. Fenton, N. E., Pfleeger, S.L., Software Metrics. Boston, MA: International Thompson Publishing, 1997.
11. Hudepohl, J., S. J. Aud, T. Khoshgoftaar, E. B. Allen, and J. Mayrand, "Emerald: Software Metrics and Models on the Desktop," in IEEE Software, vol. 13, September 1996, pp. 56-59.
12. Hudepohl, J., W. Jones, and B. Lague, "EMERALD: A Case Study in Enhancing Software Reliability," in Eighth International Symposium on Software Reliability Engineering (Case Studies). Albuquerque, New Mexico, 1997, pp. 85-91.
13. IEEE, "IEEE 1028-1988: IEEE Standard for Software Reviews and Audits," 1988.
14. Johnson, S. C., "Lint, a C Program Checker," AT & T Bell Laboratories Unix programmers manual, computer science tech report 65, 1978.
15. Kelly, D., Shepard, T., "A Case Study in the use of Defect Classification in Inspections," presented at IBM Centre for Advanced Studies Conference, 2001.pp. 26-39
16. Khoshgoftaar, T. M., Allen, E.B., Goel, N., Nandi, A., McMullan, J., "Detection of Software Modules with high Debug Code Churn in a very large Legacy System," presented at International Symposium on Software Reliability Engineering, 1996.pp. 364-371
17. Khoshgoftaar, T. M., Munson, J.C., "The Lines of Code Metric as a Predictor of Program Faults: A Critical Analysis," presented at Computer Software and Applications Conference (COMPSAC), 1990.pp. 408-413
18. Khoshgoftaar, T. M., Munson, J.C., Lanning, D.L., "A Comparative Study of Predictive Models for Program Changes During System Testing and Maintenance," International Conference on Software Maintenance, 1993.pp. 72-79
19. Munson, J. C., Khoshgoftaar, T.M., "The Detection of Fault-Prone Programs," IEEE Transactions on Software Engineering, vol. 18, pp. 423-433, 1992.
20. Munson, J. C., Khoshgoftaar,T.M., "Regression Modelling of Software quality: Empirical Investigation," Information and Software Technology, pp. 106-114, 1990.
21. ONeill, D., "Issues in Software Inspection," in IEEE Software, 1997, pp. 18-19.
22. Porter, A. A., Johnson, P.M., "Assessing Software Review Meetings: Results of a Comparative Analysis of two Experimental Studies," IEEE Transactions on Software Engineering, vol. 23, pp. 129-145, 1997.
23. Reasoning Inc., "Automated Software Inspection: A New Approach to Increase Software Quality and Productivity."
24. Runeson, P., Wohlin, C., "An Experimental Evaluation of an Experience-Based Capture-Recapture Method in Software Code Inspections," Journal of Empirical Software Engineering, pp. 381-406, 1998.
25. Rus, I., Shull, F., Donzelli, P., "Decision Support for Using Software Inspections," presented at 28th Annual NASA Goddard Software Engineering Workshop, 2003.pp. 3-11
26. Schneidewind, N. F., "Methodology for Validating Software Metrics," IEEE Transactions on Software Engineering, vol. 18, pp. 410-422, 1992.
27. Wiel, S. A. V., Votta, L.G., "Assessing Software Designs Using Capture-Recapture Methods," IEEE Transactions on Software Engineering, vol. 10, pp. 1045-1054, 1993.
28. Wohlin, C., Runeson, P., Brantestam, J., "An Experimental Evaluation of Capture-Recapture in Software Inspections," Software Testing, Verification and Reliability, vol. 5, pp. 213-232, 1995.