Research Article
A Method and Tool Support for Automated Data Flow Testing of Java Programs
@INPROCEEDINGS{10.1007/978-3-319-05939-6_16, author={Van-Cuong Pham and Pham Ngoc-Hung}, title={A Method and Tool Support for Automated Data Flow Testing of Java Programs}, proceedings={Context-Aware Systems and Applications. Second International Conference, ICCASA 2013, Phu Quoc Island, Vietnam, November 25-26, 2013, Revised Selected Papers}, proceedings_a={ICCASA}, year={2014}, month={6}, keywords={Software testing Data flow testing White-box testing Data flow anomaly Data flow coverage.}, doi={10.1007/978-3-319-05939-6_16} }- Van-Cuong Pham
Pham Ngoc-Hung
Year: 2014
A Method and Tool Support for Automated Data Flow Testing of Java Programs
ICCASA
Springer
DOI: 10.1007/978-3-319-05939-6_16
Abstract
This paper proposes a method and a tool support for automated data flow testing of Java programs. The key purpose of this method is to detect improper uses of data values due to coding errors. Given source code of a Java program, the proposed method analyzes and visualizes the program as a data flow graph. All test paths for covering all definition-use pairs of all variables are then generated. A test case corresponding to each generated test path is produced by identifying values to the input parameters so that the test path is executable. The expected outputs of these test cases are identified automatically. An implemented tool supporting the improved method and experimental results are also presented. This tool is promising to be applied in practice.