计算机科学 ›› 2017, Vol. 44 ›› Issue (2): 107-111.doi: 10.11896/j.issn.1002-137X.2017.02.015
• 2016 第十三届全国Web 信息系统及其应用学术会议 • 上一篇 下一篇
陈洁琼,姜淑娟,张争光
CHEN Jie-qiong, JIANG Shu-juan and ZHANG Zheng-guang
摘要: 针对基于控制流的测试充分性准则易错失面向对象程序中的状态依赖关系,提出一种基于数据流准则的测试用例自动生成方法。通过数据流分析获取待覆盖的目标定义使用对,利用遗传算法自动生成覆盖定义使用对的测试用例,根据适应度函数指导测试用例的进化。将该方法与基于分支覆盖和语句覆盖的方法相比较。实验结果表明, 与其他方法相比,该方法可以检测出更多的变异体,适应度函数的设计降低了进化代数。
[1] YOUNG M.Software Testing and Analysis:Process,Principles,and Techniques[M].John Wiley & Sons,2008. [2] DENARO G,PEZZE M,VIVANTI M.Quantifying the Complexity of Dataflow Testing[C]∥2013 8th International Workshop on Automation of Software Test (AST).IEEE,2013:132-138. [3] HARROLD M J,ROTHERMEL G.Performing Tata Flow Testing on Classes[J].ACM SIGSOFT Software Engineering Notes,ACM,1994,19(5):154-163. [4] DENARO G,GORLA A,PEZZ M.Contextual IntegrationTesting of Classes[M]∥Fundamental Approaches to Software Engineering.Springer Berlin Heidelberg,2008:246-260. [5] SOUTER A L,POLLOCK L L.The construction of contextual def-use associations for object-oriented systems[J].IEEE Transactions on Software Engineering,2003,29(11):1005-1018. [6] DENARO G,MARGARA A,PEZZE M,et al.Dynamic DataFlow Testing of Object Oriented Systems[C]∥Proceedings of the 37th International Conference on Software Engineering-Volu-me 1.IEEE Press,2015:947-958. [7] HERMAN P M.A data flow analysis approach to program testing[J].Australian Computer Journal,1976,8(3):92-96. [8] SANTELICES R,HARROLD M J.Efficiently Monitoring Data-flow Test Coverage[C]∥Proceedings of the Twenty-second IEEE/ACM International Conference on Automated Software Engineering.ACM,2007:343-352. [9] GIRGIS M R.Automatic Test Data Generation for Data Flow Testing Using a Genetic Algorithm[J].J.UCS,2005,11(6):898-915. [10] NAYAK N,MOHAPATRA D P.Automatic test data Generation for Data Flow Testing Using Particle Swarm Optimization[M]∥Contemporary Computing.Springer Berlin Heidelberg,2010:1-12. [11] PANDE H D,LANDI W A,RYDER B G.Interprocedural de-fuse associations for C systems with single level pointers[J].IEEE Transactions on Software Engineering,1994,20(5):385-403. [12] HARROLD M J,SOFFA M L.Efficient computation of inter-procedural definition-use chains[J].ACM Transactions on Programming Languages and Systems (TOPLAS),1994,16(2):175-204. [13] WEGENER J,BARESEL A,STHAMER H.Evolutionary test environment for automatic structural testing[J].Information and Software Technology,2001,43(14):841-854. [14] MCMINN P.Search-based software test data generation:A survey[J].Software Testing Verification and Reliability,2004,14(2):105-156. [15] ANDREWS J H,BRIAND L C,LABICHE Y,et al.Using mutation analysis for assessing and comparing testing coverage criteria[J].IEEE Transactions on Software Engineering,2006,32(8):608-624. [16] WEYUKER E J.The complexity of data flow criteria for test data selection[J].Information Processing Letters,1984,19(2):103-109. [17] CHEN J F,SHEN J Y,WANG X J,et al.Automatic test data generation algorithm based on data flow rules[J].Microelectrinics & Computer,2007,24(1):5-8.(in Chinese) 陈继锋,沈钧毅,王欣峻,等.一种基于数据流准则的测试数据自动生成算法[J].微电子学与计算机,2007,24(1):5-8. |
No related articles found! |
|