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

Authors:
Ping Cao;Zhao Dong;Ke Liu;Kai-Yuan Cai
Affiliations:
MADIS and National Center for Mathematics and Interdisciplinary Sciences, Academy of Mathematics and Systems Sciences, CAS, Beijing 100190, China;MADIS and National Center for Mathematics and Interdisciplinary Sciences, Academy of Mathematics and Systems Sciences, CAS, Beijing 100190, China;MADIS and National Center for Mathematics and Interdisciplinary Sciences, Academy of Mathematics and Systems Sciences, CAS, Beijing 100190, China;Department of Automatic Control, Beijing University of Aeronautics Astronautics, Beijing 100191, China and State Key Laboratory of Computer Science, Institute of Software, CAS, Beijing 100190, Chi ...
Venue:
Information Sciences: an International Journal
Year:
2013

Citing 13
Cited 0

A Markov Chain Model for Statistical Software Testing

IEEE Transactions on Software Engineering
Software reliability methods

Software reliability methods
Software Reliability: Assumptions, Realities and Data

ICSM '99 Proceedings of the IEEE International Conference on Software Maintenance
Software Reliability Growth Models: Assumptions vs. Reality

ISSRE '97 Proceedings of the Eighth International Symposium on Software Reliability Engineering
Analysis of Software Fault Removal Policies Using a Non-Homogeneous Continuous Time Markov Chain

Software Quality Control
Software testing processes as a linear dynamic system

Information Sciences: an International Journal
Mathematical modeling of software reliability testing with imperfect debugging

Computers & Mathematics with Applications
Foundations of Software Testing

Foundations of Software Testing
Efficient Software Verification: Statistical Testing Using Automated Search

IEEE Transactions on Software Engineering
An integrated risk measurement and optimization model for trustworthy software process management

Information Sciences: an International Journal
Random Testing: Theoretical Results and Practical Implications

IEEE Transactions on Software Engineering
Markovian software reliability measurement with a geometrically decreasing perfect debugging rate

Mathematical and Computer Modelling: An International Journal
An imperfect debugging model with two types of hazard rates for software reliability measurement and assessment

Mathematical and Computer Modelling: An International Journal

Quantified Score

Hi-index	0.07

Visualization

Abstract

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.