针对嵌入式系统安全核的测试技术研究与实现
| 中文摘要 | 第1-5页 |
| Abstract | 第5-9页 |
| 第一章 绪论 | 第9-16页 |
| ·课题背景 | 第9页 |
| ·国内外研究动态 | 第9-13页 |
| ·软件测试研究的发展 | 第9-12页 |
| ·软件测试技术的现状及面临的主要问题 | 第12-13页 |
| ·论文主要研究内容及意义 | 第13-14页 |
| ·论文章节安排 | 第14-16页 |
| 第二章 软件测试的相关理论研究 | 第16-41页 |
| ·软件测试的基本概念 | 第16-35页 |
| ·软件测试的定义 | 第16页 |
| ·有关软件测试的基础知识 | 第16-20页 |
| ·软件质量因素 | 第20-22页 |
| ·软件测试模型 | 第22-23页 |
| ·软件测试方法分类 | 第23-28页 |
| ·软件测试过程 | 第28-31页 |
| ·黑盒测试方法 | 第31-35页 |
| ·软件测试意义 | 第35页 |
| ·特定环境及应用的测试 | 第35-38页 |
| ·客户/服务器体系结构的测试 | 第35-36页 |
| ·GUI 的测试 | 第36-37页 |
| ·实时系统的测试 | 第37-38页 |
| ·测试中的常见问题 | 第38-39页 |
| ·本章总结 | 第39-41页 |
| 第三章 嵌入式实时操作系统及安全核简介 | 第41-56页 |
| ·嵌入式系统与实时系统概述 | 第41-43页 |
| ·实时计算 | 第41页 |
| ·嵌入式系统与实时系统 | 第41-43页 |
| ·嵌入式实时操作系统概述 | 第43-44页 |
| ·实时操作系统的发展过程 | 第43-44页 |
| ·SK_RTOS | 第44-46页 |
| ·安全核 | 第46-54页 |
| ·SK 的设计要求 | 第46-48页 |
| ·SK_RTOS 体系结构及主要组成部分 | 第48-51页 |
| ·SK_RTOS 访问控制工作原理 | 第51-52页 |
| ·支持多策略的设计 | 第52-53页 |
| ·支持安全策略在线升级的设计 | 第53-54页 |
| ·小结 | 第54-56页 |
| 第四章 SK 测试技术研究 | 第56-77页 |
| ·测试环境 | 第56-57页 |
| ·硬件环境 | 第56-57页 |
| ·宿主机与目标机的连接方式 | 第57页 |
| ·软件环境 | 第57页 |
| ·SK 测试分析与设计 | 第57-75页 |
| ·测试内容 | 第57-59页 |
| ·系统测试 | 第59页 |
| ·功能测试 | 第59-69页 |
| ·时间性能测试 | 第69-75页 |
| ·小结 | 第75-77页 |
| 第五章 SK 测试执行与结果分析 | 第77-85页 |
| ·功能测试结果 | 第77-82页 |
| ·安全标记 | 第77-78页 |
| ·强制访问控制 | 第78-80页 |
| ·用户鉴别 | 第80-81页 |
| ·安全核自身的安全性 | 第81-82页 |
| ·安全核时间性能测试及分析 | 第82-83页 |
| ·小结 | 第83-85页 |
| 第六章 结束语 | 第85-86页 |
| ·成果和特色 | 第85页 |
| ·不足与展望 | 第85-86页 |
| 参考文献 | 第86-89页 |
| 致谢 | 第89-90页 |
| 个人简历、在学期间的研究成果及获奖情况 | 第90页 |
| 一、个人简历 | 第90页 |
| 二、科研 | 第90页 |
| 三、获奖 | 第90页 |
