Computer Science ›› 2017, Vol. 44 ›› Issue (2): 107-111.doi: 10.11896/j.issn.1002-137X.2017.02.015

Previous Articles     Next Articles

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   
[1] LEI Li-hui and WANG Jing. Parallelization of LTL Model Checking Based on Possibility Measure[J]. Computer Science, 2018, 45(4): 71 -75, 88 .
[2] XIA Qing-xun and ZHUANG Yi. Remote Attestation Mechanism Based on Locality Principle[J]. Computer Science, 2018, 45(4): 148 -151, 162 .
[3] LI Bai-shen, LI Ling-zhi, SUN Yong and ZHU Yan-qin. Intranet Defense Algorithm Based on Pseudo Boosting Decision Tree[J]. Computer Science, 2018, 45(4): 157 -162 .
[4] WANG Huan, ZHANG Yun-feng and ZHANG Yan. Rapid Decision Method for Repairing Sequence Based on CFDs[J]. Computer Science, 2018, 45(3): 311 -316 .
[5] SUN Qi, JIN Yan, HE Kun and XU Ling-xuan. Hybrid Evolutionary Algorithm for Solving Mixed Capacitated General Routing Problem[J]. Computer Science, 2018, 45(4): 76 -82 .
[6] ZHANG Jia-nan and XIAO Ming-yu. Approximation Algorithm for Weighted Mixed Domination Problem[J]. Computer Science, 2018, 45(4): 83 -88 .
[7] WU Jian-hui, HUANG Zhong-xiang, LI Wu, WU Jian-hui, PENG Xin and ZHANG Sheng. Robustness Optimization of Sequence Decision in Urban Road Construction[J]. Computer Science, 2018, 45(4): 89 -93 .
[8] LIU Qin. Study on Data Quality Based on Constraint in Computer Forensics[J]. Computer Science, 2018, 45(4): 169 -172 .
[9] ZHONG Fei and YANG Bin. License Plate Detection Based on Principal Component Analysis Network[J]. Computer Science, 2018, 45(3): 268 -273 .
[10] SHI Wen-jun, WU Ji-gang and LUO Yu-chun. Fast and Efficient Scheduling Algorithms for Mobile Cloud Offloading[J]. Computer Science, 2018, 45(4): 94 -99, 116 .