[1]聂长海,徐宝文,史亮.一种基于组合测试的软件故障诊断方法[J].东南大学学报(自然科学版),2003,33(6):681-684.[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(6):681-684.[doi:10.3969/j.issn.1001-0505.2003.06.001]
点击复制

一种基于组合测试的软件故障诊断方法()
分享到:

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

卷:
33
期数:
2003年第6期
页码:
681-684
栏目:
计算机科学与工程
出版日期:
2003-11-20

文章信息/Info

Title:
Software fault diagnosis method based on combinatorial testing
作者:
聂长海1 徐宝文123 史亮1
1 东南大学计算机科学与工程系, 南京 210096; 2 中国人民解放军国防科学技术大学计算机学院, 长沙 410073; 3 苏州大学计算机信息处理技术重点实验室, 苏州 215001
Author(s):
Nie Changhai1 Xu Baowen123 Shi Liang1
1 Department of Computer Science and Engineering, Southeast University, Nanjing 210096, China
2 School of Computer Science, National University of Defense Technology, Changsha 410073, China
3 Key Laboratory of Computer Information Processing Technology, Soochow University, Suzhou 215001, China
关键词:
软件测试 组合测试 故障诊断
Keywords:
software testing combinatorial testing fault diagnosis
分类号:
TP311.5
DOI:
10.3969/j.issn.1001-0505.2003.06.001
摘要:
针对组合测试的基本模型和特征,提出了一种基于组合测试的软件故障诊断方法.该方法基于软件故障由某些系统参数或其相互作用而引发的前提下,首先对组合测试的结果进行分析,找出所有可能的错误原因,然后根据初步分析结果补充一组由导致故障的测试用例衍生出的附加测试用例进行重新测试,并对其结果作进一步分析和验证,从而迅速将故障原因锁定在很小的范围内, 这样可为软件的调试和测试工作提供更方便、更有价值的线索和参考.
Abstract:
This paper presents a method for fault diagnosis based on the model and characters of combinatorial testing. This method first finds all the possible schemas that may cause error through analyzing the result of combinatorial testing, and then concludes that the factors that cause errors must be in a very small range(through retesting with some complementary test cases generated by the test case that has caused error). It can provide very efficient and valuable guidance for the debugging and testing of software.

参考文献/References:

[1] Cohen D M,Dalal S R,Fredman M L,et al.The AETG system:an approach to testing based on combinatorial design [J]. IEEE Trans on Software Engineering, 1997,23(7):437-444.
[2] Cohen D M,Dalal S R,Parelius J,et al.The combinatorial design approach to automatic test generation [J].IEEE Software Sep, 1996,13(5):83-87.
[3] Cohen D M,Fredman M L.New techniques for designing qualitatively independent systems [J].J Combin Designs,1998,6(6):411-416.
[4] Cohen D M,Dalal S R,Kajla A,et al.The automatic efficient tests generator [A].In:Fifth Int’l Symposium on Software Reliability Engineering IEEE[C].Maonterey,CA,1994.303-309.
[5] Lei Y,Tai K C. In_Parameter_Oder:a test generation strategy for pairwise testing [R].Raleigh,North Carolina:Department of Computer Science,North Carolina State Univ,2001.
[6] Tai K C,Lei Y.A test generation strategy for pairwise testing [J]. IEEE Trans on Software Engineering,2002,28(1):109-111.
[7] Kobayashi Noritaka,Tsuchiya Tatssuhio,Kikuno Tohru.A new method for constructing pair-wise covering designs for software testing [J]. Information Processing Letters,2002,81:85-91.
[8] Williams A W,Probert R L.A practical strategy for testing pair-wise coverage of network interfaces [A].In:Proc 7th Internet Symp Software Reliability Engineer[C].White plains,NY,USA,1997.246-254.
[9] Heller E.Using design of experiment structures to generate test cases [A].In: Proc 12th Int’l Conf Testing Computer Software ACM [C].New York,1995.33-41.
[10] Mandl R.Orthogonal Latin squares:an application of experimental design to compiler testing [J].Communications of the ACM,1985,28(10):1054-1058.

相似文献/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(6):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(6):776.[doi:10.3969/j.issn.1001-0505.2007.05.008]
[3]张德平,查日军.基于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(6):949.[doi:10.3969/j.issn.1001-0505.2011.05.011]
[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(6):233.[doi:10.3969/j.issn.1001-0505.2008.02.010]

备注/Memo

备注/Memo:
基金项目: 国家自然科学基金资助项目(60073012)、江苏省自然科学基金资助项目(BK2001004)、江苏省科技攻关资助项目(BE2001025)、教育部跨世纪优秀学术带头人基金资助项目、教育部高等学校骨干教师基金资助项目、江苏省333人才基金资助项目、武汉大学软件工程国家重点实验室开放基金资助项目、江苏省计算机信息处理技术重点实验室开发基金资助项目.
作者简介: 聂长海(1971—),男,博士生,讲师; 徐宝文(联系人),男,博士,教授,博士生导师, bwxu@seu.edu.cn.
更新日期/Last Update: 2003-11-20