收藏本站
收藏 | 投稿 | 手机打开
二维码
手机客户端打开本文

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

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

知网文化
【相似文献】
中国期刊全文数据库 前20条
1 周孔伟,蔡经球;符号执行—介于程序验证和程序调试之间的方法[J];小型微型计算机系统;1982年04期
2 高仲仪 ,梁霞;符号执行和测试数据辅助生成的实验系统[J];北京航空航天大学学报;1988年04期
3 刘宗田,朱逸芬;符号执行技术在68000C反编译程序中的应用[J];计算机学报;1988年10期
4 翁子盛;王宝生;林锦滨;;程序符号执行中的数组分析[J];长江大学学报(自然科学版)理工卷;2010年01期
5 洪宇;陈光;于见平;韩柯;;处理符号执行中数组元素混淆的一种新方法[J];计算机应用;2005年S1期
6 史桂红;一种基于对象状态的软件测试方法[J];电脑与信息技术;2005年02期
7 娄坚波;刘久富;李金奎;王伟;;基于条件值的C/C++预处理测试算法[J];计算机工程;2011年14期
8 林锦滨;蒋凡;;错误模式和程序切片的软件漏洞检测[J];信息安全与通信保密;2009年11期
9 林锦滨;蒋凡;;执行路径建模进程化代码分析[J];计算机工程;2010年09期
10 陈福安,刘宗田,李力;8086 C语言反编译系统的设计及实现技术[J];小型微型计算机系统;1993年04期
11 林梦香;陈胤立;陈睿;周刚;;基于懒替换的C符号执行[J];北京航空航天大学学报;2009年06期
12 代子营;毛晓光;马晓东;王瑞;;基于抽象符号表的内存模型[J];计算机工程与科学;2011年06期
13 时志伟;李小军;;基于信息流分析的源代码漏洞挖掘技术研究[J];信息网络安全;2011年11期
14 刘磊,刘英,张晓东;面向Java操作的可交换性检测技术[J];吉林大学自然科学学报;2000年01期
15 张利云;薛质;李建华;;模块二进制木马分析方法的研究与实现[J];信息安全与通信保密;2006年11期
16 杨飏;张焕国;王后珍;;一种C程序内存访问缺陷自动化检测方法研究[J];计算机科学;2010年06期
17 张健;;精确的程序静态分析[J];计算机学报;2008年09期
18 程绍银;蒋凡;林锦滨;唐艳武;;基于有限回溯符号执行的软件疑似缺陷的自动验证[J];清华大学学报(自然科学版);2009年S2期
19 陈亚莎;叶清;廖建华;;基于参数依赖关系检查的测试用例空间约简方法[J];北京工业大学学报;2010年05期
20 刘宗田;;从机器代码到高级语言程序的转换技术[J];计算机研究与发展;1992年11期
中国重要会议论文全文数据库 前5条
1 林锦滨;张晓菲;刘晖;;符号执行技术研究[A];全国计算机安全学术交流会论文集(第二十四卷)[C];2009年
2 万琳;张威;马雪雁;陈曼青;;基于路径的测试用例自动生成技术[A];第十届全国容错计算学术会议论文集[C];2003年
3 高海昌;冯博琴;侯芸;;测试数据自动生成的研究进展[A];2006中国控制与决策学术年会论文集[C];2006年
4 王建东;曾庆凯;;整数漏洞现状研究[A];2011年全国通信安全学术会议论文集[C];2011年
5 刘莉;金大海;宫云战;;区间运算中提高循环处理精度的研究[A];第十四届全国容错计算学术会议(CFTC'2011)论文集[C];2011年
中国博士学位论文全文数据库 前10条
1 陈厅;动态程序分析技术在软件安全领域的研究[D];电子科技大学;2013年
2 曹琰;面向软件脆弱性分析的并行符号执行技术研究[D];解放军信息工程大学;2013年
3 范文庆;分段符号执行模型及其环境交互问题研究[D];北京邮电大学;2010年
4 程绍银;需求驱动的软件安全缺陷自动测试生成[D];中国科学技术大学;2009年
5 王嘉捷;多重循环程序内存访问越界增量检测方法[D];中国科学技术大学;2009年
6 李仁见;堆操作程序分析验证技术研究[D];国防科学技术大学;2011年
7 李飞宇;基于内存建模的测试数据自动生成方法研究[D];北京邮电大学;2013年
8 陈勇;面向嵌入式系统绿色需求的编译技术研究[D];武汉大学;2013年
9 王志;二进制代码路径混淆技术研究[D];南开大学;2012年
10 邢学智;基于TTCN-3语言的测试理论与技术研究[D];中国科学技术大学;2010年
中国硕士学位论文全文数据库 前10条
1 肖戌;基于符号执行的软件脆弱性分析技术研究[D];电子科技大学;2011年
2 倪康奇;基于二进制代码的动态符号执行工具[D];上海交通大学;2011年
3 闫晓伟;基于符号执行的软件脆弱性测试技术[D];电子科技大学;2012年
4 王卓;基于符号执行的二进制代码动态污点分析[D];上海交通大学;2011年
5 吉小丽;动态符号执行的性能优化[D];电子科技大学;2013年
6 国鹏飞;基于动态符号执行的二进制代码漏洞挖掘系统研究与设计[D];北京邮电大学;2011年
7 蒋思远;基于动态符号执行的测试工具设计与实现[D];华东师范大学;2012年
8 余啸;基于动态符号执行的并行化测试数据自动生成[D];华东师范大学;2011年
9 娄坚波;面向宿主的嵌入式软件符号执行技术研究与实现[D];南京航空航天大学;2011年
10 范彧;基于符号执行和数据挖掘的路径可达性检测[D];上海交通大学;2013年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978