自动测试软件的分析、测试及可靠性研究
| 中文摘要 | 第1-3页 |
| 英文摘要 | 第3-6页 |
| 第1章 绪论 | 第6-15页 |
| ·课题来源及意义 | 第6页 |
| ·软件可靠性评估的意义 | 第6-7页 |
| ·跨越软件可靠性分析中理论到实践的鸿沟 | 第7-13页 |
| ·可靠性分析在软件生命周期中所处的位置 | 第8-9页 |
| ·软件中的错误及可靠性 | 第9-12页 |
| ·论文中所采用的软件可靠性分析方法 | 第12-13页 |
| ·软件可靠性基本概念 | 第13-14页 |
| ·软件可靠性 | 第13页 |
| ·软件可靠性分析中的符号定义 | 第13-14页 |
| ·论文结构 | 第14-15页 |
| 第2章 ATE8000-1自动测试系统简介 | 第15-23页 |
| ·前言 | 第15页 |
| ·飞行管理计算机(FMC)介绍 | 第15-17页 |
| ·FMC的基本结构 | 第15-16页 |
| ·FMC的功能 | 第16-17页 |
| ·ATE8000-1自动测试系统 | 第17-22页 |
| ·系统功能及特点 | 第17页 |
| ·系统硬件平台 | 第17-19页 |
| ·系统软件平台 | 第19-22页 |
| ·小结 | 第22-23页 |
| 第3章 FMC执行软件分析 | 第23-44页 |
| ·IOP监控程序 | 第23-28页 |
| ·模块测试程序 | 第28-44页 |
| ·BITE | 第28页 |
| ·HISTE | 第28-29页 |
| ·DBENB | 第29-30页 |
| ·IDE | 第30-31页 |
| ·INTIO | 第31-32页 |
| ·INTPN | 第32-33页 |
| ·NBATS | 第33-35页 |
| ·RETNE | 第35-36页 |
| ·EDACE | 第36-37页 |
| ·MEGE | 第37-38页 |
| ·NPROM | 第38-40页 |
| ·NPRAM | 第40-42页 |
| ·CPUTS | 第42-44页 |
| 第4章 FMC执行软件的测试 | 第44-53页 |
| ·软件测试概述 | 第44-45页 |
| ·FMC执行软件的特点 | 第45-47页 |
| ·FMC执行软件的测试内容及测试环境 | 第47-50页 |
| ·测试内容 | 第48-49页 |
| ·测试环境 | 第49-50页 |
| ·软件测试模型 | 第50-52页 |
| ·源代码的静态测试 | 第50页 |
| ·基于覆盖的动态测试 | 第50-52页 |
| ·软件测试用例的构造方法 | 第52页 |
| ·测试结果 | 第52-53页 |
| 第5章 经典软件可靠性建模分析 | 第53-70页 |
| ·软件可靠性理论 | 第53-60页 |
| ·模型分类方案 | 第53-54页 |
| ·分析预测准确性的方法 | 第54-57页 |
| ·软件可靠性模型的比较准则 | 第57-58页 |
| ·参数估计中的最优化算法 | 第58-60页 |
| ·典型可靠性模型的应用及预测分析 | 第60-70页 |
| ·有限失效类 | 第60-67页 |
| ·无限失效类 | 第67-70页 |
| 第6章 改进的软件可靠性建模分析 | 第70-79页 |
| ·各典型模型预测性能的评估 | 第70-74页 |
| ·序列似然度比率(PLR)分析 | 第70-71页 |
| ·u-结构图分析 | 第71页 |
| ·y-结构图分析 | 第71-72页 |
| ·预测结果的有效性静态参量比较 | 第72-73页 |
| ·总结 | 第73-74页 |
| ·组合可靠性模型 | 第74-79页 |
| ·组合模型预测结果及其分析 | 第75-78页 |
| ·结论 | 第78-79页 |
| 第7章 结束语 | 第79-81页 |
| 参考文献 | 第81-84页 |
| 致谢 | 第84页 |
