Mathematical modeling of software reliability testing with imperfect debugging

Computers and Mathematics with Applications

Volumn 59, Issue 10, 2010, Pages 3245-3285

  Cai, Kai Yuan ^a   Cao, Ping ^b   Dong, Zhao ^b   Liu, Ke ^b  

^a BEIHANG UNIVERSITY   (China)

^b INSTITUTE OF APPLIED MATHEMATICS   (China)

Author keywords

Imperfect debugging; Markovian property; Software reliability; Software testing; The principle of uncertainty

Indexed keywords

ANALYSIS AND SIMULATION; CUMULATIVE NUMBER; IMPERFECT DEBUGGING; MARKOVIAN; MARKOVIAN PROPERTY; MATHEMATICAL MODELING; MODELING FRAMEWORKS; NON-LINEAR DYNAMIC SYSTEMS; RIGOROUS MODELING; SECOND ORDERS; UNBIASED ESTIMATOR; UPPER BOUND;

COMPUTER SIMULATION; COMPUTER SOFTWARE SELECTION AND EVALUATION; CORROSION; DEFECTS; DYNAMICAL SYSTEMS; ESTIMATION; MATHEMATICAL MODELS; PHASE MATCHING; PROGRAM DEBUGGING; QUALITY ASSURANCE; SOFTWARE TESTING; TEST FACILITIES;

SOFTWARE RELIABILITY;

EID: 77953132649     PISSN: 08981221     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.camwa.2010.03.011     Document Type: Article

References (22)

1. Beizer B. Software Testing Techniques. 2nd ed. (1990), Van Nostrand Reinhold
2. Binder R.V. Testing Object-Oriented Systems: Models, Patterns, and Tools (2000), Addison-Wesley
3. Cai K.Y. Software Defect and Operational Profile Modeling (1998), Kluwer Academic Publishers
4. In: Lyu M.R. (Ed). Handbook of Software Reliability Engineering (1996), McGraw-Hill
5. Xie M. Software Reliability Modeling (1991), World Scientific
6. Cai K.Y., Hu D.B., Bai C.G., Hai H., and Jing T. Does software reliability growth behavior follow a non-homogeneous Poisson process. Information and Software Technology 50 (2008) 1232-1247
7. Chang Y.C., and Huang W.L. Software release policies on a shot-noise process model. Applied Mathematics and Computation 171 (2005) 746-759
8. Li S.M., Yin Q., Guo P., and Lyu M.R. A hierarchical mixture model for software reliability prediction. Applied Mathematics and Computation 185 (2007) 1120-1130
9. Musa J.D. Software-reliability-engineered testing. Computer 29 (1996) 61-68
10. Whittaker J.A., and Poore J.H. Markov analysis of software specifications. ACM Transactions on Software Engineering and Methodology 2 (1993) 93-106
11. Whittaker J.A., and Thomason M.G. A Markov chain model for statistical software testing. IEEE Transactions on Software Engineering 20 (1994) 812-824
12. Cai K.Y. Optimal software testing and adaptive software testing in the context of software cybernetics. Information and Software Technology 44 (2002) 841-855
13. Cai K.Y., Li Y.C., and Liu K. Optimal and adaptive testing for software reliability assessment. Information and Software Technology 46 (2004) 989-1000
14. Cai K.Y., Dong Z., Liu K., and Bai C.G. A mathematical modeling framework for software reliability testing. International Journal of General Systems 36 (2007) 399-463
15. Cai K.Y., Dong Z., and Liu K. Software testing processes as a linear dynamic system. Information Sciences 178 (2008) 1558-1597
16. Ammann P.E., Brilliant S.S., and Knight J.C. The effect of imperfect error detection on reliability assessment via life testing. IEEE Transactions on Software Engineering 20 (1994) 142-148
17. Feller W. An Introduction to Probability Theory and its Applications. 2nd ed. vol. II (1971), Wiley p. 345
18. Chen C.T. Linear System Theory and Design (1984), CBS College Publishing
19. Khalil H.K. Nonlinear Systems. 3rd ed. (2001), Prentice-Hall
20. R. Findeisen, F. Allgower, An introduction to nonlinear model predictive control. http://www.wfw.wtb.tue.nl/benelux2002/nmpc.pdf.
21. Minc H. Nonnegative Matrices (1988), Wiley, New York pp. 11-19
22. Hall P., and Heyde C.C. Martingale Limit Theory and its Application (1980), Academic Press p. 58