Quantitative effects of software testing on reliability improvement in the presence of imperfect debugging

Software testing is essential for software reliability improvement and assurance. However, software testing is subject to imperfect debugging in the sense that new defects may be introduced into the software under test while detected defects are removed. The quantitative effects of software testing...

Full description

Saved in:
Bibliographic Details
Published inInformation sciences Vol. 218; pp. 119 - 132
Main Authors Cao, Ping, Dong, Zhao, Liu, Ke, Cai, Kai-Yuan
Format Journal Article
LanguageEnglish
Published Elsevier Inc 01.01.2013
Subjects
Imperfect debugging
Markov usage model
Software reliability testing
Imperfect debugging
Markov usage model
Software reliability testing
Online AccessGet full text

Cover

More Information
Summary:Software testing is essential for software reliability improvement and assurance. However, software testing is subject to imperfect debugging in the sense that new defects may be introduced into the software under test while detected defects are removed. The quantitative effects of software testing on software reliability improvement are obscure. In this paper we propose a Markov usage model to explore the quantitative relationships between software testing and software reliability in the presence of imperfect debugging. Several interesting quantities for software reliability assessment are derived and the corresponding upper and lower bounds are obtained.
ISSN:0020-0255
1872-6291
DOI:10.1016/j.ins.2012.06.034