基于程序切片的测试用例生成系统研究与实现

王志文; 黄小龙; 王海军; 刘烃; 俞乐晨

首页> 中文期刊> 《计算机科学》 >基于程序切片的测试用例生成系统研究与实现

基于程序切片的测试用例生成系统研究与实现

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

介绍了一种基于程序行为切片的测试用例生成系统的实现方案,系统在不扫描全部程序路径的情况下,生成可以覆盖全部程序行为的测试用例集.系统分为静态分析、动态符号执行以及测试用例生成3个模块.在静态分析模块中根据输入的程序代码分析程序的控制流和信息流,提取程序的控制依赖和数据依赖,并计算程序的潜在依赖;动态符号执行模块求解约束条件、生成测试用例和分析代码执行过程;测试用例生成模块根据执行路径和依赖关系计算被路径覆盖的程序行为切片和未被覆盖的程序行为切片,然后根据未被覆盖的程序行为切片,引导符号执行生成能覆盖新的程序行为切片的测试用例.实验证明,本系统生成的测试用例集可以保证覆盖所有的程序行为,同时能显著减少生成的测试用例数量.

著录项

来源
《计算机科学》 |2014年第9期|71-74|共4页
作者
王志文; 黄小龙; 王海军; 刘烃; 俞乐晨;
展开▼
作者单位

西安交通大学电子与信息工程学院西安710049;

西安交通大学电子与信息工程学院西安710049;

西安交通大学电子与信息工程学院西安710049;

西安交通大学电子与信息工程学院西安710049;

西安交通大学电子与信息工程学院西安710049;

展开▼
原文格式 PDF
正文语种 chi
中图分类专用应用软件;
关键词
软件测试; 测试用例集生成; 动态符号执行; 程序切片;

相似文献

中文文献
外文文献
专利

1. 基于程序切片的测试用例集约简方法 [J] . 吴洁 ,丁晓明 . 重庆交通大学学报（自然科学版） . 2010,第002期
2. 基于遗传算法的嵌入式软件测试用例生成系统研究 [J] . 李冰 ,陈自力 ,邱金刚 . 军械工程学院学报 . 2009,第004期
3. 基于遗传算法的软件测试用例生成系统模型 [J] . 易云辉 ,汪闰六 . 科技广场 . 2005,第006期
4. 基于遗传算法与XML的测试用例自动生成执行系统研究与实现 [J] . 刘慰 ,应新洋 . 计算机时代 . 2018,第002期
5. 基于流程图自动生成测试用例的方法研究与实现 [J] . 梁衡 ,朱亮亮 ,杨华强 . 信息系统工程 . 2012,第008期
6. 基于模型检验和符号演算的Java测试用例自动生成方法的研究与实现 [C] . 邓小琴 ,刘超 . 中国计算机学会全国软件与应用学术会议（NASAC2009） . 2009
7. 基于输入矩阵的测试用例自动生成系统的研究与实现 [A] . 唐军 . 2009

基于程序切片的测试用例生成系统研究与实现

摘要

著录项

相似文献

相关主题

期刊订阅