基于UML的CPN模型在软件测试中的应用
| 摘要 | 第1-5页 |
| ABSTRACT | 第5-9页 |
| 第一章 绪论 | 第9-18页 |
| ·立题背景 | 第9页 |
| ·面向对象软件测试的特点和现状 | 第9-13页 |
| ·面向对象软件特点对测试的影响 | 第9-11页 |
| ·面向对象软件的测试范围划分 | 第11-12页 |
| ·面向对象软件测试的覆盖准则 | 第12-13页 |
| ·基于规约的软件测试 | 第13-16页 |
| ·基于规约的软件测试的优点 | 第13页 |
| ·基于规约的软件测试的研究现状 | 第13-15页 |
| ·基于模型的软件测试 | 第15-16页 |
| ·本文主要工作和章节安排 | 第16-18页 |
| 第二章 基于UML软件测试 | 第18-28页 |
| ·基于UML的软件测试研究现状 | 第18-20页 |
| ·基于UML的类测试 | 第20-23页 |
| ·UML状态图的概念 | 第20-21页 |
| ·UML状态图的应用 | 第21-23页 |
| ·基于UML的簇级测试 | 第23-26页 |
| ·UML顺序图的概念 | 第23-25页 |
| ·UML顺序图的应用 | 第25-26页 |
| ·对UML状态图和顺序图的扩展 | 第26-28页 |
| ·UML状态图的形式化定义 | 第26-27页 |
| ·添加UML状态图和顺序图的约束 | 第27-28页 |
| 第三章 基于UML的CPN模型 | 第28-36页 |
| ·Petri网概念 | 第28-31页 |
| ·CPN概念 | 第31-32页 |
| ·抽象CPN模型的概念 | 第32-36页 |
| ·对象网模型 | 第33-34页 |
| ·对象连接模型 | 第34-36页 |
| 第四章 从UML模型构造CPN模型 | 第36-47页 |
| ·构造步骤 | 第36页 |
| ·展平状态图 | 第36-38页 |
| ·构造对象连接模型 | 第38-39页 |
| ·构造对象网模型 | 第39-42页 |
| ·构造软件模型 | 第42-43页 |
| ·一个自动售票系统的实例 | 第43-47页 |
| 第五章 实现及支持工具 | 第47-59页 |
| ·研究假定 | 第47页 |
| ·测试框架 | 第47-48页 |
| ·测试用例生成 | 第48-50页 |
| ·覆盖准则 | 第48-50页 |
| ·测试消息序列的生成 | 第50页 |
| ·模型自动生成工具 | 第50-57页 |
| ·工具的设计 | 第50-51页 |
| ·工具的实现 | 第51-57页 |
| ·其他工具的设计与实现 | 第57-59页 |
| ·测试消息序列生成工具 | 第57页 |
| ·代码插装和信息比较工具 | 第57-59页 |
| 第六章 结论与展望 | 第59-60页 |
| 参考文献 | 第60-62页 |
| 致谢 | 第62-63页 |
| 攻读学位期间发表的学术论文目录 | 第63页 |
