| 摘要 | 第1-6页 |
| Abstract | 第6-9页 |
| 第1章 绪论 | 第9-15页 |
| ·课题的研究意义 | 第9-10页 |
| ·本课题研究技术背景 | 第10-13页 |
| ·嵌入式软件的特点 | 第10页 |
| ·UML建模技术的发展及概述 | 第10-11页 |
| ·软件可靠性测试技术的发展及概况 | 第11-12页 |
| ·软件可靠性评价技术的发展及概况 | 第12-13页 |
| ·本文研究的主要内容及安排 | 第13-15页 |
| 第2章 嵌入式软件可靠性测试 | 第15-25页 |
| ·嵌入式软件可靠性测试基础 | 第16-19页 |
| ·嵌入式软件可靠性测试概念 | 第16-17页 |
| ·嵌入式软件可靠性测试过程 | 第17-18页 |
| ·嵌入式软件可靠性增长测试 | 第18页 |
| ·嵌入式软件可靠性验证测试过程 | 第18-19页 |
| ·两种常用的嵌入式软件可靠性测试方法 | 第19-24页 |
| ·基于功能分解的嵌入式软件可靠性测试 | 第19-20页 |
| ·基于顺序图的嵌入式软件集成测试 | 第20-24页 |
| ·小结 | 第24-25页 |
| 第3章 基于UML的软件可靠性设计和测试 | 第25-41页 |
| ·基于IEC61508-3的嵌入式软件系统设计 | 第25-27页 |
| ·使用模型的创建过程和表示 | 第27-30页 |
| ·使用模型的创建 | 第27-29页 |
| ·使用模型的表示方式 | 第29-30页 |
| ·基于使用模型的嵌入式软件可靠性测试 | 第30-40页 |
| ·生成MARKOV链使用模型 | 第30-33页 |
| ·计算MARKOV链使用模型的测试覆盖率 | 第33-34页 |
| ·为MARKOV链使用模型的添加可测性约束 | 第34-40页 |
| ·生成测试用例 | 第40页 |
| ·小结 | 第40-41页 |
| 第4章 基于HART的智能压力变送器的软件可靠性研究 | 第41-60页 |
| ·基于HART的智能仪表的软件分析 | 第41-43页 |
| ·软件故障的特点 | 第42-43页 |
| ·故障类型 | 第43页 |
| ·HART变送器软件故障树分析 | 第43-45页 |
| ·UML对HART变送器软件系统建模 | 第45-50页 |
| ·系统用例图 | 第45-46页 |
| ·系统交互作用图 | 第46-47页 |
| ·软件系统设计 | 第47-48页 |
| ·系统用例场景 | 第48-50页 |
| ·通信状态图 | 第50页 |
| ·生成使用模型 | 第50-54页 |
| ·计算测试覆盖率 | 第54-58页 |
| ·自动生成测试用例 | 第58-59页 |
| ·小结 | 第59-60页 |
| 第5章 总结与展望 | 第60-62页 |
| ·本文的总结 | 第60页 |
| ·工作展望 | 第60-62页 |
| 参考文献 | 第62-65页 |
| 致谢 | 第65-66页 |
| 攻读硕士期间发表的学术论文 | 第66页 |