安全苛求软件测试方法在CTCS-3级列控系统车载设备测试中的应用研究
| 致谢 | 第1-6页 |
| 中文摘要 | 第6-7页 |
| ABSTRACT | 第7-12页 |
| 1 绪论 | 第12-19页 |
| ·论文研究背景和意义 | 第12-13页 |
| ·研究背景 | 第12-13页 |
| ·研究意义 | 第13页 |
| ·国内外研究现状 | 第13-14页 |
| ·国内研究现状 | 第13-14页 |
| ·国外研究现状 | 第14页 |
| ·CTCS-3级列控系统及其车载设备 | 第14-17页 |
| ·CTCS-3级列控系统介绍 | 第14-16页 |
| ·CTCS-3级列控系统车载设备介绍 | 第16-17页 |
| ·论文主要工作 | 第17-19页 |
| 2 软件测试与安全苛求软件 | 第19-27页 |
| ·软件测试 | 第19-24页 |
| ·软件测试的定义 | 第19页 |
| ·软件测试的目的 | 第19页 |
| ·软件测试的发展 | 第19-20页 |
| ·软件测试的技术 | 第20-24页 |
| ·安全苛求软件 | 第24-26页 |
| ·软件安全性的定义 | 第24-25页 |
| ·软件安全性完善度 | 第25页 |
| ·软件安全性完善度等级 | 第25-26页 |
| ·安全苛求软件的定义 | 第26页 |
| ·本章小结 | 第26-27页 |
| 3 安全苛求软件测试方法 | 第27-53页 |
| ·安全生命周期及其安全苛求软件测试的模型 | 第27-29页 |
| ·系统安全生命周期 | 第27-28页 |
| ·安全苛求软件测试的模型 | 第28-29页 |
| ·开发人员的自测试 | 第29页 |
| ·测试人员的测试 | 第29-45页 |
| ·测试目的 | 第30页 |
| ·基于TestBed工具的白盒测试 | 第30-41页 |
| ·系统功能测试 | 第41-45页 |
| ·安全功能需求的补充测试 | 第45-52页 |
| ·测试目的 | 第45-46页 |
| ·软件安全性需求 | 第46页 |
| ·形式化的故障树分析方法 | 第46-49页 |
| ·基于最小割集的安全性测试用例 | 第49-52页 |
| ·本章小结 | 第52-53页 |
| 4 CTCS-3车载ATP软件开发人员的自测试 | 第53-67页 |
| ·测试工具的设计和实现 | 第53-60页 |
| ·测试工具总体结构 | 第53-55页 |
| ·测试工具开发步骤 | 第55-58页 |
| ·测试工具的软件实现 | 第58-60页 |
| ·执行测试 | 第60-66页 |
| ·测试过程 | 第60页 |
| ·测试案例的设计 | 第60-63页 |
| ·测试结果 | 第63-66页 |
| ·本章小结 | 第66-67页 |
| 5 CTCS-3车载ATP软件测试人员的测试 | 第67-98页 |
| ·ATP软件的白盒测试 | 第67-88页 |
| ·ATP软件的静态测试 | 第67-75页 |
| ·ATP软件的单元测试 | 第75-84页 |
| ·ATP软件的集成测试 | 第84-88页 |
| ·ATP软件的功能测试及安全性测试 | 第88-97页 |
| ·功能测试 | 第88-91页 |
| ·安全性测试 | 第91-97页 |
| ·本章小结 | 第97-98页 |
| 6 结论与展望 | 第98-100页 |
| ·结论 | 第98页 |
| ·展望 | 第98-100页 |
| 参考文献 | 第100-102页 |
| 图索引 | 第102-104页 |
| 表索引 | 第104-105页 |
| 作者简历 | 第105-107页 |
| 学位论文数据集 | 第107页 |
