软件内建自测试中测试用例的自动/半自动生成

摘要

目前,上海大学计算机学院徐拾义教授提出了一种崭新的软件测试方法—软件内建自测试技术(Built-in-self-test for software,简称软件BIST),并申请为国家自然基金项目.该方法分析了软、硬件测试的一致性,提出了将在硬件测试中广泛应用的硬件测试的内建自测试技术用于软件测试当中来.这种新方法包括两部分:模板和自治测试部分.即在软件编程之前就应该完成相关的测试计划,并在软件开发的过程中,要求程序员往模板中填写相应的信息,以便测试用例的生成.最后,根据填写的信息和测试用例生成测试程序.这样,被开发程序便实现了自测试.作为该项目的一部分,该论文主要讨论:测试用例的自动/半自动生成以及软件故障模型的建立.在测试用例生成部分改进了黑盒和白盒测试方法实现了该过程的自动/半自动化;故障模型是一个新概念,和硬件故障模型以及数学模型不一样,其重要性在于对软件故障进行分类、维护和更新.另外,附录部分给出了相关的试验数据.软件内建自测试是软件测试中的一个新技术并具有非常深刻的意义.这种新方法为软件测试领域开拓了一个崭新的发展方向,通过将已经发展成熟的硬件内建自测试技术用于软件测试将有效地提高测试效率.因此,该方法将有广阔的发展前景.

目录

文摘

英文文摘

第一章引言

1.1软件测试

1.1.1软件测试概述

1.1.2软件测试的方法分类

1.1.3软件测试策略

1.2软件内建自测试

1.2.1软件内建自测试技术简介

1.2.2软件BIST技术结构框架

1.2.3课题的意义以及我在该课题中的任务

第二章静态测试方法

2.1静态测试方法相关概念

2.2静态分析器的实现

2.2.1规则的设计

2.2.2规则分析器

第三章测试用例的自动/半自动生成

3.1 概述

3.2测试用例相关概念

3.3测试用例生成系统中的随机数

3.4黑盒测试分析法中测试用例自动/半自动生成

3.4.1等价类划分法

3.4.2边值分析法

3.4.3黑盒测试方法中测试用例自动/半自动生成的伪代码

3.5白盒测试分析法生成测试用例

3.5.1程序结构分析

3.5.2基本路径二叉测试分析法

3.5.3白盒测试方法中测试用例自动/半自动生成的伪代码

3.6基本路径二叉分析法的路径覆盖率的分析

第四章故障模型的建立

4.1相关概念

4.2软件故障模型化

4.3故障模型的建立

第五章试验及试验结果

5.1静态分析器实例

5.2黑盒测试方法中测试用例自动/半自动生成实例

5.2.1黑盒测试方法中简单关系测试用例的生成

5.2.2黑盒测试方法中复杂关系测试用例的生成

5.3白盒测试方法中测试用例自动/半自动生成的实例

第六章课题的总结与展望

参考文献

作者攻读学位期间公开发表的论文

致谢

附录一：试验数据

附录二：软件测试工作流程图