Optimal software testing in the setting of controlled Markov chains

European Journal of Operational Research

Volumn 162, Issue 2, 2005, Pages 552-579

  Cai, Kai Yuan ^a   Li, Yong Chao ^a   Ning, Wei Yi ^a  

^a BEIHANG UNIVERSITY   (China)

Author keywords

Adaptive control; Adaptive software testing; Controlled Markov chain; Optimal software testing; Random software testing; Software cybernetics; Software testing; Testing resource constraint

Indexed keywords

ADAPTIVE CONTROL SYSTEMS; CLOSED LOOP CONTROL SYSTEMS; CYBERNETICS; ENGINEERS; MARKOV PROCESSES; OPTIMIZATION; PARAMETER ESTIMATION; PROBABILITY DISTRIBUTIONS;

ADAPTIVE SOFTWARE TESTING; OPTIMAL SOFTWARE TESTING; RANDOM SOFTWARE TESTING; SOFTWARE CYBERNETICS; SOFTWARE TESTING; TESTING RESOURCE CONSTRAINTS;

SOFTWARE ENGINEERING;

EID: 9644275635     PISSN: 03772217     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.ejor.2002.11.002     Document Type: Article

References (23)

1. B. Beizer, Software Testing Techniques, second ed., Van Nostrand Reinhold, 1990.
2. G.J. Myers, The Art of Software Testing, John Wiley, 1979.
3. J.D. Musa, Software-reliability-engineered testing, Computer 29 (11) (1996) 61-68.
4. R.V. Binder, Testing Object-Oriented Systems: Models, Patterns, and Tools, Addison-Wesley, 2000.
5. J.A. Whittaker, What is software testing? And why is it so hard? IEEE Software (January/February) (2000) 70-79.
6. A. Avritzer, E.J. Weyuker, The automatic generation of load test suites and the assessment of the resulting software, IEEE Transactions on Software Engineering 21 (9) (1995) 705-716.
7. E.J. Weyuker, More experience with data flow testing, IEEE Transactions on Software Engineering 19 (9) (1995) 912-919.
8. J.H. Poors, Introduction to the special issue on: Model-based statistical testing of software intensive systems, Information and Software Technology 42 (2000) 797-799.
9. T.Y. Chen, Y.T. Yu, On the expected number of failures detected by subdomain testing and random testing, IEEE Transactions on Software Engineering 22 (2) (1996) 109-119.
10. P.G. Frankl, E.J. Weyuker, A formal analysis of the fault-detecting ability of testing methods, IEEE Transactions on Software Engineering 19 (2) (1993) 202-213.
11. W.J. Gutjahr, Partition testing vs. random testing: The influence of uncertainty, IEEE Transactions on Software Engineering 25 (5) (1999) 661-674.
12. H. Zhu, P.A. Hall, J.H.R. May, Test coverage and adequacy, ACM Computing Surveys 29 (4) (1997) 366-427.
13. K.Y. Cai, A controlled Markov chains approach to software testing, Working Paper, 2000.
14. K.Y. Cai, Optimal test profile in the context of software cybernetics, in: Proc. 2nd Asia-Pacific Conference on Quality Software, December 10-11, 2001, Hong Kong, IEEE Computer Society Press, pp. 157-166.
15. K.Y. Cai, Optimal software testing and adaptive software testing in the context of software cybernetics, Information and Software Technology 44 (2002) 841-855.
16. K.Y. Cai, B. Gu, H. Hai, Y.C. Li, L. Zhao, A case study of adaptive software testing, Working Paper, 2003.
17. K.Y. Cai, Optimal stopping of multi-project software testing in the context of software testing, Science in China (Series F) 46 (5) (2003).
18. 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, July 1995.
19. K.Y. Cai, Towards a conceptual framework of software run reliability modeling, Information Sciences 126 (2000) 137-163.
20. C. Derman, Finite State Markovian Decision Processes, Academic Press, 1970.
21. O. Hernandez-Lerma, J.B. Lasserre, Discrete-Time Markov Control Processes: Basic Optimality Criteria, Springer, 1996.
22. O. Hernandez-Lerma, Adaptive Markov Control Processes, Springer-Verlag, 1989.
23. K.Y. Cai, T.Y. Chen, Y.C. Li, Y.T. Yu, L. Zhao, On the on-line parameter estimation problem in adaptive software testing, Working Paper, 2003.