程序切片技术研究及其在软件测试数据生成中的应用

论文题目: 程序切片技术研究及其在软件测试数据生成中的应用

论文类型: 硕士论文

论文专业: 计算机应用技术

作者: 王雪莲

导师: 赵瑞莲

关键词: 程序切片,动态程序切片,前向分析,测试数据生成

文献来源: 北京化工大学

发表年度: 2005

论文摘要: 软件测试作为保证软件质量,提高软件可靠性的重要手段,在软件开发过程中起着不可替代的作用,而测试数据生成则是软件测试的核心与关键。实际测试活动中,往往要求能达到一定程度的路径覆盖。因此,探讨采用一种辅助生成路径测试数据的有效手段,具有十分重要的意义。程序切片技术是一种分析和理解程序的技术,具有可以简化问题,缩小目标范围的特点,在软件维护、程序调试、测试、代码理解等诸多领域有着广泛的应用。本文全面系统地阐述了程序切片技术并研究了现有的研究成果,在已有动态切片算法基础上,引入了支配关系这一概念,提出了一种新的基于前向分析的动态切片算法。通过引入支配关系表示出程序中谓词的覆盖范围,由支配关系的传递性,清晰地表示出源程序的程序结构;从而实现了对每条语句或语句块而言,只要关心在动态执行过程中语句或语句块的本身,该语句或语句块有无支配点以及邻近支配点的执行情况即可判断出该语句是否应包含在相应的切片中。实验表明,这种切片算法是行之有效的。此外,本文将动态程序切片技术应用于软件测试数据的自动生成中,以提高测试数据的生成效率。通过计算程序中关于分支节点(兴

论文目录:

摘要

ABSTRACT

符号说明

第一章绪论

1.1 课题研究的背景和意义

1.2 国内外的研究现状和发展动态

1.2.1 测试数据生成方法

1.2.2 程序切片技术

1.3 本文的主要工作及组织结构

1.3.1 研究目标及内容

1.3.2 本文的组织结构

1.4 本章小结

第二章程序切片技术

2.1 程序切片技术简介

2.1.1 程序切片技术发展历史

2.1.2 程序切片技术的应用

2.2 程序切片定义

2.3 程序切片分类

2.3.1 静态切片和动态切片

2.3.2 前向切片和后向切片

2.3.3 过程内切片和过程间切片

2.4 程序切片准则

2.5 程序切片算法

2.5.1 常用的静态切片算法

2.5.2 常用的动态切片算法

2.6 本章小结

第三章基于前向分析的动态切片算法的研究

3.1 现有动态程序切片算法的不足

3.2 基本术语

3.3 动态切片算法思想

3.4 动态切片算法的形式描述

3.5 实例分析

3.6 本章小结

第四章动态程序切片技术在测试数据生成中的应用

4.1 基于路径的测试数据生成

4.1.1 分支函数

4.1.2 测试数据生成过程

4.1.3 输入变量的调整方式

4.2 基于程序切片技术的测试数据生成

4.3 应用动态切片技术的动因

4.4 一种测试数据生成系统框架

4.1.1 系统框架

4.4.2 测试数据生成系统工作流程

4.5 设计实现

4.5.1 预处理模块实现

4.5.2 计算动态程序切片实现

4.5.3 数据调整模块实现

4.6 实例说明

4.7 本章小结

第五章结束语

5.1 本文的主要工作

5.2 进一步的工作

参考文献

附录Ⅰ

致谢

攻读学位期间发表的论文目录

发布时间: 2005-09-26

参考文献

[1].基于热路径的程序切片技术在错误定位中的应用[D]. 肖燕.湖南大学2011
[2].模型切片技术及其在软件演化领域的应用[D]. 李扬.沈阳化工大学2018
[3].特定领域环境下软件切片技术的研究[D]. 苏永辉.兰州理工大学2010
[4].基于动态二进制程序切片技术的软件攻击诊断[D]. 黄山.上海交通大学2012
[5].基于切片技术的软件理解辅助系统设计与实现[D]. 孙洪浩.大连理工大学2007
[6].面向方面程序切片技术及其在测试数据生成中的应用[D]. 黄静.苏州大学2011
[7].基于过程蓝图的程序切片技术研究[D]. 陈春晓.汕头大学2007
[8].基于程序切片的软件测试研究[D]. 王磊.河北工业大学2007
[9].基于指令执行记录的二进制程序动态切片技术[D]. 张毅超.浙江大学2008
[10].面向路径的软件测试数据生成方法的研究[D]. 韩炫.电子科技大学2011

程序切片技术研究及其在软件测试数据生成中的应用

猜你喜欢