期刊名称：International Journal of Computer Trends and Technology
电子版ISSN：2231-2803
出版年度：2019
卷号：67
期号：8
页码：7-12
DOI：10.14445/22312803/IJCTT-V67I8P102
出版社：Seventh Sense Research Group
摘要：Control Flow Graph (CFG) is the graphical representation that contains all possible paths in the program execution. It is very essential part of the control flow testing but there are some challenges in generating the effective CFGs. These are how to reduce the complexity and isomorphism of the CFGs and how to check the feasibility of these CFGs. In this paper, these challenges are addressed by introducing the simplifying of CFGs. In the control flow testing, the execution order is determined which is the instruction or statement order of the program through a control structure and the tester needs to select a specific part of a large program to set the testing path. The CFGs of large programs are sliced to simplify and to reduce the complexity by using a program slicing technique, Tree Slicing which is also called PathSensitively Sliced CFG (PSSCFG). It is a slicing and merging technique for different subtrees under certain conditions. By using this technique, the complexity of these CFGs is reduced due to the simplifying of these graphs. Moreover, this paper shows that the code coverage of the program of simplified CFGs is also improved according to the experimental results of the benchmark dataset that is different from other recent researches because this system is tested in Java by converting the C dataset.
关键词：Control Flow Graph (CFG); Control Flow Testing; Path-Sensitively Sliced CFG.
