基于缺陷模式的自动测试技术及约束满足问题的研究

摘要

随着计算机技术的飞速发展，人们对计算机的需求和依赖与日俱增。计算机软件的应用领域正在进一步的扩大，伴随而来的就是软件的规模和复杂性的不断增加，这给软件测试提出了更高的要求。软件测试自动化是提高软件测试效率的有效手段，自动化应该体现软件测试的各个阶段，尤其是缺陷的自动检测以及测试数据的自动生成，其中后者涉及的领域更大，而约束满足问题是其中最为重要的环节之一，所以对于约束问题的研究具有重要的理论意思和广阔的应用前景。 本文提出了一种基于缺陷模式的软件缺陷自动检测方法，并在此基础上，设计和实现了一个基于状态机的缺陷检测系统---DTSJAVA，该系统通过JACC自动生成JAVA源程序的分析器，并在此基础上构造抽象语法树、控制流图等，最后，我们使用缺陷模型状态机技术，自主开发了该自动检测系统。并就约束满足问题进行了深入的研究，同时开发了面向JAVA程序缺陷的约束提取原型。实验结果表明，该系统是准确、高效、切实可行的。

目录

文摘

英文文摘

声明

第一章绪论

1.1选题背景、目的和意义

1.2本文的主要研究内容

1.3本文的组织结构

第二章软件测试方法及研究概况

2.1软件测试

2.1.1软件测试的定义

2.1.2软件测试的原则

2.2软件测试技术及方法

2.2.1静态测试与动态测试

2.2.2白盒测试方法与测试用例设计

2.2.3黑盒测试方法与测试用例设计

2.3基于缺陷模型的软件测试技术

2.3.1缺陷模式及其技术特点

2.3.2基于缺陷模式的软件测试指标分析

2.3.3缺陷模式

第三章自动化测试技术简介

3.1动态分析

3.2静态分析

3.3基于白盒的测试自动生成

3.3.1基于路径的测试生成技术

3.4黑盒测试自动生成

第四章基于缺陷模式的自动测试系统-DTSJAVA

4.1系统结构

4.2 DTSJAVA抽象语法树

4.2.1简述

4.2.2组成结构

4.2.3 LL分析方法和JavaCC简介

4.3 DTSJAVA控制流图

4.3.1简述

4.3.2组成结构

4.4 DTSJAVA区间运算

4.4.1简述

4.4.2组成结构

4.5扩展的有限状态自动机与缺陷检测

4.5.1简述

4.5.2故障描述状态机

4.5.3故障描述语言

4.5.4模式分析引擎

4.5.5组成结构

4.6检测结果

第五章测试中约束满足问题简介

5.1基本概念

5.2有限域上的约束问题的求解算法

5.2.1命题逻辑—-SAT算法

5.2.2谓词逻辑—-阶谓词逻辑

5.3无限域上的约束问题的求解算法

5.3.1线性约束

5.3.2非线性约束

5.3.3最优化在解数值约束中的应用

5.4约束求解工具

5.4.1 lp_solve

5.4.2 MATLAB

5.5面向缺陷的约束提取

5.5.1 Visitor模式

5.5.2处理流程

第六章结束语

6.1本文的主要贡献

6.2进一步工作

参考文献

致谢

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