基于过程间动态符号执行的C语言测试框架

作     者：邵巳航 苏亭 顾斌 王政 杨孟飞 SHAO Si-hang;SU Ting;GU Bin;WANG Zheng;YANG Meng-fei

作者机构：华东师范大学软件学院上海200062 北京控制工程研究所北京100080 

基　　金：国家自然科学基金项目(91118007) 国防科工局"航天器产品软件安全性评价体系及关键技术研究"基金项目 

出 版 物：《计算机工程与设计》 (Computer Engineering and Design)

年 卷 期：2014年第35卷第8期

页      码：2746-2751页

摘      要：针对C语言白盒测试用例自动生成问题,提出一套基于过程间的动态符号执行框架,建立基于Def-Use链和函数执行树的模型。以函数为单位进行约束收集,解决函数调用中实参和形参的符号统一问题;对过程间动态符号执行的SMART(systematic modular automated random testing)算法进行改进,利用其计算和使用函数摘要,提高动态符号执行的效率和可行性。该方案为C语言过程间测试自动化工具的实现提供了详细的解决方案。

主 题 词：过程间测试 测试用例 自动生成 动态符号执行 SMART(系统模块化自动随机测试算法) 

学科分类：08[工学] 081202[081202] 0812[工学-测绘类] 

D　O　I：10.3969/j.issn.1000-7024.2014.08.025

馆 藏 号：203148873...