Optimal software testing and adaptive software testing in the context of software cybernetics

Information and Software Technology

Volumn 44, Issue 14, 2002, Pages 841-855

  Cai, Kai Yuan ^a  

^a BEIHANG UNIVERSITY   (China)

Author keywords

Adaptive software testing; Controlled Markov chain; Optimal test profile; Software cybernetics; Software operational profile; Software testing

Indexed keywords

COMPUTER SIMULATION; COMPUTER SOFTWARE SELECTION AND EVALUATION; CYBERNETICS; MARKOV PROCESSES;

SOFTWARE TESTING;

COMPUTER AIDED SOFTWARE ENGINEERING;

EID: 0036839425     PISSN: 09505849     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0950-5849(02)00108-8     Document Type: Conference Paper

References (16)

1. Avritzer A., Weyuker E.J. The automatic generation of load test suites and the assessment of the resulting software. IEEE Transactions on Software Engineering. 21:(9):1995;705-716.
2. Beizer B. Software Testing Techniques. second ed :1990;Van Nostrand Reinhold, New York.
3. K.Y. Cai, On the concepts of total systems, total dependability and software cybernetics (unpublished manuscript), Centre for Software Reliability, City University, London, Draft version, October 1994; revised version, 1995.
4. Cai K.Y. Software Defect and Operational Profile Modeling. 1998;Kluwer Academic Publishers, Dordrecht.
5. Cai K.Y. Towards a conceptual framework of software run reliability modeling. Information Sciences. 126:2000;137-163.
6. K.Y. Cai, A controlled Markov chains approach to software testing, IEEE Transactions on Software Engineering, submitted for publication, 2002.
7. Chen T.Y., Tse T.H., Yu Y.T. Proportional sampling strategy: a compendium and some insights. Journal of Systems and Software. 58:2001;65-81.
8. Derman C. Finite State Markovian Decision Processes. 1970;Academic Press, London.
9. Elbaum S., Malishevsky A.G., Rothermel G. Test case prioritization: a family of empirical studies. IEEE Transactions on Software Engineering. 28:(2):2002;159-182.
10. Hernandez-Lerma O. Adaptive Markov Control Processes. 1989;Springer, Berlin.
11. Hernandez-Lerma O., Lasserre J.B. Discrete-Time Markov Control Processes: Basic Optimality Criteria. 1996;Springer, Berlin.
12. Poore J.H. Introduction to the special issue on: model-based statistical testing of software intensive systems. Information and Software Technology. 42:2000;797-799.
13. Rothermel G., Untch R.H., Chu C., Harrold M.J. Prioritizing test cases for regression testing. IEEE Transactions on Software Engineering. 27:(10):2001;929-948.
14. Rubino G., Sericola B. A finite characterization of weak lumpable Markov processes. Part I: the discrete time case. Stochastic Processes and Their Applications. 38:1991;195-204.
15. Spreij P. On the Markov property of a finite hidden Markov chain. Statistics and Probability Letters. 52:2001;279-288.
16. Whittaker J.A., Thomason M.G., Markov A. Chain model for statistical software testing. IEEE Transactions on Software Engineering. 20:(10):1994;812-824.