首页--工业技术论文--自动化技术、计算机技术论文--计算技术、计算机技术论文--计算机软件论文--编译程序、解释程序论文

C编译器测试验证技术研究与应用

摘要第4-5页
ABSTRACT第5-6页
目录第7-8页
第一章 绪论第8-13页
    1.1 研究背景第8-11页
        1.1.1 编译器测试的背景第8页
        1.1.2 编译器的体系结构第8-10页
        1.1.3 基于语法的测试生成技术的发展第10-11页
    1.2 本文研究内容和贡献第11-12页
    1.3 本文章节组织第12页
    1.4 术语与缩写第12-13页
第二章 C语言编译器的测试验证第13-21页
    2.1 编译器测试验证的特点及难点第13-14页
    2.2 编译器测试套件第14-15页
    2.3 编译器随机测试数据的生成第15-21页
        2.3.1 测试数据自动生成技术第16-18页
        2.3.2 基于语法的编译器测试用例生成技术第18-20页
        2.3.3 其他测试数据生成技术第20-21页
第三章 对Csmith进行的性能改进第21-40页
    3.1 C编译器测试用例随机生成器--Csmith第21-24页
    3.2 在Csmith中使用基于语法的测试生成技术第24-38页
        3.2.1 编程语言的语法的语法描述和解析第24-25页
        3.2.2 一种基于语法的自动生成算法Purdom的实现第25-34页
        3.2.3 基于语法的测试用例自动生成工具--ExCsmith第34-38页
    3.3 控制随机生成的程序的可结束性第38-40页
第四章 实验第40-44页
第五章 总结和展望第44-45页
参考文献第45-47页
附录第47-57页
致谢第57页

论文共57页,点击 下载论文
上一篇:基于无线传感器网络的移动节点队形变换控制研究
下一篇:通用仿真试验平台实时性技术研究与应用