软件内建自测试中模板和基准程序设计

摘要

软件内建自测试摈弃了传统的独立的手工测试方法,提出在软件开发过程中通过模板与程序开发人员交互得到有用的测试信息并将其保存在模板中,然后编写程序自动从模板导出测试用例,自动运行测试用例进行测试的自动测试方法.该论文主要讨论模板的设计.论文提出了可信系统并阐述了其特点,然后根据可信系统的特点提出建立可信模板系统和建立步骤.论文还给出了模板的概念、模板的内容、模板内容的组织、模板与程序员交互的机制和模板的参数.论文提出并设计了基准程序来计算模板的参数以便于评测、挑选模板及判断模板的可信性.基准程序是根据某类程序的特点来设计的一系列特殊程序.它的提出是受基准电路的启发,基准电路是一组专门设计的电路,用以评测了各种硬件测试算法,它很好地达到了预期效果.我们希望所设计的基准程序也能很好的解决模板的评测问题.最后论文根据以上理论的指导,为科学计算程序建立了一系列的基准程序,然后设计和实现了科学计算程序的测试模板,利用基准程序计算了模板的特征参数并验证了所设计科学计算程序的测试模板的可信性.

目录

文摘

英文文摘

第一章引言

1.1硬件测试

1.1.1硬件测试概述

1.1.2硬件测试的可测性设计

1.2软件测试

1.2.1软件测试的概念

1.2.2软件测试方法的分类

1.2.3软件测试策略

1.2.4软件测试的发展

1.3本章小结

第二章 软件内建自测试

2.1软、硬件测试共识

2.2软件内建自测试总体介绍

2.3本章小结

第三章软件自测试中的模板

3.1可信系统、模板和可信模板

3.2模板和可信模板

3.2.1模板和可信模板的概念

3.2.2可信模板的特点

3.3模板设计的原则和设计步骤

3.4模板的内容及其在测试中的作用

3.4.1Checkpoint

3.4.2桩模块和驱动模块

3.4.3程序块的结构

3.4.4黑盒故障探测对

3.5模板内容的组织以及其运行机制(用数据结构表示)

3.6模板内容的获得和使用(与程序员和测试人员的交互)

3.7模板的特点和分类

3.8模板的参数描述

3.9可信的模板设计

3.10本章小结

第四章 基准程序

4.1问题的提出

4.2硬件测试当年的困惑和启示

4.3基准程序的定义和设计步骤

4.4基准程序的参数描述

4.5使用基准程序解决上述问题

4.6设计可信模板系统的详细步骤描述

4.7本章小结

第五章科学计算程序模板和基准程序设计实例

5.1科学计算程序的基准程序

5.2科学计算程序的模板

5.2.1模板底层数据库的设计

5.2.2模板交互层的设计

5.3.3判定设计的模板是否为可信模板

5.3本章小结

第六章结论

参考文献

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

致谢