| 摘要 | 第1-7页 |
| Abstract | 第7-9页 |
| 目录 | 第9-14页 |
| 第1章 绪论 | 第14-30页 |
| ·课题研究背景及意义 | 第14-15页 |
| ·相关领域的研究现状 | 第15-26页 |
| ·论文的主要工作 | 第26-27页 |
| ·论文的组织结构 | 第27-30页 |
| 第2章 安全关键软件测试的相关理论 | 第30-54页 |
| ·研究目标的数学描述 | 第30-33页 |
| ·测试覆盖 | 第33-38页 |
| ·软件测试的充分性 | 第38-41页 |
| ·软件安全性 | 第41-43页 |
| ·软件可靠性模型 | 第43-52页 |
| ·本章小结 | 第52-54页 |
| 第3章 增强 Inflection-S 型测试覆盖率函数 | 第54-74页 |
| ·软件测试覆盖率 | 第54-55页 |
| ·软件测试覆盖率函数 | 第55-60页 |
| ·用最小二乘法估计模型参数 | 第60-62页 |
| ·模型验证 | 第62-72页 |
| ·本章小结 | 第72-74页 |
| 第4章 基于测试覆盖的软件缺陷预测模型 | 第74-98页 |
| ·软件缺陷预测 | 第74-80页 |
| ·基于测试覆盖的软件缺陷预测模型 | 第80-97页 |
| ·本章小结 | 第97-98页 |
| 第5章 基于测试覆盖的安全关键软件测试策略 | 第98-122页 |
| ·分析现有软件测试策略 | 第98-103页 |
| ·基于测试覆盖的安全关键软件测试策略 | 第103-109页 |
| ·基于测试覆盖的测试策略指导实际的软件测试工作 | 第109-121页 |
| ·本章小结 | 第121-122页 |
| 第6章 研究结论与展望 | 第122-126页 |
| ·研究结论与创新点 | 第122-124页 |
| ·对研究工作下一步的展望 | 第124-126页 |
| 参考文献 | 第126-135页 |
| 在学期间学术成果情况 | 第135-136页 |
| 指导教师及作者简介 | 第136-137页 |
| 致谢 | 第137-138页 |