A tool to generate all DU paths automatically
Sumit Kumar, Dilip Kumar Yadav, Danish Ali Khan, Anurag Kumar Srivastava · International Conference on Computing for Sustainable Global Development · 2015
Software testing takes a considerable amount of time and resources spent on producing software. Software testing includes test data generation that is the process of identifying a set of program input data satisfying a given testing criterion. There has been active research to find out ways to reduce the cost of software testing. Increasing the degree of automation and the efficiency of software testing certainly can reduce the cost of software design, decrease the time period of software development, and increase the quality of software significantly. This paper presents a method for automatic generation of DU-paths (definition-use paths) for C programs. It is based on the analysis of data-flow dependencies in the program (definition and use information of variables) to generate all-du paths for each variable in a program.