源代码转换成图-控制流图、数据流图

最新推荐文章于 2024-11-06 11:22:49 发布
最新推荐文章于 2024-11-06 11:22:49 发布
阅读量1.3w 收藏 117
点赞数 26
文章标签： 软件测试 图论
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.youkuaiyun.com/weixin_43201090/article/details/110875959
版权
本文探讨了将代码转换为控制流图（CFG）和数据流图的概念，强调了节点覆盖、边覆盖和循环在测试中的重要性。数据流覆盖关注defs（变量赋值）和uses（变量使用），特别是DU-pairs在循环中的角色。这些图形表示在软件测试和理解程序行为方面起着关键作用。

摘要生成于 C知道 ，由 DeepSeek-R1 满血版支持， 前往体验 >

代码转换成图

graph：通常是控制流图（CFG）

  • 节点覆盖：执行每个语句
  • 边覆盖：执行每个分支
  • 循环：循环结构，如for循环、while循环等。

数据流覆盖：增加CFG

  • defs是为变量赋值的语句
  • uses是使用变量的语句

控制流图

if Statement
if

if-else
if-return
Loops
while
do-while

for
while-break-continue
switch
switch
try-catch
try-catch

数据流图

  • def：一个值存储在内存中

  1. x出现在赋值的左侧（x=44；）

  2. x是调用中的实际参数，该方法更改其值

  3. x是方法的形式参数（方法启动时的隐式定义）

  4. x是程序的输入

  • use：访问变量的值

  1. x出现在赋值的右侧

  2. x出现在条件测试中

  3. x是方法的实际参数

  4. x是程序的输出

  5. x是return语句中方法的输出

如果def和use出现在同一个节点上，def发生在use之后并且该节点处于Loop中，那么def和use是DU-pair

Example

code
CFG
CFG for Stats

程序控制流图
bufushutaoqibao的博客
12-13 2540
控制流图前言示例代码概念实践总结 前言 要学习基本路径测试前需要先学习几个知识，控制流图、圈复杂度、独立路径。本文中介绍下控制流图。 示例代码 程序源代码如下： void funcPath(int a, int b,double c ) { int a, b; double c; if (a > 0 && b > 0) c = c + a; else if (c > 1) { int i; for(i=0;i<5;i++) ..
使用graphviz画的数据流图
02-19
使用graphviz画出的数据流图，给各位做一个参考。
Soot生成控制流图
weixin_33736048的博客
05-21 1087
Soot是McGill大学的Sable研究小组自1996年开始开发的Java字节码分析工具，它提供了多种字节码分析和变换功能，通过它可以进行过程内和过程间的分析优化，以及程序流图的生成，还能通过图形化的方式输出，让用户对程序有个直观的了解。尤其是做单元测试的时候，可以很方便的通过这个生成控制流图然后进行测试用例的覆盖，显著提高效率。 如果是将Soot当作简单工具来分析的人，可以直接使用So...
【浅析】程序分析中的数据流图（data flow graph）和控制流图（control flow graph）
the Blog of 等不到天亮丶等时光
04-09 1万+
如题。看了一些网页文献，大概对这两种流图有了一定的理解，这里简单地记录一下，尤其是一些例子，感觉比较直观。
[架构之路-140]-《软考-系统架构设计师》-数据流图DFD（Data Flow Diagram）和控制流图CFD（Control Flow Diagram）的比较
文火冰糖（王文兵）的博客
03-18 4087
控制流图(Control Flow Graph, CFG)也叫控制流程图，是一个过程或程序的抽象表现，是用在编译器中的一个抽象数据结构，由编译器在内部维护，代表了一个程序执行过程中会遍历到的所有路径。它用图的形式表示一个过程内所有基本块执行的可能流向, 也能反映一个过程的实时执行过程。Frances E. Allen于1970年提出控制流图的概念 [1]。此后，控制流图成为了编译器优化和静态分析的重要工具。控制流图中每个在图形中的节点代表一个基本块。
Soot生成代码控制流图
weixin_30840253的博客
10-01 388
Soot可以对代码进行分析，提供了多种字节码分析和变换功能，通过它可以进行过程内和过程间的分析优化，以及程序流图的生成，还能通过图形化的方式输出。 http://www.brics.dk/SootGuide/上面有官方的guide 1. 环境准备： a. 下载安装java7，不能用java8 （soot3.0.1可以用java8） b. 下载soot jar包https://www...
【Static Program Analysis - Chapter 2】 代码的表征之控制流图
weixin_34153893的博客
11-28 210
  (a) an if-then-else (b) a while loop (c) a natural loop with two exits, e.g. while with an if...break in the middle; non-structured but reducible (d) an irreducible CFG: a loop with two entry po...
控制流图（Control Flow Graph）-（CFG）
热门推荐
阿航的博客
04-21 5万+
1.定义 百度百科： 控制流图(Control Flow Graph, CFG)也叫控制流程图，是一个过程或程序的抽象表现，是用在编译器中的一个抽象数据结构，由编译器在内部维护，代表了一个程序执行过程中会遍历到的所有路径。它用图的形式表示一个过程内所有基本块执行的可能流向, 也能反映一个过程的实时执行过程。 Frances E. Allen于1970年提出控制流图的概念。此后，控制流图成为了编译器优化和静态分析的重要工具。 维基百科： 原文： In a control-flo..
控制流图(CFG)
爱远方的博客
02-08 7498
百度百科：控制流图(Control Flow Graph, CFG)也叫控制流程图，是一个过程或程序的抽象表现，是用在编译器中的一个抽象数据结构，由编译器在内部维护，代表了一个程序执行过程中会遍历到的所有路径。它用图的形式表示一个过程内所有基本块执行的可能流向, 也能反映一个过程的实时执行过程。
数据流程图、数据流图与数据控制图
clizikoe49693的博客
05-09 1017
我是用VISIO画的图，虽然图形与课本等处写的不同，而且VISIO也已经比较详细了，也有UML图，可我总觉得还不是我想要的，或者，还觉得图片有点点不确切。不管怎么说，画图是为了沟通，目标是使阅读者能快速掌握信息，...
生成Python代码控制流图
01-14
Python开发的生成Python代码控制流图的小工具。 原理：将源代码解析为AST，遍历AST生成结构化字符串，最后解析结构化字符串得到控制流图。 使用：python CFG.py src [-o dir] 工具扫描src文件所有函数并在dir目录下生成控制流图，缺省为当前工作目录。
bytecode-to-cfg:使用 ASM 从 Java 字节码生成控制流图
07-08
字节码到 cfg 描述 使用 ASM 从 Java 字节码生成控制流图 作者 佩纳安东尼 布朗丁·尼古拉斯 巴登·杰里米 要求 已安装 开发商 您必须位于项目文件夹（pom.xml 文件所在的位置）才能使用以下命令进行编译： mvn compile 然后运行项目： mvn exec:java 链接 用法 程序分析的方法在AnalysedClass中，其名称必须在visitMethod（ClassAnalyser类）中设置
soot生成java程序的控制流图例子
03-23
在java工程中利用soot-jar包，生成java程序的dot文件，再利用graphviz画出java程序的控制流图。
16.2 - 控制流分析
李黏黏的博客
10-06 8554
Switch（变量）：Switch后的括号中是变量，变量的比较是在case语句中进行的，Switch和case组合在一起才是一个判定，所以绘制控制流图的时候需注意，要将Switch和case绘制到一个结点（一个圆圈），而不是两个圆圈。：当一段程序代码在执行的过程中没有共同执行的部分，就需要在程序的控制流图后加一个汇聚结点（一个空圈圈）。until循环：先判断循环条件，当循环条件为假时执行循环体的内容，执行完循环体的内容后返回判断点，再次判断循环条件，当循环条件为真时，跳出循环执行循环后面的语句结构。
使用pintools画出控制流图（二）——输出操作码
Stupid but Strong.
08-18 1307
我现在的想法是，输出指令的操作码，便于与objdump调试得到的汇编语言进行对照。 代码如下 #include&lt;iostream&gt; #include&lt;fstream&gt; #include&lt;stdlib.h&gt; #include"pin.H" using namespace std; ofstream OutFile; INS ins; //指定输出文件 KN...
（转）数据流图
weixin_30577801的博客
09-08 92
转自:http://jingyan.baidu.com/article/4f34706eefdb04e387b56deb.html 数据流图4种图元 数据流图的实例 转载于:https://www.cnblogs.com/wrencai/p/5852389.html...
控制流图CFG
最新发布
2401_85480529的博客
11-06 833
控制流图（Control Flow Graph, CFG）是一种图结构，用于表示程序中各个语句或指令的执行顺序。CFG 是静态程序分析中的一个核心概念，通常用于分析和优化代码。例如，在编译器优化、数据流分析、代码覆盖率分析等方面，都需要用到 CFG。
Python源码控制流图可视化工具介绍
为了生成Python代码的控制流图，上述提到的小工具采用了将Python源代码解析为抽象语法树（AST）的方法。AST是一个程序的树状表示，它捕获了程序的语法结构，但忽略了不必要的细节如括号和分号等。通过解析源代码到...
评论 2
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值