面向对象类级的一种变异体及其相应的测试充分性
绪论 | 第1-10页 |
第一章 软件测试概论 | 第10-16页 |
·软件测试概念与认识误区 | 第10页 |
·软件测试基本方法 | 第10-11页 |
·黑盒测试法 | 第10-11页 |
·白盒测试法 | 第11页 |
·测试过程及组织 | 第11-12页 |
·测试方法应用 | 第12页 |
·面向对象软件测试 | 第12-16页 |
·面向对象程序特点 | 第12-14页 |
·面向对象程序测试复杂性 | 第14页 |
·面向对象程序测试层次性 | 第14-16页 |
第二章 变异测试及其与面向对象类级测试的结合 | 第16-21页 |
·植错性测试原理 | 第16页 |
·面向对象植错工具的实现 | 第16-17页 |
·变异测试原理 | 第17-19页 |
·变异方法在类级测试中的应用 | 第19页 |
·本文主要工作、创新点或难点 | 第19-21页 |
第三章 面向对象类级变异体的生成算法 | 第21-33页 |
·算法的提出 | 第21-26页 |
·一般00变异测试中的不足 | 第21页 |
·当前类级测试概述 | 第21-23页 |
·类测试用例构件化及组成 | 第23-24页 |
·类测试过程 | 第24-25页 |
·类测试程度 | 第25页 |
·确定类测试用例及驱动 | 第25页 |
·软件内建自测试及其在本文的运用 | 第25-26页 |
·如何产生语法正确的变异体 | 第26页 |
·变异体生成算法 | 第26-29页 |
·属性变异 | 第26-27页 |
·方法变异 | 第27-28页 |
·测试充分性 | 第28-29页 |
·算法的分析与评价 | 第29页 |
·小例子:“HelloWold”程序测试 | 第29-33页 |
第四章 系统原型框架设计与实现 | 第33-38页 |
·测试系统框架概述 | 第33页 |
·原型系统工作步骤 | 第33-38页 |
·工作步骤 | 第33-35页 |
·原型系统分析、设计及各模块说明 | 第35-38页 |
第五章 系统设计与实现的主要技术 | 第38-45页 |
·语法扫描 | 第38-40页 |
·输入输出流处理 | 第40-41页 |
·正则表达式与字串的比较 | 第41-42页 |
·反射Reflect | 第42-45页 |
第六章 程序实例及运行结果 | 第45-53页 |
·程序实例一 | 第45-48页 |
·程序实例二 | 第48-50页 |
·程序实例三 | 第50-53页 |
第七章 结束语 | 第53-54页 |
致谢 | 第54-55页 |
参考文献 | 第55-57页 |
附录 本人在研究生学习期间发表的论文 | 第57页 |