程序切片技术研究及其在软件回归测试中的应用

摘要

程序切片技术是一种分解程序的技术,可将一个复杂的大程序根据需要分解成满足计算需要的小程序,同时保持所选程序功能的相对完整性和计算结果的正确性.本文首先广泛、深入地研究了程序切片理论,对目前各种程序切片技术进行归纳总结,并简单介绍了几个程序切片工具.然后简要回顾了回归测试的基础理论及面临的问题,在此基础上,进一步研究了程序切片技术在降低回归测试成本方面的应用.根据对程序切片技术在回归测试领域内应用现状的分析,可知目前相关研究工作都没有区分回归测试所要检验的修改类型,可操作性不好,并且无法充分发挥程序切片技术的优点.为此,本文提出了一种利用

目录

文摘

英文文摘

承诺书

第一章绪论

1.1程序切片技术研究现状

1.2回归测试技术研究现状

1.3课题来源及研究内容

1.4本文组织安排

第二章程序切片技术

2.1程序切片概述

2.2静态程序切片技术

2.2.1过程内切片

2.2.2控制切片

2.2.3过程间切片

2.2.3调用上下文切片

2.3动态程序切片

2.3.1动态切片

2.3.2准静态切片

2.3.3相关切片

2.4无定形切片

2.5基于条件说明的程序切片

2.5.1 P一切片

2.5.2条件切片/正向条件切片

2.5.3逆向条件切片

2.5.4前/后条件切片

2.5.5基于说明的程序切片

2.6分解程序切片

2.7程序切片工具简介

2.7.1 Chopshop

2.7.2Ghinsu

2.7.3 Spyder

2.7.4 Unravel

2.7.5 VALSOFT

2.7.6 CodeSurfer

2.7.7 OST

2.7.8 ConSIT

2.8本章小结

第三章回归测试技术

3.1软件测试技术概述

3.2测试数据充分性准则

3.3回归测试用例选择

3.4选择性回归测试方法

3.5基于数据流的回归测试技术

3.6增量回归测试技术

3.7本章小结

第四章程序切片技术在回归测试中的应用

4.1动态切片技术

4.1.1执行切片技术

4.1.2动态切片技术

4.1.3相关切片技术

4.2依赖图技术

4.2.1基于控制切片的技术

4.2.2基于调用上下文切片的技术

4.2.3基于SDG的技术

4.3基于数据流的技术

4.4分解切片技术

4.5利用条件切片技术进一步降低回归测试成本

4.6本章小结

第五章利用程序切片降低回归测试成本的模型设计

5.1模型系统功能概述

5.2模型总体框架

5.3模型核心设计

5.3.1 SDG构造模型

5.3.2 Differences计算模型

5.3.3 Differences的测试套件选择模型

5.4本章小结

结束语

致谢

在学期间发表的论文

参考文献