基于CIL的C语言类型系统构建研究 |
| |
引用本文: | 方昭潭,苏亭,李博,经小川,张伟.基于CIL的C语言类型系统构建研究[J].计算机工程与设计,2014(5):1667-1673. |
| |
作者姓名: | 方昭潭 苏亭 李博 经小川 张伟 |
| |
作者单位: | 华东师范大学软件学院;中国航天系统科学与工程研究院 |
| |
基金项目: | 国家自然科学基金重点项目(91118007);国防科工局“航天器产品软件安全性评价体系及关键技术研究”基金项目 |
| |
摘 要: | 针对C单元的测试用例自动生成的研究,提出在基于OCAML(object CAML)的CIL(C intermediate language)工具包上的类型系统构建方法。通过工具前端对C单元中代码的类型插桩,对基本数据类型以及每个全局对象、自定义对象进行类型统计,实现自动检测C单元中对象类型,在工具后端根据这些对象类型和其内存布局将当前的测试用例可视化。结合具体的CIL开源工具,为解决这类测试用例可视化的问题提供一个解决方案。
|
关 键 词: | 测试用例 自动生成 CIL(C语言中间语言) 类型系统 类型插桩 可视化 |
本文献已被 CNKI 等数据库收录! |
|