Software reliability test based on markov usage model

Journal of Software

Volumn 7, Issue 9, 2012, Pages 2061-2068

  Zhou, Kuanjiu ^a   Wang, Xiaolong ^a   Hou, Gang ^a   Wang, Jie ^a   Ai, Shanbin ^a  

^a DALIAN UNIVERSITY OF TECHNOLOGY   (China)

Author keywords

Markov Usage Model; Software Reliability Test; Test Adequacy; Test Case Generation

Indexed keywords

COMPLEX STRUCTURE; EMBEDDED SOFTWARE SYSTEMS; EXPERIMENTAL VERIFICATION; MODEL-BASED METHOD; MODELING LANGUAGES; RANDOM TESTS; RELIABILITY TEST; SOFTWARE SYSTEMS; STATE TRANSITION MATRIX; TEST ADEQUACY; TEST CASE; TEST CASE GENERATION; TEST CASES GENERATION; TESTING PROCESS; USAGE MODELS;

EMBEDDED SOFTWARE; MARKOV PROCESSES; SOFTWARE RELIABILITY; STATISTICAL TESTS;

SOFTWARE TESTING;

EID: 84867418810     PISSN: 1796217X     EISSN: None     Source Type: Journal    
DOI: 10.4304/jsw.7.9.2061-2068     Document Type: Article

References (29)

1. Prowell SJ. JUMBL: A tool for model-based statistical testing // Proceedings of the 36th Annual Hawaii International Conference on System Sciences [C]. IEEE Computer Society Press, 2003.
2. Sayre K, Poore JH. Stopping Criteria for Statistical Testing [J]. Information and Software Technology, 2000, 12(42): 851-857.
3. Xi Hongyu, Xu Hong, Gao Zhongyi. Ada Software Test Case Generation Tool [J]. Journal of Software, 1997,8(04): 297-302.
4. Zhang Yufen, Zhang Qunfeng, Yu Ruihua. Markov Property of Markov Chains and Its Test [C]. Proceedings of the Ninth International Conference on Machine Learning and Cybernetics, July 2010, 11-14.
5. Whittaker JA, Thomason MG. A Markov Chain Model for Statistical Software Testing[J]. IEEE Transactions on Software Engineering, 1994, 20(10):812-824.
6. Yan Jiong, Wang Ji, Chen Huowang. Deriving Software Markov Chain Usage Model from UML Models[J]. Journal of Software, 2005, 16(8):1386-1394(in Chinese).
7. Gao Haichang, Feng Boqin, Zeng Ming, HeXiaohong. Statistical Software Test Based on Markov Chain Path Usage Model [J]. Computer Engineering, 2006, 32(19): 20-22(in Chinese).
8. Murali Krishna Kadiyala, Dipti Shikha, Ravi Pendse et al. Semi-Markov Process based Model for Performance Analysis of Wireless LANs [C]. Seventh IEEE PerCom Workshop on Pervasive Wireless Networking, March 2011,613-618.
9. Yiming He, Yingxia Pu, Jiechen Wang et al. Spatial-temporal dynamics of Sichuan industrial structure with Markov chains approach [C]. 18th International Conference on Geoinformatics, June 2010, 1-6.
10. Liu YS, Zhang T, Zhang CF, Zha YB. A fault-tolerant scheduling algorithm for heterogeneous distributed real-time simulation systems [J]. Journal of Software, 2006, 17(10):2040-2047(in Chinese).
11. Li N, Li MS, Wang Q, Zhao C, Du SZ. Adaptive Agent Negotiation for Software Process Modeling [J]. Journal of Software, 2009, 20(3): 557-566(in Chinese).
12. Mo YC, Yang XZ, Cui G, Liu HW. Mission Reliability Analysis of Generalized Phased Mission Systems [J]. Journal of Software, 2007, 18(4):1068-1076(in Chinese).
13. Liu Y, Ma ZY, He X, Shao WZ. Approach to transforming UML model to reliability analysis model [J]. Journal of Software, 2010, 21(2): 287-304(in Chinese).
14. Kong DG, Tan XB, Xi HS, Shuai JM, Gong T. Hidden Markov model for multi-thread programs time sequence analysis [J]. Journal of Software, 2010, 21(3): 461-472 (in Chinese).
15. Zhang DP, Nie CH, Xu BW. Importance Sampling Method of Software Reliability Estimation [J]. Journal of Software, 2009, 20(10): 2859-2866(in Chinese).
16. Xu Libo, Wu Guoxin. Analysis on Congestion Control Strategy Based on Time Series Deduction [J]. Chinese Journal of Computers, 2007, 30(9): 1638-1644(in Chinese).
17. Brian L. Mark and Yariv Ephraim. On Modeling Network Congestion Using Continuous-time Bivariate Markov Chains [C]. 45th Annual Conference on Information Sciences and Systems March, March 2011, 1-6.
18. Zhang Youzhi. Research and application of hidden Markov model in data mining [C]. Second IITA International Conference on Geoscience and Remote Sensing (IITA-GRS), Aug. 2010, 459-462.
19. Tian Xinguang, Gao Lizhi, Sun Chunlai3, Zhang Eryan. Anomaly Detection of Program Behaviors Based on System Calls and Homogeneous Markov Chain Model [J]. Journal of Computer Research and Developmen, 2007, 44(9): 1538-1544.
20. Zhang DP, Nie CH, Xu BW. Cross-Entropy Method based on Markov Decision Process for Optimal Software Testing [J]. Journal of Software, 2008, 19(10): 2770-2779 (in Chinese).
21. Wang Zi-kun, Yang Xin-gu. Birth-and-death process and Markov chains. Beijing, Science press, 2005.
22. Wang HJ, Li ZS, Cheng Y, Zhou P, Zhou W. A latent variable model for cluster ensemble [J]. Journal of Software, 2009, 20(4): 825-833(in Chinese).
23. M. Watanabe, Extended Hierarchy State Transition Matrix Design Method-Version 2.0 [J], CATS Technical Report, 1998.
24. M. Matsumoto, K. Anada, D. Ueshima, M. Watanabe, and A. Fukuda, Model Checking of State Transition Matrix[C], In ITSSV 2005, AIST Technical Report AIST-PS-2005-017, pp. 2-11, 2005.
25. A. Armando, J. Mantovani and L. Platania, Bounded Model Checking of Software using SMT Solvers instead of SAT Solvers, In SPIN 2006, LNCS 3925, pp. 146-162, 2006.
26. L. Moura and N. Bjørner, Z3: An Efficient SMT Solver [C], In TACAS 2008, LNCS 4963, pp. 337-340, Springer, 2008.
27. Weiqiang Kong, Tomohiro Shiraishi, Yuki Mizushima, et al. An SMT Approach to Bounded Model Checking of Design in State Transition Matrix [C]. Proceeding ICCSA 2010, IEEE Computer Society Washington, DC, USA, 2010, pp. 231-238.
28. E. Clarke, D. Kroening, and F. Lerda. A tool for checking ANSI-C programs [C], in TACAS, 2004, pp. 168-176.
29. L. Xu, SMT-based bounded model checking for realtime systems [C], in QSIC, 2008, pp. 120-125.