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

fYear

2012

fDate

29-31 May 2012

Firstpage

2291

Lastpage

2294

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Fuzzy Systems and Knowledge Discovery (FSKD), 2012 9th International Conference on

Conference_Location

Sichuan

Print_ISBN

978-1-4673-0025-4

Type

conf

DOI

10.1109/FSKD.2012.6233882

Filename

6233882