Importance sampling method of software reliability estimation

Ruan Jian Xue Bao/Journal of Software

Volumn 20, Issue 10, 2009, Pages 2859-2866

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

^a SOUTHEAST UNIVERSITY   (China)

^b NANJING UNIVERSITY OF AERONAUTICS AND ASTRONAUTICS   (China)

^c NANJING UNIVERSITY   (China)

Author keywords

Cross entropy method; Importance sampling; Markov usage model; Software reliability; Statistical testing

Indexed keywords

CROSS-ENTROPY METHOD; IMPORTANCE SAMPLING; MARKOV USAGE MODEL; STATISTICAL TESTING; USAGE MODELS;

COMPUTER SOFTWARE SELECTION AND EVALUATION; ENTROPY; ESTIMATION; QUALITY ASSURANCE; SAMPLING; SIMULATED ANNEALING; SIMULATORS;

SOFTWARE RELIABILITY;

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

References (15)

1. Whittacker JA, Poore JH. Markov analysis of software specifications. ACM Trans. on Software Engineering and Method, 1994, 2 (1): 93-106.
2. Whittaker JA, Thomason MG. A Markov chain model for statistical software testing. IEEE Trans. on Software Engineering, 1994, 20 (10): 812-824.
3. Walton GH, Poore JH, Trammell J. Statistical testing of software based on a usage model. Software-Practice and Experience, 1995, 25 (1): 97-108.
4. Walton GH, Poore JH. Measuring complexity and coverage of software specifications. Information and Software Technology, 2000, 42 (12): 859-872.
5. Feng H, Xu XS, Wang J. The determination of resemblance between the usage chain and the test chain in statistical testing. Computer Engineering & Science, 2003, 25 (1): 17-19 (in Chinese with English abstract).
6. Gutjahr WJ. Failure risk estimation via Markov software usage models. In: Schoitsch E, ed. Proc. of the 15th Int'l Conf. on Computer Safety, Reliability and Security (SAFECOMP'96). Springer-Verlag, 1997. 183-192. http://citeseerx.ist.psu.edu/viewdoc/download? doi=10.1.1.27.8529&rep=rep1&type=pdf
7. Gutjahr WJ. Importance sampling of test cases in Markovian software usage models. Probability in the Engineering and Informational Sciences, 1997, 11: 19-36. http://citeseerx.ist.psu.edu/viewdoc/download? doi=10.1.1.28.310&rep=rep1&type=pdf
8. Doerner K, Laure E. High performance computing in the optimization of software test plans. Optimization and Engineering, 2002, 3 (1): 67-87.
9. Yan J, Wang J, Chen HW. Software statistical test acceleration based on importance sampling. Computer Engineering & Science, 2005, 27 (3): 64-66 (in Chinese with English abstract).
10. Doerner K, Gutjahr WJ. Extracting test sequences from a Markov software usage model by ACO. LNCS 2724, Springer-Verlag, 2003. 2465-2476. http://www.springerlink.com/content/q3teb3ueknhqueh1/fulltext.pdf
11. Krishnamurthy S, Mathur AP. On the estimation of reliability of a software system using reliabilities of its components. In: Proc of the 8th Int'l Symp. Software Reliability Engineering. 1997. 146-155. http://ieeexplore.ieee.org/stamp/stamp.jsp? arnumber=630860&isnumber=13710
12. Chari K, Hevner A. System test planning of software: An optimization approach. IEEE Trans. on Software Engineering, 2006, 32 (7): 503-509.
13. Zhang DP, Nie CH, Xu BW. Cross-Entropy method based on Markov decision process for optimal software testing. Journal of Software, 2008, 19 (10): 2770-2779 (in Chinese with English abstract). http://www.jos.org.cn/1000-9825/19/2770.htm
14. Boer DPT, Kroese DP, Mannor S, Rubinstein RY. A tutorial on the cross-entropy method. Annals of Operations Research, 2005, 134: 19-67.
15. Boer DPT, Nicola VF. Adaptive state-dependent importance sampling simulation of Markovian queuing networks. European Trans. on Telecommunication (Special Issue on Rare Event Simulation), 2002, 13 (4): 303-315.