Title :
Design and implementation of automatic generator of DC-paths
Author :
Li Zheng ; Gang Zhang ; Yonghua Li
Author_Institution :
Sch. of Comput. Sci. & Technol., Tianjin Univ., Tianjin, China
Abstract :
This paper proposes a method to generate DC-paths (definition-clear paths) automatically. Firstly, this method makes static analysis on the structured program to get the defining and using information of the variables and the structure of the program. Secondly, it draws the program graph. Thirdly, it generates the DC-paths set of each variable. The method provides the testing possibilities between the extremes of the typically unattainable All-Paths criterion and All-DU-paths criterion. Based on this method, we implemented an automatic generator of DC-paths for data flow testing.
Keywords :
automatic programming; data flow analysis; program testing; structured programming; DC path generation; all-DU path criterion; automatic generator; data flow testing; definition clear path; program graph; static analysis; structured program; unattainable all-path criterion; Algorithm design and analysis; Arrays; Educational institutions; Generators; Software; Testing; DC-paths; automated testing tool; data flow testing; program graph;
Conference_Titel :
Fuzzy Systems and Knowledge Discovery (FSKD), 2012 9th International Conference on
Conference_Location :
Sichuan
Print_ISBN :
978-1-4673-0025-4
DOI :
10.1109/FSKD.2012.6233882
