基于UML模型的软件测试技术研究与实现
| 摘要 | 第1-6页 |
| ABSTRACT | 第6-8页 |
| 目录 | 第8-12页 |
| 第一章 绪论 | 第12-20页 |
| ·技术背景 | 第12-16页 |
| ·软件测试各种方法的优缺点 | 第12-14页 |
| ·软件测试的重点与难点：测试用例的选择 | 第14页 |
| ·软件测试与软件开发过程 | 第14-15页 |
| ·可视化面向对象建模方法 | 第15-16页 |
| ·国内外研究动态 | 第16-17页 |
| ·论文主要研究内容及意义 | 第17-18页 |
| ·论文章节安排 | 第18-20页 |
| 第二章 基于模型的软件测试 | 第20-35页 |
| ·基于模型的软件测试和测试模型 | 第20-22页 |
| ·基于模型的软件测试 | 第20页 |
| ·软件测试模型 | 第20-22页 |
| ·基于模型的软件测试过程及支持工具 | 第22-25页 |
| ·分析理解被测试软件 | 第22页 |
| ·选择合适的测试模型 | 第22-23页 |
| ·构造测试模型 | 第23页 |
| ·生成和执行测试用例 | 第23-24页 |
| ·收集测试结果进行分析 | 第24页 |
| ·支持工具 | 第24-25页 |
| ·基于模型的软件测试的评价 | 第25-26页 |
| ·基于模型的软件测试的优势 | 第25页 |
| ·基于模型的软件测试的缺点 | 第25-26页 |
| ·统计测试 | 第26-33页 |
| ·马尔可夫链模型 | 第28-32页 |
| ·统计测试工具 | 第32-33页 |
| ·UML 模型在软件测试中的优势 | 第33-34页 |
| ·本章小结 | 第34-35页 |
| 第三章 UML 各模型的可测试性与测试策略分析 | 第35-44页 |
| ·UML 简介 | 第35-38页 |
| ·UML 的发展与内容 | 第35-36页 |
| ·UML 与软件过程 | 第36-38页 |
| ·模型的可测试性定义 | 第38页 |
| ·UML 各模型分析 | 第38-43页 |
| ·类图分析 | 第38-39页 |
| ·状态图分析 | 第39-40页 |
| ·用例图分析 | 第40-41页 |
| ·活动图分析 | 第41-43页 |
| ·交互图分析 | 第43页 |
| ·本章小结 | 第43-44页 |
| 第四章 基于UML 状态图的软件测试研究 | 第44-60页 |
| ·基于状态的测试过程 | 第44-46页 |
| ·有限状态机及UML 状态图的基本语法和语义 | 第46-50页 |
| ·由UML 状态图构造无冲突的EFSM | 第50-54页 |
| ·由UML 状态图构造EFSM | 第50页 |
| ·消除冲突的改进EFSM | 第50-54页 |
| ·行为冲突消除算法 | 第50-52页 |
| ·条件冲突消除算法 | 第52页 |
| ·举例 | 第52-54页 |
| ·依据EFSM 生成测试序列 | 第54-59页 |
| ·测试需求 | 第54-55页 |
| ·测试消息序列生成 | 第55-59页 |
| ·生成达到状态-转换覆盖的测试消息序列 | 第57-58页 |
| ·消息序列执行顺序排序 | 第58-59页 |
| ·本章小结 | 第59-60页 |
| 第五章 基于UML 模型的统计测试研究 | 第60-84页 |
| ·模型的转换和扩展 | 第60-61页 |
| ·由UML 模型获得使用模型 | 第61-70页 |
| ·卫星控制系统例子 | 第61-64页 |
| ·SCS 用例图 | 第61-62页 |
| ·用例场景 | 第62-64页 |
| ·确定用例的执行顺序 | 第64-65页 |
| ·给UML 模型添加约束条件 | 第65-66页 |
| ·产生单个用例的使用模型 | 第66-69页 |
| ·添加约束的用例 | 第66-67页 |
| ·获取单个用例的使用模型 | 第67-69页 |
| ·获取系统的使用模型 | 第69-70页 |
| ·由实时系统的UML 模型产生使用模型 | 第70-80页 |
| ·UML 模型的形式化定义 | 第70-72页 |
| ·用例场景和时间约束 | 第70页 |
| ·用例图和顺序图的形式化定义 | 第70-72页 |
| ·卫星控制系统例子 | 第72-74页 |
| ·从实时系统的UML 模型获取使用模型 | 第74-80页 |
| ·使用模型的形式化定义 | 第74页 |
| ·给UML 模型添加约束条件 | 第74-75页 |
| ·产生单个用例的使用模型 | 第75-78页 |
| ·产生系统的使用模型 | 第78-80页 |
| ·测试用例的产生 | 第80-81页 |
| ·测试充分性度量 | 第81-82页 |
| ·本章小结 | 第82-84页 |
| 第六章 软件统计测试辅助工具的设计与实现 | 第84-99页 |
| ·总体设计 | 第84-88页 |
| ·使用模型构造器的实现 | 第88-94页 |
| ·使用模型的表示 | 第88-90页 |
| ·使用模型编辑器 | 第90-92页 |
| ·由UML 模型导出使用模型 | 第92-94页 |
| ·静态参数分析器的实现 | 第94-95页 |
| ·选择要分析的静态参数类型 | 第94-95页 |
| ·测试用例产生器的实现 | 第95-98页 |
| ·测试用例的表示 | 第96-97页 |
| ·测试用例自动生成框架 | 第97-98页 |
| ·本章小结 | 第98-99页 |
| 第七章 结束语 | 第99-101页 |
| ·成果与创新 | 第99-100页 |
| ·不足与展望 | 第100-101页 |
| 致谢 | 第101-102页 |
| 参考文献 | 第102-106页 |
| 攻硕期间取得的研究成果 | 第106页 |
| 个人简历 | 第106页 |
| 科研 | 第106页 |
| 论文发表 | 第106页 |
| 获奖 | 第106页 |
