This paper presents a method and implementation techniques to generate control flow graph from source program.
本文给出了一种由源程序生成其对应的控制流图的方法和实现技术。
In accordance with the characteristics and coverage requirement of path coverage test as well as the graph theory, this paper presents a new program control flow diagram model.
针对路径测试的要求及其特点,结合图论的概念,提出了程序控制流程图的一种表示方法。
This method can be used to analyze the semantic relations in object-oriented program units by ripple effect analysis, and the control dependency and data dependency by use of system dependency graph.
提出了把波动效应分析和系统依赖图结合起来进行切片的方法,通过波动效应分析反映面向对象程序中单元间的波动关系,基于系统依赖图切片侧重于分析控制依赖和数据依赖。
应用推荐