基于UML协作图的测试序列生成方法研究
| 摘要 | 第1-6页 |
| Abstract | 第6-9页 |
| 第1章 绪论 | 第9-13页 |
| ·论文选题的科学意义和应用前景 | 第9-10页 |
| ·研究领域现状 | 第10-11页 |
| ·本文研究内容和论文组织 | 第11-12页 |
| ·研究内容 | 第11-12页 |
| ·论文组织 | 第12页 |
| ·本章小结 | 第12-13页 |
| 第2章 软件测试技术概述 | 第13-22页 |
| ·软件测试重要性 | 第13-15页 |
| ·软件测试的目的 | 第15-17页 |
| ·软件测试的原则性 | 第17-18页 |
| ·软件测试的过程 | 第18页 |
| ·软件测试的分类 | 第18-21页 |
| ·本章小结 | 第21-22页 |
| 第3章 面向对象的软件测试 | 第22-29页 |
| ·面向对象软件的特点 | 第22-23页 |
| ·面向对象软件测试的新要求 | 第23-25页 |
| ·面向对象的测试过程 | 第25-27页 |
| ·单元测试 | 第25-26页 |
| ·集成测试 | 第26-27页 |
| ·确认测试 | 第27页 |
| ·系统测试 | 第27页 |
| ·验收测试 | 第27页 |
| ·本章小结 | 第27-29页 |
| 第4章 基于模型的软件测试 | 第29-40页 |
| ·基于模型的软件测试的特点 | 第29页 |
| ·软件测试的模型 | 第29-37页 |
| ·基于有限状态机的模型测试 | 第30-33页 |
| ·基于状态图的模型测试 | 第33页 |
| ·基于活动图的模型测试 | 第33-34页 |
| ·基于马尔科夫链的模型测试 | 第34-35页 |
| ·基于UML 模型的软件测试 | 第35-37页 |
| ·基于语法模型的软件测试 | 第37页 |
| ·基于模型的软件测试的优势 | 第37-38页 |
| ·基于模型的软件测试的劣势 | 第38-39页 |
| ·本章小结 | 第39-40页 |
| 第5章 基于UML 协作图的软件测试研究 | 第40-49页 |
| ·协作图的语义 | 第40页 |
| ·协作图中的组成元素 | 第40-43页 |
| ·协作图中的对象 | 第41页 |
| ·协作图中的链 | 第41-42页 |
| ·协作图中的消息 | 第42-43页 |
| ·基于协作图的测试序列生成方法 | 第43-48页 |
| ·IRCFG 的类信息扩展 | 第43-44页 |
| ·带类信息的IRCFG 的多态性扩展 | 第44-46页 |
| ·基于PCIRCFG 的测试序列生成方法 | 第46-48页 |
| ·本章小结 | 第48-49页 |
| 第6章 基于协作图的测试序列生成工具设计 | 第49-58页 |
| ·数据库表的设计 | 第49-50页 |
| ·界面设计 | 第50-52页 |
| ·编码设计 | 第52-55页 |
| ·测试序列覆盖率验证 | 第55-57页 |
| ·本章小结 | 第57-58页 |
| 结论 | 第58-60页 |
| 总结 | 第58-59页 |
| 未来工作展望 | 第59-60页 |
| 致谢 | 第60-61页 |
| 参考文献 | 第61-64页 |
| 作者简介 | 第64-65页 |
| 攻读硕士学位期间发表的论文和科研成果 | 第65-66页 |
