[1]万晓民,张德平,聂长海,等.统计测试中操作剖面的一种优化设计方法[J].东南大学学报(自然科学版),2008,38(2):233-238.[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(2):233-238.[doi:10.3969/j.issn.1001-0505.2008.02.010]
点击复制

统计测试中操作剖面的一种优化设计方法()
分享到:

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

卷:
38
期数:
2008年第2期
页码:
233-238
栏目:
计算机科学与工程
出版日期:
2008-03-20

文章信息/Info

Title:
Optimizing design method of operational profile in statistical testing
作者:
万晓民1 张德平12 聂长海1 徐宝文1
1 东南大学计算机科学与工程学院, 南京 210096; 2 南京航空航天大学理学院, 南京 210016
Author(s):
Wan Xiaomin1 Zhang Deping12 Nie Changhai1 Xu Baowen1
1 School of Computer Science and Engineering, Southeast University, Nanjing 210096,China
2 College of Science, Nanjing University of Aeronautics and Astronautics, Nanjing 210016,China
关键词:
软件测试 统计软件测试 操作剖面 测试剖面
Keywords:
software testing statistical software testing operational profile testing profile
分类号:
TP311
DOI:
10.3969/j.issn.1001-0505.2008.02.010
摘要:
为了提高软件统计测试的效率,使用较少的测试资源达到测试目的,对测试剖面进行优化成为必需.采用客户需求和测试需求作为约束,模型静态参数或其他统计质量标准作为优化目标,提出了一种基于约束优化的测试剖面最优化计算框架.通过扩展蚁群算法研究了一种求解优化测试剖面的方法.实验表明,相对于传统的函数最优化方法,使用启发式的蚁群算法具有更好的优化效果,并且更具通用性.在统计测试中使用经过优化的测试剖面可以生成统计意义上符合测试需要的用例集合,提高测试效率.
Abstract:
In order to sufficiently explore the advance of statistical testing and quickly achieve the testing goal, it is necessary to optimize the testing profile. Custom requirements and testing requirements are used as constrains, and statistical static parameters of usage model or other statistical quality criteria are used as the optimizing aims. Then an optimizing framework of testing profile is setup.By extending the ant colony arithmetic, a method base on constrain optimizing to calculate the testing profile is developed. The experiment results show that using heuristic ant colony arithmetic can achieve better optimizing effect than conventional functional constrained optimization arithmetic, and it is more universal. Using optimized testing profile in software statistical testing can generate better test case set to satisfy test requirement on statistical meaning to improve testing efficiency.

参考文献/References:

[1] Prowell S J,Trammell C J,Linger R C,et al. Cleanroom software engineering:technology and process [M].New York:McGraw Hill,1998.
[2] Musa J D.Operational profiles in software-reliability engineering [J]. IEEE Software,1993,10(2):14-32.
[3] Prowell S J,Poore J H.Computing system reliability using Markov chain usage models [J].The Journal of Systems and Software,2004,73(2):219-225.
[4] Walton G H,Poore J H,Trammell C J.Statistical testing of software based on a usage model [J].Software-Practice and Experience,1995,25(1):97-108.
[5] 颜炯,王戟,陈火旺.基于UML的软件Markov链使用模型构造研究[J].软件学报,2005,16(8):1386-1394.
  Yan Jiong,Wang Ji,Chen Huowang.Deriving software Markov chain usage model from UML models [J]. Software Journal,2005,16(8):1386-1394.(in Chinese)
[6] Dultz W.MaTeLo—statistical usage testing by annotated sequence diagrams,Markov chains and TTCN-3[C] //Third International Conference on Quality Software.Dallas,Texas,USA,2003:336-345.
[7] 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.
[8] Poore J H,Walton G H,Whittaker J A.A constraint-based approach to the representation of software usage models [J]. Information & Software Technology,2000,42(12):825-833.
[9] 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.
[10] 袁亚湘,孙文瑜.最优化理论与方法[M].北京:科学出版社,1999.

相似文献/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(2):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(2):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(2):681.[doi:10.3969/j.issn.1001-0505.2003.06.001]
[4]张德平,查日军.基于Markov链使用模型的加速统计测试方法[J].东南大学学报(自然科学版),2011,41(5):949.[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(2):949.[doi:10.3969/j.issn.1001-0505.2011.05.011]

备注/Memo

备注/Memo:
作者简介: 万晓民(1981—),男,硕士生; 徐宝文(联系人),男,博士,教授,博士生导师, bwxu@seu.edu.cn.
基金项目: 国家杰出青年科学基金资助项目(60425206)、国家自然科学基金资助项目(60373066, 60403016)、江苏省自然科学基金资助项目(BK2005060).
引文格式: 万晓民,张德平,聂长海,等.统计测试中操作剖面的一种优化设计方法[J].东南大学学报:自然科学版,2008,38(2):233-238.
更新日期/Last Update: 2008-03-20