Cross-entropy method based on markov decision process for optimal software testing

Ruan Jian Xue Bao/Journal of Software

Volumn 19, Issue 10, 2008, Pages 2770-2779

  Zhang, De Ping ^a,b   Nie, Chang Hai ^a   Xu, Bao Wen ^a  

^a SOUTHEAST UNIVERSITY   (China)

^b NANJING UNIVERSITY OF AERONAUTICS AND ASTRONAUTICS   (China)

Author keywords

Cross entropy method; Markov decision process; Optimal testing profile; Software testing

Indexed keywords

COMPUTER SOFTWARE; COMPUTER SOFTWARE SELECTION AND EVALUATION; ENTROPY;

CROSS ENTROPIES; CROSS-ENTROPY METHOD; EXPECTED COSTS; LEARNING STRATEGIES; MARKOV DECISION MODELS; MARKOV DECISION PROCESS; MARKOV DECISION PROCESSES; OPTIMAL TESTING; OPTIMAL TESTING PROFILE; RANDOM TESTING; SIMULATION RESULTS; SOFTWARE DEFECTS; SOFTWARE PARAMETERS; TEST CASES; TESTING PROFILES;

SOFTWARE TESTING;

EID: 55149084858     PISSN: 10009825     EISSN: None     Source Type: Journal    
DOI: 10.3724/SP.J.1001.2008.02770     Document Type: Article

References (25)

1. Cai KY. Optimal software testing and adaptive software testing in the context of software cybernetics. Information and Software Technology, 2002, 44(4): 841-855.
2. Rivers AT, Vouk MA. Resource-Constrained non-operational testing of software. In: Proc. of the 9th Int'l Symp. on Software Reliability Engineering. Paderborn, 1998. 154-163. http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=730874.
3. Walton GH, Poore JH. Measuring complexity and coverage of software specifications. Information and Software Technology, 2000, 42(12): 859-872.
4. Frankl PG, Hamlet RG, Littlewood B, Strigini L. Evaluating testing methods by delivered reliability. IEEE Trans. on Software Engineering, 1998, 24(6): 586-601.
5. Ntafos S. The cost of software failures. In: IEEE Proc. of the Int'l Association of Science and Technology for Development, Int'l Confabulation Software Engineering. IASTED/ACTA Press, 1998. 53-57.
6. Berman O, Cutler M. Resource allocation during tests for optimally reliable software. Computers and Operations Research, 2004, 31(11): 1847-1865.
7. Dai YS, Xie M, Poh KL, Yang B. Optimal testing-resource allocation with genetic algorithm for modular software systems. The Journal of Systems and Software, 2003, 66(1): 47-55.
8. Czuchra W. Optimizing budget spendings for software implementation and testing. Computers and Operations Research, 1999, 26(7): 731-747.
9. Tal O, McCollin C, Bendell A. An optimal statistical testing policy for software reliability demonstration of safety-critical systems. European Journal of Operational Research, 2002, 137(3): 544-557.
10. Sahinoglu M, Mayrhauser VA, Hajjar A, Chen T, Anderson C. On the efficiency of a compound Poisson stooping-rule for mixed strategy testing. In: Proc. of the 4th Int'l High-Assurance Systems Engineering Symposium (HASE). 1999. 249-256. http://ieeexplore.ieee.org/iel5/6411/17136/00790193. pdf?arnumber=790193.
11. Sahinoglu M. An empirical Bayesian stopping rule in testing and verification of behavioral models. IEEE Trans. on Instrumentation and Measurement, 2003, 52(5): 1428-1442.
12. Rajgopal J, Mazumdar M. Modular operational test plans for inferences on software reliability based on a Markov model. IEEE Trans. on Software Engineering, 2002, 28(4): 358-363.
13. Chen TY, Yu YT. A decision-theoretic approach to the test allocation problem in partition testing. IEEE Trans. on Systems Man and Cybernetics-Part A: Systems and Humans, 2002, 32(6): 733-745.
14. Cai KY, Li YC, Ning WY. Optimal software testing in the setting of controlled Markov chains. European Journal of Operational Research, 2005, 162(2): 552-579.
15. Cai KY, Chen TY, Li YC, Ning WY, Yu YT. Adaptive testing of software components. In: Haddad H, Liebrock LM, Omicini A, Wainwright RL, eds. Symp. on Applied Computing Proc. of the 2005 ACM Symp. on Applied Computing. ACM, 2005. 1463-1469.
16. Boer DPT, Kroese DP, Mannor S, Rubinstein RY. A tutorial on the Cross-Entropy method. Annals of Operations Research, 2005, 134(1): 19-67.
17. Rubinstein RY. Combinatorial optimization, cross-entropy, ants and rare events. In: Uryasev S, Pardalos PM, eds. Stochastic Optimization: Algorithms and Applications. Kluwer Academic Publishers, 2001. 304-358.
18. Rubinstein RY. Combinatorial optimization via cross-entropy. In: Gass S, Harris C, eds. Encyclopedia of Operations Research and Management Sciences. Kluwer Academic Publishers, 2001. 102-106.
19. Rubinstein RY. The simulated entropy method for combinatorial and continuous optimization. Methodology and Computing in Applied Probability, 1999, 2: 127-190.
20. Doerner K, Gutjahr WJ. Extracting test sequences from a Markov software usage model by ACO. LNCS 2724, Springer-Verlag, 2003. 2465-2476.
21. Ridder A. Importance sampling simulations of Markovian reliability systems using cross-entropy. Annals of Operations Research, 2005, 134(1): 119-136.
22. Hui KP, Bean N, Kraetzl M, Kroese DP. The cross-entropy method for network reliability estimation. Annals of Operations Research, 2005, 134(1): 101-118.
23. Zhang DP, Nie CH, Xu BW. Optimal allocation of test case in partition testing. Journal of Nanjing University (Natural Sciences), 2005, 41(5): 553-561 (in Chinese with English abstract).
24. Harman M, Jones BF. Search-Based software engineering. Information and Software Technology, 2001, 43(14): 833-839.
25. Margolin L. On the convergence of the cross-entropy method. Annals of Operations Research, 2005, 134(1): 201-214.