期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
2
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
基于搜索的面向路径字符串测试数据自动生成方法
被引量：
5
1
作者
赵瑞莲
《计算机辅助设计与图形学学报》
EI
CSCD
北大核心
2008年第5期671-677,共7页
针对字符串测试数据自动生成,讨论了字符串间的距离,将不满足路径条件的字符串谓词表示成一个实值目标函数;利用快速下降搜索算法实施目标函数极小化,实现了基于搜索的面向路径字符串测试数据自动生成方法;探讨了其测试数据生成效率与...
针对字符串测试数据自动生成,讨论了字符串间的距离,将不满足路径条件的字符串谓词表示成一个实值目标函数;利用快速下降搜索算法实施目标函数极小化,实现了基于搜索的面向路径字符串测试数据自动生成方法;探讨了其测试数据生成效率与初始输入、路径处理顺序之间的关系,并与遗传算法等几种算法进行了比较.实验结果表明:该方法是一种更经济有效的测试数据生成方法.
展开更多
关键词
路径测试数据生成
字符串
数据
字符串间距离
快速下降搜索算法
在线阅读
下载PDF
职称材料
基于内存建模的复杂结构类型测试数据自动生成方法
被引量：
2
2
作者
李飞宇
宫云战
王雅文
《计算机辅助设计与图形学学报》
EI
CSCD
北大核心
2012年第2期262-270,共9页
针对链表、树和图等这类复杂结构类型的测试数据自动生成问题,提出一种面向路径的基于内存建模的测试数据生成方法.采用一种将结构变量和数值变量分别建模的抽象内存模型,并利用此模型辅助符号执行被测路径;把路径执行过程中语句的语义...
针对链表、树和图等这类复杂结构类型的测试数据自动生成问题,提出一种面向路径的基于内存建模的测试数据生成方法.采用一种将结构变量和数值变量分别建模的抽象内存模型,并利用此模型辅助符号执行被测路径;把路径执行过程中语句的语义操作映射到对抽象内存的操作,解决指针引起的别名问题,并且在抽象内存中精准地记录了路径的约束条件;最后通过约束求解得到测试数据.文中方法已应用于自主开发的自动单元测试系统———UATS,通过实验证明了该方法的可行性.
展开更多
关键词
路径测试数据生成
复杂结构类型
别名
符号执行
内存建模
在线阅读
下载PDF
职称材料
题名
基于搜索的面向路径字符串测试数据自动生成方法
被引量：
5
1
作者
赵瑞莲
机构
北京化工大学计算机科学系
中国科学院软件研究所计算机科学国家重点实验室
出处
《计算机辅助设计与图形学学报》
EI
CSCD
北大核心
2008年第5期671-677,共7页
基金
国家自然科学基金(60473032)
北京市自然科学基金(4072021)
中国科学院软件研究所计算机科学国家重点实验室开放课题基金(SYSKF0605)
文摘
针对字符串测试数据自动生成,讨论了字符串间的距离,将不满足路径条件的字符串谓词表示成一个实值目标函数;利用快速下降搜索算法实施目标函数极小化,实现了基于搜索的面向路径字符串测试数据自动生成方法;探讨了其测试数据生成效率与初始输入、路径处理顺序之间的关系,并与遗传算法等几种算法进行了比较.实验结果表明:该方法是一种更经济有效的测试数据生成方法.
关键词
路径测试数据生成
字符串
数据
字符串间距离
快速下降搜索算法
Keywords
path test data generation
character string data
distance between strings
speedy descent search algorithm
分类号
TP311.5 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
基于内存建模的复杂结构类型测试数据自动生成方法
被引量：
2
2
作者
李飞宇
宫云战
王雅文
机构
北京邮电大学网络与交换技术国家重点实验室
出处
《计算机辅助设计与图形学学报》
EI
CSCD
北大核心
2012年第2期262-270,共9页
基金
国家自然科学基金(91018002)
国家"八六三"高技术研究发展计划(2009AA012404)
文摘
针对链表、树和图等这类复杂结构类型的测试数据自动生成问题,提出一种面向路径的基于内存建模的测试数据生成方法.采用一种将结构变量和数值变量分别建模的抽象内存模型,并利用此模型辅助符号执行被测路径;把路径执行过程中语句的语义操作映射到对抽象内存的操作,解决指针引起的别名问题,并且在抽象内存中精准地记录了路径的约束条件;最后通过约束求解得到测试数据.文中方法已应用于自主开发的自动单元测试系统———UATS,通过实验证明了该方法的可行性.
关键词
路径测试数据生成
复杂结构类型
别名
符号执行
内存建模
Keywords
path test data generation
complex structure
alias
symbolic execution
memory modeling
分类号
TP311.5 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
基于搜索的面向路径字符串测试数据自动生成方法
赵瑞莲
《计算机辅助设计与图形学学报》
EI
CSCD
北大核心
2008
5
在线阅读
下载PDF
职称材料
2
基于内存建模的复杂结构类型测试数据自动生成方法
李飞宇
宫云战
王雅文
《计算机辅助设计与图形学学报》
EI
CSCD
北大核心
2012
2
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
