期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
1
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
基于过程间动态符号执行的C语言测试框架
被引量：
3
1
作者
邵巳航
苏亭
+2 位作者
顾斌
王政
杨孟飞
《计算机工程与设计》
CSCD
北大核心
2014年第8期2746-2751,共6页
针对C语言白盒测试用例自动生成问题,提出一套基于过程间的动态符号执行框架,建立基于Def-Use链和函数执行树的模型。以函数为单位进行约束收集,解决函数调用中实参和形参的符号统一问题;对过程间动态符号执行的SMART(systematic modula...
针对C语言白盒测试用例自动生成问题,提出一套基于过程间的动态符号执行框架,建立基于Def-Use链和函数执行树的模型。以函数为单位进行约束收集,解决函数调用中实参和形参的符号统一问题;对过程间动态符号执行的SMART(systematic modular automated random testing)算法进行改进,利用其计算和使用函数摘要,提高动态符号执行的效率和可行性。该方案为C语言过程间测试自动化工具的实现提供了详细的解决方案。
展开更多
关键词
过程间测试
测试
用例
自动生成
动态符号执行
SMART(系统模块化自动随机
测试
算法)
在线阅读
下载PDF
职称材料
题名
基于过程间动态符号执行的C语言测试框架
被引量：
3
1
作者
邵巳航
苏亭
顾斌
王政
杨孟飞
机构
华东师范大学软件学院
北京控制工程研究所
出处
《计算机工程与设计》
CSCD
北大核心
2014年第8期2746-2751,共6页
基金
国家自然科学基金项目(91118007)
国防科工局"航天器产品软件安全性评价体系及关键技术研究"基金项目
文摘
针对C语言白盒测试用例自动生成问题,提出一套基于过程间的动态符号执行框架,建立基于Def-Use链和函数执行树的模型。以函数为单位进行约束收集,解决函数调用中实参和形参的符号统一问题;对过程间动态符号执行的SMART(systematic modular automated random testing)算法进行改进,利用其计算和使用函数摘要,提高动态符号执行的效率和可行性。该方案为C语言过程间测试自动化工具的实现提供了详细的解决方案。
关键词
过程间测试
测试
用例
自动生成
动态符号执行
SMART(系统模块化自动随机
测试
算法)
Keywords
inter-procedural testing
test case
automated generation
dynamic symbolic execution
SMART （systematic modular automated random testing）
分类号
TP301.6 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
基于过程间动态符号执行的C语言测试框架
邵巳航
苏亭
顾斌
王政
杨孟飞
《计算机工程与设计》
CSCD
北大核心
2014
3
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
