[1]张德平,查日军.基于Markov链使用模型的加速统计测试方法[J].东南大学学报(自然科学版),2011,41(5):949-955.[doi:10.3969/j.issn.1001-0505.2011.05.011]
 Zhang Deping,Zha Rijun.Acceleration statistical testing method based on Markov chain usage model[J].Journal of Southeast University (Natural Science Edition),2011,41(5):949-955.[doi:10.3969/j.issn.1001-0505.2011.05.011]
点击复制

基于Markov链使用模型的加速统计测试方法()
分享到:

《东南大学学报(自然科学版)》[ISSN:1001-0505/CN:32-1178/N]

卷:
41
期数:
2011年第5期
页码:
949-955
栏目:
计算机科学与工程
出版日期:
2011-09-20

文章信息/Info

Title:
Acceleration statistical testing method based on Markov chain usage model
作者:
张德平1查日军23
(1南京航空航天大学计算机科学与技术学院, 南京 210016)(2上海市计算机软件评测重点实验室, 上海 201112)(3东南大学计算机科学与工程学院, 南京 210096)
Author(s):
Zhang Deping1Zha Rijun23
(1 College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing 210016, China)
(2 Shanghai Key Laboratory of Computer Software Evaluating and Testing, Shanghai 201112, China)
(3 School of Computer Science and Engineering, Southeast University, Nanjing 210096, China)
关键词:
软件测试统计测试加速测试方法Markov链使用模型交叉熵方法
Keywords:
software testing statistical testing acceleration testing method Markov chain usage model cross entropy method
分类号:
TP311
DOI:
10.3969/j.issn.1001-0505.2011.05.011
摘要:
为了提高软件统计测试的效率,使用较少的测试资源达到测试目的,提出了一种基于Markov链使用模型的软件加速统计测试方法.该方法通过均衡软件测试成本和软件投放后的失效风险,以软件平均总费用最小为目标,基于重要抽样技术的加速测试机理,采用交叉熵方法生成最优(或近优)测试剖面,同时给出了一种新的统计测试充分性判定准则,最后根据生成的最优测试剖面自动生成统计测试数据集.仿真实验结果表明,相对于传统的统计测试方法,使用交叉熵方法的加速统计测试方法能有效地降低软件总费用,显著增加关键操作的测试次数,是一种快速有效的加速统计测试方法.
Abstract:
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.

参考文献/References:

[1] 陈火旺,王戟,董威.高可信软件工程技术[J].电子学报,2003,31(12):1933-1938.
  Chen Huowang,Wang Ji,Dong Wei.High confidence software engineering technologies [J].Acta Electronica Sinica,2003,31(12):1933-1938.(in Chinese)
[2] 赵亮,王建民,孙家广.统计测试的软件可靠性保障能力研究[J].软件学报,2008,19(6):1379-1385.
  Zhao Liang,Wang Jianmin,Sun Jiaguang.Study on the assurance ability of statistical test on software reliability [J].Journal of Software,2008,19(6):1379-1385.(in Chinese)
[3] Gutjahr W J.Failure risk estimation via Markov software usage models [C]//Proc 15th International Conference on Computer Safety,Reliability and Security.Vienna,Austria,1997:183-192.
[4] Gutjahr W J.Importance sampling of test cases in Markovian software usage models [J].Probability in the Engineering and Informational Sciences,1997,11:19-36.
[5] Gutjahr W J.Software dependability evaluation based on Markov usage models[J].Performance Evaluation,2000,40(4):199-222.
[6] Doerner K,Laure E.High performance computing in the optimization of software test plans [J].Optimization and Engineering,2002,3:67-87.
[7] Doerner K,Gutjahr W J.Extracting test sequences from a Markov software usage model by ACO[C]//Genetic and Evolutionary Computation Conference.Chicago,IL,USA,2003:2465-2476.
[8] Yan J,Zhou K P,Deng C H,et al.Importance sampling based safety-critical software statistical testing acceleration[C]//2010 International Conference on Computational Intelligence and Software Engineering.Wuhan,China,2010:1-4.
[9] 徐云青,徐义峰,李舟军.基于使用模型的软件可靠性加速测试[J].计算机应用与软件,2009,26(3):147-148.
  Xu Yunqing,Xu Yifeng,Li Zhoujun.Software reliability accelerated testing based on usage model [J].Computer Applications and Software,2009,26(3):147-148.(in Chinese)
[10] 张德平,聂长海,徐宝文.软件可靠性评估的重要抽样方法研究[J].软件学报,2009,20(10):2859-2866.
  Zhang Deping,Nie Changhai,Xu Baowen.Importance sampling method of software reliability estimation[J].Journal of Software,2009,20(10):2859-2866.(in Chinese)
[11] 吴玉美,阮镰.软件可靠性加速测试的加速机理研究[J].计算机应用,2006,26(6):1449-1551.
  Wu Yumei,Ruan Lian.Research on the acceleration principle of software reliability testing [J].Computer Applications,2006,26(6):1449-1551.(in Chinese)
[12] 张德平,聂长海,徐宝文.测试资源受约束的安全关键软件加速测试方法[J].计算机科学,2009,36(5):138-141.
  Zhang Deping,Nie Changhai,Xu Baowen.Acceleration testing method of safety-critical software with testing resource constraint [J].Computer Science,2009,36(5):138-141.(in Chinese)
[13] Boer D P-T,Kroese D P,Mannor S et al.A tutorial on the cross-entropy method [J].Annals of Operations Research,2005,134:19-67.
[14] Margolin L.On the convergence of the cross-entropy method [J].Annals of Operations Research,2005,134:201-214.

相似文献/References:

[1]李磊芳,徐宝文,陈振宇,等.一种新的布尔规格测试用例生成算法[J].东南大学学报(自然科学版),2010,40(2):291.[doi:10.3969/j.issn.1001-0505.2010.02.014]
 Li Leifang,Xu Baowen,Chen Zhenyu,et al.A novel approach of test case generation for Boolean specification[J].Journal of Southeast University (Natural Science Edition),2010,40(5):291.[doi:10.3969/j.issn.1001-0505.2010.02.014]
[2]梁陈良,聂长海,徐宝文,等.一种基于模型检验的类测试用例生成方法[J].东南大学学报(自然科学版),2007,37(5):776.[doi:10.3969/j.issn.1001-0505.2007.05.008]
 Liang Chenliang,Nie Changhai,Xu Baowen,et al.Using model checking to generate test cases for class testing[J].Journal of Southeast University (Natural Science Edition),2007,37(5):776.[doi:10.3969/j.issn.1001-0505.2007.05.008]
[3]聂长海,徐宝文,史亮.一种基于组合测试的软件故障诊断方法[J].东南大学学报(自然科学版),2003,33(6):681.[doi:10.3969/j.issn.1001-0505.2003.06.001]
 Nie Changhai,Xu Baowen,Shi Liang.Software fault diagnosis method based on combinatorial testing[J].Journal of Southeast University (Natural Science Edition),2003,33(5):681.[doi:10.3969/j.issn.1001-0505.2003.06.001]
[4]万晓民,张德平,聂长海,等.统计测试中操作剖面的一种优化设计方法[J].东南大学学报(自然科学版),2008,38(2):233.[doi:10.3969/j.issn.1001-0505.2008.02.010]
 Wan Xiaomin,Zhang Deping,Nie Changhai,et al.Optimizing design method of operational profile in statistical testing[J].Journal of Southeast University (Natural Science Edition),2008,38(5):233.[doi:10.3969/j.issn.1001-0505.2008.02.010]

备注/Memo

备注/Memo:
作者简介:张德平(1973—),男,博士,讲师,depingzhang@nuaa.edu.cn.
基金项目:国家自然科学基金资助项目(10801032,60903026)、上海市计算机软件评测重点实验室开放项目(09DZ2272600).
引文格式: 张德平,查日军.基于Markov链使用模型的加速统计测试方法[J].东南大学学报:自然科学版,2011,41(5):949-955.[doi:10.3969/j.issn.1001-0505.2011.05.011]
更新日期/Last Update: 2011-09-20