基于Markov链使用模型的加速统计测试方法  

Acceleration statistical testing method based on Markov chain usage model

作　　者：张德平[1] 查日军[2,3] 

机构地区：[1]南京航空航天大学计算机科学与技术学院,南京210016 [2]上海市计算机软件评测重点实验室,上海201112 [3]东南大学计算机科学与工程学院,南京210096

出　　处：《东南大学学报（自然科学版）》2011年第5期949-955,共7页Journal of Southeast University：Natural Science Edition

基　　金：国家自然科学基金资助项目(10801032;60903026);上海市计算机软件评测重点实验室开放项目(09DZ2272600)

摘　　要：为了提高软件统计测试的效率,使用较少的测试资源达到测试目的,提出了一种基于Markov链使用模型的软件加速统计测试方法.该方法通过均衡软件测试成本和软件投放后的失效风险,以软件平均总费用最小为目标,基于重要抽样技术的加速测试机理,采用交叉熵方法生成最优(或近优)测试剖面,同时给出了一种新的统计测试充分性判定准则,最后根据生成的最优测试剖面自动生成统计测试数据集.仿真实验结果表明,相对于传统的统计测试方法,使用交叉熵方法的加速统计测试方法能有效地降低软件总费用,显著增加关键操作的测试次数,是一种快速有效的加速统计测试方法.In order to improve the efficiency of software statistic testing and quickly achieve the testing goal with less testing resources,a novel acceleration method based on the Markov usage model is proposed.Considering the tradeoff between failure risk and testing costs,by minimizing the average total cost,an iterative algorithm based on the cross entropy method for calculating optimum software testing profile is presented.Meanwhile,a new testing adequacy criterion is also presented.The optimum software testing profile is used to generate automatic generation statistical test data.The simulation results show that the acceleration testing method based on cross entropy can effectively reduce the total costs of software and can significantly increase the traversing times of the key operation compared with conventional statistical software testing methods.It is a fast and effective acceleration statistical testing method.

关 键 词：软件测试 统计测试 加速测试方法 MARKOV链使用模型 交叉熵方法 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]