Title :
An analysis of software correctness prediction methods
Author :
Kokol, P. ; Podgorelec, V. ; Zorman, M. ; Progar, M. ; Pighin, M.
Author_Institution :
Lab. for Syst. Design, Maribor Univ., Slovenia
Abstract :
Reliability is one of the most important aspects of software systems of any kind. Software development is a complex and complicated process in which software faults are inserted into the code by mistakes during the development process or maintenance. It has been shown that the pattern of the faults insertion phenomena is related to measurable attributes of the software. We introduce some methods for reliability prediction based on software metrics, present the results of using these methods in the particular industrial software environment for which we have a large database of modules in C language. Finally we compare the results and methods and give some directions and ideas for future work
Keywords :
program verification; software metrics; software reliability; C language; faults insertion; industrial software environment; reliability prediction; software correctness prediction methods; software development; software faults; software metrics; software reliability; Databases; Lab-on-a-chip; Laboratories; Maintenance; Prediction methods; Programming; Reliability engineering; Software measurement; Software metrics; System analysis and design;
Conference_Titel :
Quality Software, 2001. Proceedings.Second Asia-Pacific Conference on
Conference_Location :
Hong Kong
Print_ISBN :
0-7695-1287-9
DOI :
10.1109/APAQS.2001.989999
