计算机科学 ›› 2017, Vol. 44 ›› Issue (2): 107-111.doi: 10.11896/j.issn.1002-137X.2017.02.015

• 2016 第十三届全国Web 信息系统及其应用学术会议 • 上一篇    下一篇

基于数据流准则的测试用例生成方法

陈洁琼,姜淑娟,张争光   

  1. 中国矿业大学计算机科学与技术学院 徐州221116,中国矿业大学计算机科学与技术学院 徐州221116,中国矿业大学计算机科学与技术学院 徐州221116
  • 出版日期:2018-11-13 发布日期:2018-11-13
  • 基金资助:
    本文受国家自然科学基金(61502497),广西可信软件重点实验室研究课题(kx201530),南京大学计算机软件新技术国家重点实验室开放课题(KFKT2014B19)资助

Approach for Test Case Generation Based on Data Flow Criterion

CHEN Jie-qiong, JIANG Shu-juan and ZHANG Zheng-guang   

  • Online:2018-11-13 Published:2018-11-13

摘要: 针对基于控制流的测试充分性准则易错失面向对象程序中的状态依赖关系,提出一种基于数据流准则的测试用例自动生成方法。通过数据流分析获取待覆盖的目标定义使用对,利用遗传算法自动生成覆盖定义使用对的测试用例,根据适应度函数指导测试用例的进化。将该方法与基于分支覆盖和语句覆盖的方法相比较。实验结果表明, 与其他方法相比,该方法可以检测出更多的变异体,适应度函数的设计降低了进化代数。

关键词: 面向对象程序,数据流准则,测试用例生成,适应度函数

Abstract: Control flow criterion may miss the state dependent relations in object oriented program easily.This paper presented an approach for automatic test case generation based on data flow criterion,using data flow analysis to get definition use pairs that test suite should cover,using genetic algorithm to generate test suite automatically and evolving the test cases according to fitness function.The experimental results indicate that the test cases generated by our approach can detect more mutants comparing with approaches based on branch and statement criterion,and fitness function designed in our approach makes the number of generations decreased.

Key words: Object oriented program,Data flow criterion,Test case generation,Fitness function

[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!
Viewed
Full text


Abstract

Cited

  Shared   
  Discussed   
No Suggested Reading articles found!