类的状态自动测试平台研究
| 第一章 绪论 | 第1-18页 |
| ·立题背景 | 第7-9页 |
| ·面向对象程序的特点对软件测试的影响 | 第9-13页 |
| ·封装和信息隐蔽对测试的影响 | 第10页 |
| ·继承对测试的影响 | 第10-11页 |
| ·多态性和动态绑定对测试的影响 | 第11-13页 |
| ·面向对象程序的软件测试 | 第13-16页 |
| ·面向对象的软件测试技术 | 第13-15页 |
| ·基于UML的类状态测试 | 第15-16页 |
| ·本文的目标和主要工作 | 第16-18页 |
| 第二章 类状态测试模型 | 第18-26页 |
| ·类状态可测试模型——FREE模型 | 第18-20页 |
| ·测试模型检查与构造 | 第20-25页 |
| ·确定性检查 | 第20-21页 |
| ·一致性检查 | 第21-23页 |
| ·完备性检查与构造 | 第23-25页 |
| ·小结 | 第25-26页 |
| 第三章 CppTestIDE系统结构 | 第26-35页 |
| ·覆盖准则 | 第26-29页 |
| ·结构测试准则 | 第27页 |
| ·功能测试准则 | 第27-29页 |
| ·状态测试覆盖准则 | 第29页 |
| ·覆盖准测的选取 | 第29页 |
| ·CppTestIDE系统功能和结构 | 第29-31页 |
| ·系统数据交换文件 | 第31-33页 |
| ·状态机描述DTD文件 | 第31-33页 |
| ·测试用例描述DTD文件 | 第33页 |
| ·小结 | 第33-35页 |
| 第四章 CppTestIDE系统设计与实现 | 第35-56页 |
| ·UML文本扫描器的设计与实现 | 第35-43页 |
| ·UML状态图中的类间关系 | 第35-37页 |
| ·UML状态图的LALR(1)文法 | 第37-40页 |
| ·词法分析类Lexer设计 | 第40-41页 |
| ·语法分析类Parser设计 | 第41-42页 |
| ·用BISON++生成类 | 第42-43页 |
| ·测试用例生成 | 第43-45页 |
| ·测试用例类的定义 | 第43-44页 |
| ·手工生成测试用例 | 第44-45页 |
| ·测试装置生成器 | 第45-49页 |
| ·测试装置类间关系 | 第45-46页 |
| ·测试者基类Tester的定义 | 第46-47页 |
| ·测试者类CUTTester构造 | 第47-48页 |
| ·Main()函数构造 | 第48-49页 |
| ·代码插装器 | 第49-51页 |
| ·C++文法改写 | 第49-50页 |
| ·探针函数 | 第50-51页 |
| ·其他装置 | 第51页 |
| ·示例 | 第51-55页 |
| ·状态图和代码实现正确时测试示例 | 第52-53页 |
| ·状态图正确和代码实现有误时测试示例 | 第53-54页 |
| ·状态图存在缺陷和代码实现正确时测试示例 | 第54-55页 |
| ·小结 | 第55-56页 |
| 第五章 总结 | 第56-59页 |
| 致谢 | 第59-60页 |
| 参考文献 | 第60-64页 |
| 在校期间发表论文 | 第64页 |
