面向编译器测试的部分求值静态输入确定方法

发布时间：2023-03-11 09:14

　　在编译器测试中,基于部分求值技术的编译器测试方法将用于编译器优化和程序例化的部分求值技术应用到编译器测试中,是一种比较新颖、有效的方法,但是这一方法对源程序用于部分求值的一组静态输入及其取值都是由人工手动指定的,这种依赖人工手动指定的策略无法使测试过程自动化进行,而且具有一定的盲目性。本文为了解决基于部分求值的编译器测试技术中静态输入需要人工手动指定的低效和盲目性,提出了一种源程序静态输入的确定方法和静态输入值的确定方法,重点是要解决两个问题:第一,如何量化变量的重要性,为了解决这个问题,定义了变量的依赖度属性;第二,如何自动化地计算变量的依赖度,为此采用了数据流分析手段,先将源程序抽象为一个控制流图,待研究的顺序和分支语句构成图的节点。对源程序的分析主要集中在这些节点上,弱化了图的边。在该定义中,每个变量的定义集合是在该变量的所有赋值语句中,右部表达式中其他变量的集合,即每个变量的值依赖于它定义集合中的变量,定义集合主要用于后续的数据流方程计算,控制流图的引用集合表示在一个节点语句中出现的所有变量的集合,本文方法的核心思想便是对引用集合中的每个变量,用它的依赖集合来替换它,直至收敛。...

【文章页数】：47 页

【学位级别】：硕士

【文章目录】：
摘要
abstract
第1章 绪论
    1.1 研究背景
    1.2 研究现状
    1.3 本文研究内容
第2章 背景
    2.1 部分求值技术
        2.1.1 部分求值的定义
        2.1.2 部分求值器概述
        2.1.3 部分求值技术的应用
    2.2 LLVM与 CLANG
        2.2.1 LLVM与 Clang简介
        2.2.2 Clang和 Clang AST
        2.2.3 LLVM IR
第3章 静态输入的确定与取值
    3.1 定义基础
        3.1.1 基本定义
        3.1.2 定义的依据与分析
    3.2 静态输入的确定方法
        3.2.1 依赖度的计算
        3.2.2 静态输入的选取规则
    3.3 静态输入取值范围的计算
第4章 实现
    4.1 基于CLANG AST的实现
    4.2 基于LLVM IR的实现
第5章 实验与结果分析
    5.1 测试框架的实现
    5.2 实验设置
    5.3 试验结果与分析
第6章 总结与展望
参考文献
作者简介及在学期间所取得的科研成果
致谢



本文编号：3759604