An Automatic Testing Approach for Compiler Based on Metamorphic Testing Technique

最新推荐文章于 2024-07-19 16:27:02 发布

你的名字5686

最新推荐文章于 2024-07-19 16:27:02 发布

阅读量177

点赞数

分类专栏：读文章文章标签：安全编译器测试

本文链接：https://blog.csdn.net/wk19951125/article/details/121407080

版权

19 篇文章 0 订阅

订阅专栏

介绍

现有的问题及方法

编译器测试
- 编译器的工作原理：对源程序进行语义语法分析 $\rightarrow$ 中间代码的合成 $\rightarrow$ 优化 $\rightarrow$ 生成目标可执行文件
- 正确性依赖的环节：语言完整 $\land$ 语义健全 $\land$ 优化有效

在这里插入图片描述

由一系列赋值语句组成
提出了一种基于数据依赖概念生成等效赋值块的方法
定义了赋值语句依赖关系
- 假设语句 $S_2$ 可从 $S_1$ 到达，如果 $S_1$ 和 $S_2$ 都可以访问同一个变量并且至少一个访问为写入，则 $S_2$ 依赖于 $S_1$ ，记为 $S_1 \delta S_2$
  - 假设语句 $S_1$ 写变量而 $S_2$ 读变量，则 $S_2$ flow-depends on $S_1$ ，记为 $S_1 \delta^f S_2$
  - 假设语句 $S_1$ 读变量而 $S_2$ 写变量，则 $S_2$ anti-depends on $S_1$ ，记为 $S_1 \delta^a S_2$
  - 假设语句 $S_1$ 和 $S_2$ 同写变量，则 $S_2$ output-depends on $S_1$ ，记为 $S_1 \delta^o S_2$
等效赋值块的生成：
- 赋值块的等效定义：如果两个赋值块由相同的语句组成，并且语句之间的数据依赖性也相同，那么这两个块是等效的。
- 具体生成方法：
  - 随机生成一个依赖图
  - 用赋值语句进行填充
  - 对依赖图进行拓扑排序
  - 从拓扑序列中派生赋值块

在循环或分支中的语句
提出了一种基于经典优化原理的等效子模块生成方法：消除无用代码、消除通用子表达式、循环不变量
具体方式
- 生成一个控制流程图
- 根据特定经典优化原理，在图表中选择一定数量的节点作为“可优化”节点，用“可优化”和“优化”语句填充节点，从聚焦节点向前或向后遍历路径，同时在具有特定属性的路径上标记节点，这些属性指定引用属性或定义某些变量；
- 根据标记属性用具体语句填充CFG的节点；
- 遍历CFG，导出“优化”子模块及其“优化”版本。

在这里插入图片描述

关注