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

fYear

2001

fDate

2001

Firstpage

33

Lastpage

39

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Quality Software, 2001. Proceedings.Second Asia-Pacific Conference on

Conference_Location

Hong Kong

Print_ISBN

0-7695-1287-9

Type

conf

DOI

10.1109/APAQS.2001.989999

Filename

989999