软件测试方法研究

独创性声明	第1页
关于论文使用授权的说明	第2-3页
摘要	第3-4页
ABSTRACT	第4-6页
目录	第6-10页
第一章 绪论	第10-28页
·计算机系统的软件可靠性问题	第10-12页
·软件测试与软件可靠性	第12-13页
·软件测试的发展与研究现状	第13-22页
·基于规范的功能测试和基于程序的结构测试研究	第14-17页
·域测试策略研究	第17-19页
·面向对象的软件测试研究	第19-21页
·软件测试工具研究	第21-22页
·相关研究——程序切片技术	第22-24页
·本学位论文的研究内容	第24-28页
第二章 软件测试技术	第28-43页
·软件测试基本概念	第28-29页
·软件测试理论基础	第29-31页
·测试的充分性问题	第31-33页
·软件故障分类	第33-35页
·软件测试策略	第35-43页
·软件测试过程	第35-37页
·基于规范的功能测试——黑盒测试	第37页
·基于程序的结构测试——白盒测试	第37-39页
·面向对象的软件测试	第39-43页
·面向对象软件测试的主要困难	第39-41页
·面向对象的软件测试	第41-43页
第三章 基于规范和基于程序域分析的软件测试方法	第43-51页
·问题的提出	第43-44页
·程序运行域的自动确定	第44-46页
·功能域和运行域的域分析及测试数据生成	第46-48页
·字符串谓词边界的测试数据自动生成	第48-50页
·面向对象的软件测试探讨	第50-51页
第四章 程序运行域的自动确定	第51-66页
·基本概念	第51-53页
·运行域自动确定的实现	第53-61页
·建立源程序的各种表格	第54-55页
·基于输入变量的静态程序切片	第55-58页
·建立静态程序切片的各种表格	第58页
·程序运行域的自动确定	第58-61页
·特殊表达式输入变量奇异值的识别	第61-64页
·运行域自动确定系统ADSOD	第64-65页
·本章小结	第65-66页
第五章 功能域和运行域的域分析及测试数据生成	第66-89页
·概述	第66-67页
·域边界测试数据的选取原则	第67-69页
·基于功能域和运行域重合验证的测试数据生成	第69-71页
·子域的划分	第71-75页
·子域的划分	第71-73页
·程序路径的确定	第73-75页
·基于子域边界的测试数据生成	第75-77页
·简化的域测试策略	第75-76页
·子域边界的测试数据生成	第76-77页
·实例分析	第77-87页
·规范描述	第77-78页
·程序及其运行域	第78页
·功能域和运行域的重合验证	第78-81页
·基于域边界的测试数据生成	第81-84页
·测试需求	第81-82页
·测试用例	第82-83页
·测试响应	第83页
·测试集评估	第83-84页
·基于子域边界的测试数据生成	第84-87页
·本章小结	第87-89页
第六章 字符串谓词边界的测试数据自动生成	第89-104页
·域测试策略	第89-91页
·分支函数极小化的测试产生	第91-92页
·基于谓词的程序切片	第92-98页
·基于谓词的程序切片——谓词切片	第92-94页
·谓词切片的生成	第94-98页
·字符串ON-OFF测试点的自动生成	第98-101页
·实验分析	第101-103页
·本章小结	第103-104页
第七章 面向对象的软件测试探讨	第104-115页
·面向对象的软件	第104-105页
·外部类规范	第105-106页
·基于外部类规范的OO软件测试	第106-108页
·一个具体的OO软件测试实例	第108-114页
·本章小结	第114-115页
第八章 结论与进一步的工作	第115-118页
·结论	第115-117页
·今后工作的设想	第117-118页
参考文献	第118-128页
致谢	第128-129页
作者简介	第129-130页
作者在攻读博士学位期间发表的学术论文	第130页