期刊文献+

组合测试故障定位的关系树模型 被引量:5

Identifying Failure-Inducing Combinations with Tuple Relationship Tree
下载PDF
导出
摘要 组合测试是一种重要的软件测试方法,该方法通常采用覆盖表作为测试用例集,适用于检测系统中由特定配置组合引发的故障.覆盖表中的一条引发系统故障的测试用例含有多个配置组合,如何确定其中哪个或哪几个配置组合引发系统故障有助于系统开发人员检测出故障原因并做出改进.目前已有一些研究尝试解决上述问题,然而这些方法都没有对待定元组关系进行深入的研究与分析,因此定位过程代价很大并且定位结果也并不完整.文中构建了一个待定元组关系树(Tuple Relationship Tree,TRT)来描述所有待定元组的关系,利用TRT可以减少生成附加测试用例的数量,并且由于TRT给出全部待定元组的清晰视图,可以避免漏掉分析可能的待定元组,特别是有重叠部分的故障元组.基于TRT,我们提出了4种选择策略来辅助故障定位.系统的实验表明:其中的路径方法可以以较高的效率得到一个比已有方法更加完整的故障定位结果. Combinatorial testing using covering array composed by parameter values as test state, it is good at detecting whether there exist bug caused by interactions among these parameters. A test case in covering array contains many parameter interactions (called tuples), some of them may cause the test case fail, it is an important problem to find which one or some caused this failure. There are some methods proposed in recent years trying to solve this problem. However, in these studies, the relationships among candidate tuple didn't raise enough attention. Furthermore, they are not efficient enough or even completed. In this paper, we constructed a candidate tuple relationship tree (TRT) to describe the relationships among all the candidate tuples. TRT facilitate our localizing progress by reducing additional test cases generated and providing a clear view of all possible candidate tuples so that any fault interaction, such as overlapped interaction, would not be missed. And based on TRT, we proposed four search methods to realize fault- localizing progress. Experiment shows that our method can get a more completed result than existing methods, and also very efficient.
出处 《计算机学报》 EI CSCD 北大核心 2014年第12期2505-2518,共14页 Chinese Journal of Computers
基金 国家自然科学基金(61272079 61321491 91318301) 教育部博士点基金(20130091110032)资助~~
关键词 组合测试 故障定位 待定元组关系树 有重叠部分元组 选择策略 软件测试 combinatorial testing fault localize candidate tuple relationship tree overlappedinteraction selecting strategy software testing
  • 相关文献

参考文献16

  • 1Nie C, Leung H. A survey of combinatorial testing. ACM Computing Surveys (CSUR), 2011, 43(2) : 11.
  • 2Nie C, Leung H. The minimal failure-causing schema of combinatorial testing. ACM Transactions on Software Engineering and Methodology (TOSEM), 2011, 20(4) : 15.
  • 3Ghandehari L S G, et al. Identifying failure-inducing combi- nations in a combinatorial test set//Proeeedings of the 2012 IEEE 5th International Conference on Software Testing, Verification and Validation (ICST). Montreal, Canada, 2012:370-379.
  • 4Zhang Z, Zhang J. Characterizing failure-causing parameter interactions by adaptive testing//Proeeedings of the 2011 International Symposium on Software Testing and Analysis. Toronto, Canada, 2011:331-341.
  • 5Zeller A, Hildebrandt R. Simplifying and isolating failure- inducing input. IEEE Transactions on Software Engineering, 2002, 28(2) : 183-200.
  • 6Hutchins M, et al. Experiments of the effectiveness of data/low-and control/low-based test adequacy criteria// Proceedings of the 16th International Conference on Software Engineering. Sorrento, Italy, 1994:191-200.
  • 7Kuhn D R, Okum V. Pseudo-exhaustive testing for software //Proceedings of the 30th Annual IEEE/NASA Software Engineering Workshop (SEW 2006). Columbia Maryland, USA, 2006:153-158.
  • 8Okun V, et al. Testing with model checker: Insuring fault visibility. WSEAS Transactions on Systems, 2003, 2 (1) : 77-82.
  • 9Rothermel G, Harrold M J. Empirical studies of a safe regression test selection technique. IEEE Transactions on Software Engineering, 1998, 24(6) : 401-419.
  • 10Shakya K, et al. Isolating failure-inducing combinations incombinatorial testing using test augmentation and classification //Proceedings of the 2012 IEEE 5th International Conference on Software Testing, Verification and Validation (ICST). Montreal, Canada, 2012:620-623.

二级参考文献25

  • 1Cohen 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.
  • 2Lei 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.
  • 3Tai K. C. , Lei Y.. A test generation strategy for pairwise testing. IEEE Transactions on Software Engineering, 2002, 28(1):109-111.
  • 4Kobayashi 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.
  • 5Heller 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.
  • 6Mandl R,. Orthogonal Latin squares: An application of experimental design to compiler testing. Communications of the ACM, 1985, 28(10): 1054-1058.
  • 7Brownlie R., Prowse J., Phadke M.. Robust testing of AT&T PMX/StarMail using OATS. AT&T Technical Journal, 1992, (71)3:41-47.
  • 8Phadke M. S.. Quality Engineering Using Robust Design. Englewood Cliffs, NJ: Prentice Hall, 1989.
  • 9Taguchi G.. System of Experimental Design, Quality Resources, 1976. Translation of Jikken Keikakuho, Maurzen Co. , Tokyo, 1987.
  • 10West C. H.. Protocol validation-Principles and applications.Computer Networks and ISDN Systems, 1992, 24(3): 219-242.

共引文献43

同被引文献35

引证文献5

二级引证文献23

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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