基于编译器控制流结构测试用例的生成
摘要
测试用例的产生策略是软件测试尤其是编译器测试的一个热点研究领域,测试用例的质量不仅决定了软件测试的科学性,还决定着软件测试的有效性和完整性。本文针对编译器测试中对控制流的测试,提出NAP算法,通过该算法可以生成相关的各种控制流结构。实验证明,NAP算法对编译器控制流的测试有很强的针对性和通用性。
出处
《计算机时代》
2005年第4期34-35,共2页
Computer Era
二级参考文献15
-
1[1]Schach S.R..Software Engineering with Java.Boston:McGraw-Hill,1999
-
2[2]DeMillo R. et al.. Constraint-based automatic test data generation. IEEE Transactions on Software Engineering, 1991, 17(9): 900～910
-
3[3]Grabowski J. et al.. On the design of the new testing language TTCN-3. In: Ural H. et al.eds.. Testing of Communicating Systems. Kluwer: Academic Publishers, 2000,13: 161～176
-
4[4]Schieferdecker I. et al.. Conformance testing with TTCN. In: Telektronikk, 2000,96(4): 85～95
-
5[5]DeMillo R. et al.. Experimental results from an automatic test case generator. ACM Transactions on Software Engineering Methodology,1993, 2(2): 109～175
-
6[6]Offutt J.. An integrated automatic test data generation system. Journal of Systems Integration, 1991, 1(3): 391～409
-
7[7]Rothermel G. et al.. Regression test selection for C++ software. Journal of Software Testing, Verification and Reliability, 2000,10(2):77～109
-
8[8]Offutt J. et al.. The dynamic domain reduction approach to test data generation. Software Practice and Experience, 1999, 29(2): 167～193
-
9[9]Chen T.Y. et al.. A new heuristic for test suite reduction. Information and Software Technology, 1998,40(5～6): 347～354
-
10[10]Walter T. et al.. A framework for the specification of test cases for real-time distributed systems. Information and Software Technology, 1999,41(11～12): 781～798
共引文献54
-
1戴志华,周奇,王烈.基于XML的测试用例自动生成方法[J].计算机与数字工程,2007,35(7):33-35. 被引量：2
-
2黄百乔,张虹,陆民燕,李海峰.GUI软件功能测试用例数据选取策略研究[J].计算机研究与发展,2010,47(S1):101-107. 被引量：1
-
3陈英,黄菲,么博迪,史晋,孙文灿.O-OCTT的多语言功能扩展研究[J].北京理工大学学报,2004,24(9):786-789.
-
4周晓宇,聂长海,徐宝文,陈火旺.两两组合覆盖测试数据自动生成集成工具的设计与实现[J].计算机科学,2005,32(1):118-119. 被引量：4
-
5杨劲涛,郭荷清.一种精简测试用例方法的研究[J].计算机科学,2005,32(5):236-238. 被引量：4
-
6文俊浩,朱灿,张杨.基于全对偶算法的自动化测试方法[J].重庆大学学报（自然科学版）,2005,28(10):59-61. 被引量：2
-
7曾奕.基于确定性重演的并发程序调试[J].计算机与数字工程,2005,33(12):43-45.
-
8徐宝文,聂长海,史亮,陈火旺.一种基于组合测试的软件故障调试方法[J].计算机学报,2006,29(1):132-138. 被引量：38
-
9杨劲涛,郭荷清.黑盒测试用例基的研究[J].计算机工程与科学,2006,28(5):130-132. 被引量：8
-
10聂长海,徐宝文,史亮.一种新的二水平多因素系统两两组合覆盖测试数据生成算法[J].计算机学报,2006,29(6):841-848. 被引量：21
-
1刘晋,李文举.用MPL实现汇编程序结构化控制流[J].辽宁师范大学学报（自然科学版）,1996,19(3):218-222.
-
2曾伟明,薛云志,赵琛,贺也平.一种编译优化测试用例自动生成方法的设计与实现[J].小型微型计算机系统,2009,30(1):13-18. 被引量：2
-
3韩兆刚,巩朋,张莉,吕方兴.过程模型中控制流反模式的定义和检测方法[J].中国石油大学学报（自然科学版）,2013,37(3):177-182.
-
4史晋,陈英,孙文灿.O_OCTT设计中面向对象方法的研究[J].计算机工程与应用,2004,40(31):114-116.
-
5祝玉芬,刘超.基于活动图模型测试剖面的测试用例生成方法[J].计算机工程,2003,29(21):45-47. 被引量：2
-
6邵孟良,齐德昱,刘东文.一种多态内联代码混淆算法[J].计算机应用研究,2015,32(6):1787-1790. 被引量：2
-
7孙海燕,陈跃跃,王峰,杨灿群,阳柳,王霁.TI DSP C语言编译器正确性测试[J].计算机科学,2015,42(S1):513-515 545. 被引量：2
-
8杨秋翔,王蕊,陈够喜,牛文瑞.分存技术在代码混淆中的研究[J].计算机工程与设计,2015,36(1):71-75.
-
9张琳霞,李茵,李小丽.基于Petri网和Web服务的工作流建模方案[J].微电子学与计算机,2006,23(3):150-152. 被引量：8
-
10王旭昊,唐甜.一种源源编译控制流优化方法[J].航空计算技术,2012,42(3):98-103.
