嵌入式管控软件的可靠性设计与验证
| 摘要 | 第1-5页 |
| Abstract | 第5-8页 |
| 第1章 绪论 | 第8-13页 |
| ·引言 | 第8-10页 |
| ·研究背景及意义 | 第10-11页 |
| ·本课题研究的内容与目的 | 第11-13页 |
| 第2章 软件可靠性技术 | 第13-23页 |
| ·软件可靠性技术基础 | 第13-16页 |
| ·软件可靠性度量 | 第14-15页 |
| ·软件失效机理 | 第15-16页 |
| ·软件可靠性技术的内涵 | 第16页 |
| ·软件可靠性设计 | 第16-18页 |
| ·设计过程分析 | 第16-18页 |
| ·可靠性设计的四种类型 | 第18页 |
| ·软件可靠性测试 | 第18-23页 |
| ·软件可靠性测试概述 | 第18-20页 |
| ·软件可靠性定量指标 | 第20-21页 |
| ·软件可靠性测试常用方法 | 第21-23页 |
| 第3章 嵌入式管控软件可靠性设计 | 第23-40页 |
| ·嵌入式管控软件的可靠性分析 | 第23-26页 |
| ·嵌入式管控软件 | 第23-24页 |
| ·可靠性影响因素 | 第24-26页 |
| ·可靠性解决思路 | 第26页 |
| ·嵌入式管控软件可靠性设计 | 第26-40页 |
| ·设计方法 | 第26-28页 |
| ·模块化避错设计 | 第28-34页 |
| ·中断避错设计 | 第34-35页 |
| ·驱动避错设计 | 第35-36页 |
| ·软件移植避错设计 | 第36-37页 |
| ·定时器查错设计 | 第37-39页 |
| ·编码校验设计 | 第39-40页 |
| 第4章 嵌入式管控软件可靠性验证 | 第40-54页 |
| ·可靠性指标分配 | 第42-46页 |
| ·任务模块可靠性表示的转换 | 第46-47页 |
| ·基于统计理论的测评方法 | 第47-49页 |
| ·测试用例生成 | 第49-54页 |
| ·测试用例数的确定 | 第50-51页 |
| ·测试用例的构造 | 第51-54页 |
| 第5章 典型案例设计与验证 | 第54-88页 |
| ·案例简介 | 第54-55页 |
| ·设计过程与编码实现 | 第55-79页 |
| ·需求分析 | 第55-59页 |
| ·体系结构设计 | 第59-66页 |
| ·详细设计 | 第66-70页 |
| ·编码实现 | 第70-79页 |
| ·验证过程与结果分析 | 第79-88页 |
| ·软件可靠性指标分配 | 第79-82页 |
| ·测试用例生成 | 第82-84页 |
| ·测试执行和结果分析 | 第84-88页 |
| 总结 | 第88-91页 |
| 1 本文完成的主要工作 | 第88-89页 |
| 2 本论文未完成的工作 | 第89页 |
| 3 今后研究工作的展望 | 第89-91页 |
| 致谢 | 第91-92页 |
| 参考文献 | 第92-97页 |
| 攻读硕士学位期间发表的论文 | 第97页 |
