%A JI Shun-hui, ZHANG Peng-cheng %T Test Case Generation Approach for Data Flow Based on Dominance Relations %0 Journal Article %D 2020 %J Computer Science %R 10.11896/jsjkx.200700021 %P 40-46 %V 47 %N 9 %U {https://www.jsjkx.com/CN/abstract/article_19340.shtml} %8 2020-09-15 %X The design of control flow in programs serves for realizing correct data flow. Performing the data flow testing is important. With formulating the problem of all-uses data flow criterion oriented test case generation as a many-objectives optimization problem,a genetic algorithm based test case generation approach is proposed. By constructing the control flow graph for to-be-tested program,data flow analysis is performed to compute all the definition-use pairs which are the testing requirements. Then many-objectives oriented genetic algorithm is performed to search the optimal solution for satisfying all-uses criterion. An improved fitness function is defined based on the dominance relations. The existence of killing definition,as well as the sequence of definition node and use node in the execution path,are taken into consideration to analyze the coverage of test case with respect to the definition-use pair.Experimental results show that the proposed approach can effectively generate test cases for satisfying all-uses criterion. And compared with other approaches,it can improve the coverage percentage and reduce the number of generations.