[1] 郭亮,缪淮扣,王皙,等.UML模型到FSM模型的转换[J].计算机科学,2009,36(7):113-116, 149.(GUO L, MIAO H K, WANG X, et al. Transformation from UML model to FSM model[J]. Computer Science, 2009, 36(7):113-116, 149.) [2] TRETMANS J. Model based testing with labelled transition systems[M]//Formal Methods and Testing, LNCS 4949. Berlin:Springer, 2008:1-38. [3] 颜炯,王戟,陈火旺.基于模型的软件测试综述[J].计算机科学,2004,31(2):184-187.(YAN J, WANG J, CHEN H W. Survey of model-based software testing[J]. Computer Science, 2004, 31(2):184-187.) [4] 颜炯,王戟,陈火旺.基于UML的软件Markov链使用模型构造研究[J].软件学报,2005,16(8):1386-1394.(YAN J, WANG J, CHEN H W. Deriving software Markov chain usage model from UML models[J]. Journal of Software, 2005, 16(8):1386-1394.) [5] PROWELL S J, POORE J H. Computing system reliability using Markov chain usage models[J]. Journal of Systems and Software, 2004, 73(2):219-225. [6] HSU C J, HUANG C Y. An adaptive reliability analysis using path testing for complex component-based software systems[J]. IEEE Transactions on Reliability, 2011, 60(1):158-170. [7] SAYRE K, POORE J H. Stopping criteria for statistical testing[J]. Information and Software Technology, 2000, 42(12):851-857. [8] ZHOU K, WANG X, HOU G, et al. Software reliability test based on Markov usage model[J]. Journal of Software, 2012, 7(9):2061-2068. [9] KALLEPALLI C, TIAN J. Measuring and modeling usage and reliability for statistical Web testing[J]. IEEE Transactions on Software Engineering, 2001, 27(11):1023-1036. [10] POULDING S, CLARK J A. Efficient software verification:statistical testing using automated search[J]. IEEE Transactions on Software Engineering, 2010, 36(6):763-777. [11] JIA Y, HARMAN M. An analysis and survey of the development of mutation testing[J]. IEEE Transactions on Software Engineering, 2011, 37(5):649-678. [12] 张功杰,巩敦卫,姚香娟.基于统计占优分析的变异测试[J].软件学报,2015,26(10):2061-2068.(ZHANG G J, GONG D W, YAO X J. Mutation testing based on statistical dominance analysis[J]. Journal of Software, 2015, 26(10):2504-2520.) [13] 张德平,徐宝文.安全关键系统的软件可靠性评估方法[J].计算机科学,2011,38(12):135-138.(ZHANG D P, XU B W. Estimation method of software reliability for safety-critical system[J]. Computer Science, 2011, 38(12):135-138.) [14] 周晓莹,高建华.用于统计测试概率分布生成的自动搜索方法[J].计算机工程,2013,39(2):274-278.(ZHOU X Y, GAO J H. Automated search method for statistical test probability distribution generation[J]. Computer Engineering, 2013, 9(2):274-278.) |