10.3969/j.issn.1000-7024.2014.05.033
基于CIL的C语言类型系统构建研究
针对C单元的测试用例自动生成的研究,提出在基于OCAML (object CAML)的CIL (C intermediate language)工具包上的类型系统构建方法.通过工具前端对C单元中代码的类型插桩,对基本数据类型以及每个全局对象、自定义对象进行类型统计,实现自动检测C单元中对象类型,在工具后端根据这些对象类型和其内存布局将当前的测试用例可视化.结合具体的CIL开源工具,为解决这类测试用例可视化的问题提供一个解决方案.
测试用例、自动生成、CIL (C语言中间语言)、类型系统、类型插桩、可视化
35
TP301.6(计算技术、计算机技术)
国家自然科学基金重点项目91118007;国防科工局“航天器产品软件安全性评价体系及关键技术研究”基金
2014-06-12(万方平台首次上网日期,不代表论文的发表时间)
共7页
1667-1673