期刊文献+

基于部分覆盖表的错误交互定位方法 被引量:4

Locating Error Interactions Based on Partial Covering Array
下载PDF
导出
摘要 在组合测试定位模型的基础上提出了部分覆盖表的错误交互定位方法,该方法在错误交互个数已知的条件下,通过生成部分覆盖表,利用测试用例运行结果提供的信息来对软件错误交互定位.从理论上证明了部分覆盖表等价于一类特殊的错误定位表,进而研究了部分覆盖表行数的上界,提出生成部分覆盖表的贪心算法,从而给出了定位引发软件故障的错误交互的非自适应算法,并通过实验验证了该方法的有效性. Combinatorial testing is practical and effective method to detect the faults triggered by the interactions among parameters or components in the system. It is a key problem that how to locate the faulty interactions after some faults were detected in the test stages. Error locating arrays (ELAs) were defined by Martinez C et al for detecting and locating the faulty interactions in a system. In this paper, the authors prove that a special partial covering array (PCA) is also a special error locating array and study the upper bound of PCA's size. It is obtained that the number of tests given by PCAs is polynomial in logk and d, where k is the number of parameters and d is the number of faulty interactions in the system. Furthermore the authors propose the greedy algorithms to generate the special PCAs, and these algorithms are also a non-adaptive algorithm of producing ELAs. The experimental results show the above approach for detecting and locating the faulty interactions using PCAs is effective.
出处 《计算机学报》 EI CSCD 北大核心 2011年第6期1126-1136,共11页 Chinese Journal of Computers
基金 国家自然科学基金(90818027 91018005) 国家"八六三"高技术研究专题项目与发展计划项目基金(2009AA01Z147) 国家"九七三"重点基础研究发展规划项目基金(2009CB320703)资助
关键词 组合测试 覆盖表 部分覆盖表 错误定位表 combinatorial testing covering array partial covering array error locating array
  • 相关文献

参考文献23

  • 1Kuhn D R, Reilly M J. An investigation of the applicability of design of experiments to software testing//Proceedings of the 27th NASA/IEEE Software Engineering Workshop, NASA Goddard Space Flight Center, 2002.
  • 2Yilmaz C, Cohen M B, Porter M B. Covering arrays for efficient fault characterization in complex configuration spaces. IEEE Transactions on Software Engineering, 2006, 32 (1): 20-34.
  • 3徐宝文,聂长海,史亮,陈火旺.一种基于组合测试的软件故障调试方法[J].计算机学报,2006,29(1):132-138. 被引量:38
  • 4Colbourn C J, McClary D W. Locating and detecting arrays for interaction faults. Journal of Combinatorial Optimization, 2008, 15(1):17-48.
  • 5Martinez C, Moura L. Panario D, Stevens B. Algorithms to locate errors using covering arrays//Proceedings of the 2008 8th Latin American Theoretical Informatics. Lecture Notes in Computer Science 4957. Buzios, Brazil, 2008:504-519.
  • 6Martinez C, Moura L, Panario D, Stevens B. Locating errors using ELAs, covering arrays and adaptive testing algorithms. SIAM Journal on Discrete Mathematics, 2009, 23 (4) : 1776-1799.
  • 7严俊,张健.组合测试:原理与方法[J].软件学报,2009,20(6):1393-1405. 被引量:58
  • 8Mandl R. Orthogonal latin squares.. An application of experimental design to compiler testing. Communications of the ACM, 1985, 28(10): 1054-1058.
  • 9Brownlie R, Prowse J, Phadke M. Robust testing of AT&T PMX/StarMail using OATS. AT&T Technical Journal, 1992, 71(3): 41-47.
  • 10Cohen D M, Dalai S R, Fredman M Let al. The AETG system: An approach to testing based on combinatorial design. IEEE Transactions on Software Engineering, 1997, 23 (7) 437-444.

二级参考文献19

  • 1徐宝文,聂长海,史亮,陈火旺.一种基于组合测试的软件故障调试方法[J].计算机学报,2006,29(1):132-138. 被引量:38
  • 2聂长海,徐宝文,史亮.一种新的二水平多因素系统两两组合覆盖测试数据生成算法[J].计算机学报,2006,29(6):841-848. 被引量:21
  • 3史亮,聂长海,徐宝文.基于解空间树的组合测试数据生成[J].计算机学报,2006,29(6):849-857. 被引量:31
  • 4王子元,聂长海,徐宝文,史亮.相邻因素组合测试用例集的最优生成方法[J].计算机学报,2007,30(2):200-211. 被引量:25
  • 5Cohen D. M. , Dalal S. R. , Kajla A. , Patton G. C.. The automatic efficient tests generator. In: Proceedings of the 5th International Symposium on Software Reliability Engineering,IEEE, Los Alamitos, California, 1994, 303-309.
  • 6Lei Y. , Tai K.C.. In_Parameter_Oder: A test generation strategy for pairwise testing. Department of Computer Science,North Carolina State University, Raleigh, North Carolina:Technical Report TR-2001-03, 2001.
  • 7Tai K. C. , Lei Y.. A test generation strategy for pairwise testing. IEEE Transactions on Software Engineering, 2002, 28(1):109-111.
  • 8Kobayashi N. , Tsuchiya T. , Kikuno T.. A new method for constructing pair-wise covering designs for software testing.Information Processing Letters, 2002, 81(2): 85-91.
  • 9Heller E.. Using design of experiment structures to generate test cases. In: Proceedings of the 12th International Conferenceon Testing Computer Software, New York, 1995, 33-41.
  • 10Mandl R,. Orthogonal Latin squares: An application of experimental design to compiler testing. Communications of the ACM, 1985, 28(10): 1054-1058.

共引文献86

同被引文献46

  • 1周小勇,叶银忠.小波分析在故障诊断中的应用[J].控制工程,2006,13(1):70-73. 被引量:47
  • 2徐宝文,聂长海,史亮,陈火旺.一种基于组合测试的软件故障调试方法[J].计算机学报,2006,29(1):132-138. 被引量:38
  • 3Yilmaz C,Cohen M B,Porter M B.Covering arrays for efficient fault characterization in complex configuration spaces[J].IEEE Trans on Software Engineering,2006,32(1):20-34.
  • 4Matrtinez C,Moura L,et al.Algorithms to locat errors using covering arrays[A].Proceedings of LATIN 2008 8th Latin American Theoretical Informatics[C].Buzios,Brazil:Lecture Notes in Computer Science,2008.504-519.
  • 5Martinez C,Moura L,et al.Locating errors using ELAs,covering arrays and adaptive testing algorithms[J].SIAM Journal on Discrete Mathematics,2009,23(4):1776-1799.
  • 6Colbourn C J,McClary D W.Locating and detecting arrays for interaction faults[J].Journal of Combinatorial Optimization,2008,15(1):17-48.
  • 7Wong W E,Debroy V.A survey of software fault localization[R].Dallas UTDCS-45-09,Dallas:Department of Computer Science,University of Texas,2009.
  • 8Jones J A,Harrold M J.Empirical evaluation of the Tarantula automatic fault-localization technique[C]∥Proc of the20th IEEE/ACM International Conference on Automated Software Engineering(ASE’05),2005:273-282.
  • 9Zhang X,He H,Gupta N,et al.Experimental evaluation of using dynamic slices for fault location[C]∥Proc of the 6th International Symposium on Automated Analysis-driven Debugging,2005:33-42.
  • 10Gyimóthy T,Beszédesá,Forgács I.An efficient relevant slicing method for debugging[C]∥Proc of the ACM SIGSOFT Symposium on the Foundations of Software Engineering(FSE’99),1999:303-321.

引证文献4

二级引证文献16

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部