首页 | 本学科首页   官方微博 | 高级检索  
     

基于程序切片的测试用例生成系统研究与实现
引用本文:王志文,黄小龙,王海军,刘烃,俞乐晨.基于程序切片的测试用例生成系统研究与实现[J].计算机科学,2014,41(9):71-74.
作者姓名:王志文  黄小龙  王海军  刘烃  俞乐晨
作者单位:西安交通大学电子与信息工程学院 西安710049
基金项目:本文受国家自然科学基金(91118005,1,61221063,4,61202392),国家科技支撑计划(2011BAK08B02),教育部博士点基金(20110201120010),中央高校基本科研业务费专项资金资助
摘    要:介绍了一种基于程序行为切片的测试用例生成系统的实现方案,系统在不扫描全部程序路径的情况下,生成可以覆盖全部程序行为的测试用例集。系统分为静态分析、动态符号执行以及测试用例生成3个模块。在静态分析模块中根据输入的程序代码分析程序的控制流和信息流,提取程序的控制依赖和数据依赖,并计算程序的潜在依赖;动态符号执行模块求解约束条件、生成测试用例和分析代码执行过程;测试用例生成模块根据执行路径和依赖关系计算被路径覆盖的程序行为切片和未被覆盖的程序行为切片,然后根据未被覆盖的程序行为切片,引导符号执行生成能覆盖新的程序行为切片的测试用例。实验证明,本系统生成的测试用例集可以保证覆盖所有的程序行为,同时能显著减少生成的测试用例数量。

关 键 词:软件测试  测试用例集生成  动态符号执行  程序切片
收稿时间:2013/12/25 0:00:00
修稿时间:2014/1/16 0:00:00

Program Slicing-guied Test Case Generation System
WANG Zhi-wen,HUANG Xiao-long,WANG Hai-jun,LIU Ting and YU Le-chen.Program Slicing-guied Test Case Generation System[J].Computer Science,2014,41(9):71-74.
Authors:WANG Zhi-wen  HUANG Xiao-long  WANG Hai-jun  LIU Ting and YU Le-chen
Abstract:
Keywords:Software testing  Test case set generation  Dynamic symbolic execution  Program slicing
本文献已被 CNKI 万方数据 等数据库收录!
点击此处可从《计算机科学》浏览原始摘要信息
点击此处可从《计算机科学》下载全文
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号