期刊文献+

一种基于测试序列失败树的动态测试方法 被引量:1

Dynamic Testing Method Based on Test Sequence Fail Tree
下载PDF
导出
摘要 针对传统的测试方法按照静态的顺序执行预先生成的固定测试集,而实际测试范围可能被缩小,同时测试结果受到测试序列间、测试序列内的影响等问题,提出了一种构造测试序列失败树(TSFT)并用其指导动态测试的方法.该方法考虑到了测试序列之间的相关性和已测结果对后续测试的影响,通过TSFT指导测试序列的动态执行,同时还考虑了引导序列和验证序列对测试结果的影响,在避开TSFT的前提下,可在引导序列和验证序列集合中进行搜索和替换,动态地生成新的有效测试序列.实验结果表明,所提方法避免了一些重复测试以及错误转换对正确转换的测试结果的影响,较明显地提高了实际的测试效率和测试覆盖率. The common methods of the communication protocol conformance testing include two steps: generate test suite, and execute the test suite in a static order. These methods may contain the problem of reducing the actual range of testing and the influence caused by other test sequence. A method of alterable test suite is presented, which considers the dependence of different test sequences and the effect caused by the leading sequence and verifying sequence on the test resuits The test sequence fail tree (TSFT) is used in the method, not only for guiding the dynamic execution of the test cases but also for searching and replacing in leading sequence and verifying sequence. The method generates valid test sequences in testing process dynamically, avoids the influence of fault transition on testing result of correct transition and will improve the test efficiency and test coverage.
出处 《西安交通大学学报》 EI CAS CSCD 北大核心 2007年第2期149-152,249,共5页 Journal of Xi'an Jiaotong University
基金 国家自然科学基金重大研究计划资助项目(90104010) 国家自然科学基金资助项目(60602016 60241004) 国家重点基础研究发展规划资助项目(2003CB314801) 华为基金资助项目(YJCB2006044TS)
关键词 动态测试 测试效率 测试覆盖率 测试序列失败树 dynamic testing test efficiency test coverage test sequence fail tree
  • 相关文献

参考文献6

  • 1Lai R.A survey of communication protocol testing[J].Journal of Systems and Software,2002,62(1):21-46.
  • 2Bowen J P,Bogdanov K.Fortest:formal methods and testing (2002)[C]∥Proceedings of 26th IEEE Annual International Computer Software and Applications Conference.Los Alamitos,USA:IEEE Computer Society,2002:91-101.
  • 3ISO.ISO 9646-2 Information processing systems,open system interconnection,OSI conformance testing methodology and framework,part 2:abstract test suite specification[S].Geneva,Switzerland:ISO,1994.
  • 4Dahbura A T,Sabnan K,Uyar  M.Formal methods for generating protocol conformance test sequences[J].Proceedings of the IEEE,1990,78(8):1317-1326.
  • 5Bochmann G V,Das G,Dssouli A,et al.Fault models in testing[C]∥Proceedings of the IFIP IV International Workshop on Protocol Test Systems.Leidschendam,Netherlands:North-Holland,1991:17-30.
  • 6郭雄辉,赵保华,钱兰.被动测试中的错误诊断算法[J].中国科学技术大学学报,2005,35(3):385-391. 被引量:4

二级参考文献15

  • 1Ghedamsi A, Bochmann G Von. Test result analysis and diagnostics for finite state machines[A]. Proceedings of the 12th International Conference on Distributed Computing Systems[C].1992:244-251.
  • 2Ghedamsi A, von Bochmann G, Dssouli R.Diagnosis of single transition faults in communicating finite state machines[A]. Proceedings of the 13th International Conference on Distributed Computing Systems [C].1993:157 -166.
  • 3Ghedamsi A, Bochmann G V, Dssouli R.Diagnostic tests for communicating finite state machines [A]. Proceedings of the Twelfth Annual International Phoenix Conference on Computers and Communications[C]. 1993:254 -260.
  • 4Belhassine-Cherif R, Ghedamsi A. Diagnostic tests for communicating nondeterministic finite state machines[A]. Proceedings of the Fifth IEEE Symposium on Computers and Communications[C]. 2000:424 -429.
  • 5Lee D, Sabnani K. Reverse-engineering of communication protocols[A].Proceedings of the International Conference on Network Protocols[C].1993:208-216.
  • 6Belhassine-Cherif R, Ghedamsi A. Multiple fault diagnostics for communicating nondeterministic finite state machines [A]. Proceedings of the Sixth IEEE Symposium on Computers and Communications [C].2001:661 -666.
  • 7Ghedamsi A, Bochmann G V, Dssouli R.Multiple fault diagnosis for finite state machines[A].Proceedings of INFOCOM'93[C].1993, 2:782-791.
  • 8Kakuda Y, Yukitomo H, Kusumoto S,Kikuno T. Localizing multiple faults in a protocol implementation[J]. IEEE Trans on Design & Test of Computers, 1995,12(3):34.
  • 9Lee D, M Yannakakis. Principles and methods of testing finite state machines A survey[J].Proc. Of the IEEE, 1996, 84(8):1090-1123.
  • 10Lee D, Netravali A N, Sabnani K K, et al.Passive testing and applications to network management[A].Proceedings of the International Conference on Network Protocols[C].1997:113 -122.

共引文献3

同被引文献2

引证文献1

二级引证文献1

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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