航天嵌入式软件任务剖面建模研究
| 摘要 | 第1-5页 |
| 英文摘要 | 第5-8页 |
| 第一章 引言 | 第8-11页 |
| 第二章 基本概念和理论介绍 | 第11-28页 |
| ·软件任务剖面的相关概念和理论 | 第11-23页 |
| ·软件可靠性测试 | 第11-13页 |
| ·软件可靠性测试概念 | 第11页 |
| ·软件可靠性测试流程 | 第11-13页 |
| ·软件任务剖面 | 第13-20页 |
| ·任务剖面的实施过程 | 第13-15页 |
| ·系统模式剖面 | 第15-16页 |
| ·系统模式划分依据 | 第16页 |
| ·系统模式发生概率 | 第16页 |
| ·功能剖面 | 第16-18页 |
| ·确定功能个数 | 第17-18页 |
| ·功能发生概率 | 第18页 |
| ·操作剖面 | 第18-19页 |
| ·软件任务剖面 | 第19-20页 |
| ·Markov 链理论 | 第20-23页 |
| ·UML 基本概念 | 第23-28页 |
| ·UML 简介 | 第23-26页 |
| ·OCL 简介 | 第26-28页 |
| 第三章 任务剖面建模方法研究 | 第28-43页 |
| ·用户需求模型 | 第28-40页 |
| ·方案选择 | 第28-31页 |
| ·Rational Rose 建模 | 第28-30页 |
| ·自定义建模 | 第30-31页 |
| ·自定义图形介绍 | 第31-35页 |
| ·活动图 | 第31-33页 |
| ·活动图定义 | 第31-32页 |
| ·活动图表示 | 第32-33页 |
| ·顺序图 | 第33-35页 |
| ·顺序图定义 | 第34页 |
| ·顺序图表示 | 第34-35页 |
| ·用户需求模型示例 | 第35-40页 |
| ·系统模式剖面 | 第35-37页 |
| ·功能剖面（用例剖面） | 第37-38页 |
| ·操作剖面（场景剖面） | 第38-40页 |
| ·任务剖面模型 | 第40-41页 |
| ·任务剖面的表示方法 | 第40页 |
| ·任务剖面的转换算法 | 第40-41页 |
| ·测试用例自动生成 | 第41-43页 |
| 第四章 原型系统的设计与开发 | 第43-53页 |
| ·原型系统需求分析 | 第43-45页 |
| ·系统业务流程概述 | 第43页 |
| ·原型系统功能 | 第43-45页 |
| ·原型系统设计 | 第45-51页 |
| ·原型系统的软件结构 | 第45页 |
| ·原型系统主要类的设计 | 第45-48页 |
| ·系统模式剖面类 | 第45-46页 |
| ·功能剖面类 | 第46-47页 |
| ·操作剖面类 | 第47-48页 |
| ·原型系统主要用户界面 | 第48-51页 |
| ·用户需求模型建模用户界面 | 第48-50页 |
| ·任务剖面建模的用户界面 | 第50-51页 |
| ·测试用例生成 | 第51-53页 |
| 第五章 原型系统的改进与扩展 | 第53-54页 |
| 第六章 结束语 | 第54-56页 |
| 主要参考文献 | 第56-58页 |
| 收录和发表论文 | 第58-59页 |
| 致谢 | 第59页 |
