基于动态行为模型的构件及组装测试的研究
| 摘要 | 第1-6页 |
| Abstract | 第6-15页 |
| 第一章 绪论 | 第15-24页 |
| ·引言 | 第15-16页 |
| ·问题的提出 | 第16-20页 |
| ·构件技术简介 | 第16-17页 |
| ·构件系统测试 | 第17-19页 |
| ·目前存在的问题 | 第19-20页 |
| ·本文的主要研究工作 | 第20-22页 |
| ·本文的内容安排 | 第22-24页 |
| 第二章 相关知识 | 第24-33页 |
| ·接口自动机 | 第24-28页 |
| ·接口自动机简介 | 第24-25页 |
| ·接口自动机的形式化描述 | 第25-28页 |
| ·构件 | 第28-29页 |
| ·测试用例 | 第29-32页 |
| ·测试用例的表示方法 | 第29页 |
| ·测试用例的生成过程 | 第29-32页 |
| ·本章小结 | 第32-33页 |
| 第三章 接口自动机模型的生成与测试 | 第33-55页 |
| ·UML 状态图转换为接口自动机 | 第33-46页 |
| ·引言 | 第33-34页 |
| ·相关研究 | 第34-35页 |
| ·UML 状态图与接口自动机分析 | 第35-37页 |
| ·转换规则和转换过程 | 第37-44页 |
| ·实例分析 | 第44-46页 |
| ·接口自动机模型的测试 | 第46-54页 |
| ·模型测试的相关研究 | 第46-47页 |
| ·接口自动机的测试过程 | 第47-53页 |
| ·实例验证 | 第53-54页 |
| ·本章小结 | 第54-55页 |
| 第四章 基于动态行为模型的构件测试 | 第55-67页 |
| ·引言 | 第55页 |
| ·相关研究 | 第55-56页 |
| ·概念及符号表示 | 第56-58页 |
| ·基于运行场景的构件测试 | 第58-62页 |
| ·基于简单运行的测试准则 | 第58-60页 |
| ·构件运行场景生成算法 | 第60-62页 |
| ·实例验证 | 第62-65页 |
| ·本章小结 | 第65-67页 |
| 第五章 基于测试用例组合的构件组装测试 | 第67-89页 |
| ·引言 | 第67-68页 |
| ·利用测试用例组合生成构件组装测试用例 | 第68-79页 |
| ·测试用例组合有效性分析 | 第69-74页 |
| ·构件组装测试用例的生成方法 | 第74-79页 |
| ·基于测试用例组合的构件组装测试过程 | 第79-82页 |
| ·构件测试用例组合的要求 | 第79-81页 |
| ·构件组装测试过程 | 第81-82页 |
| ·实例与分析 | 第82-87页 |
| ·IT-on-CUTC 过程 | 第82-86页 |
| ·结果比较分析 | 第86-87页 |
| ·本章小结 | 第87-89页 |
| 第六章 测试驱动的构件组装过程研究 | 第89-101页 |
| ·引言 | 第89-90页 |
| ·相关研究 | 第90-91页 |
| ·TD-CBSD 模型 | 第91-94页 |
| ·TDCC 过程 | 第94-97页 |
| ·构件组装测试用例的生成 | 第94-96页 |
| ·TDCC 过程描述 | 第96-97页 |
| ·实例分析 | 第97-100页 |
| ·本章小结 | 第100-101页 |
| 第七章 构件组装测试工具的设计 | 第101-106页 |
| ·相关研究简介 | 第101-102页 |
| ·设计思想 | 第102页 |
| ·系统的框架结构和工作流程 | 第102-105页 |
| ·本章小结 | 第105-106页 |
| 第八章 总结 | 第106-108页 |
| ·本文的主要工作 | 第106-107页 |
| ·进一步的研究展望 | 第107-108页 |
| 参考文献 | 第108-116页 |
| 致谢 | 第116-117页 |
| 在学期间的研究成果及发表的学术论文 | 第117页 |
