针对嵌入式系统安全核的测试技术研究与实现

摘要

本文在总结软件测试技术研究现状的基础上,较为深入地研究了软件测试方面的问题,特别是针对安全核(SK)的测试问题.本文首先研究了等价类划分、边界值分析、错误猜测法等软件测试方法,比较和分析了各测试方法之间的区别与联系,探索了如何提高软件测试效率和效果,为设计SK测试用例提供了理论依据.接着,应用所研究方法,构造了针对SK的测试方法,设计了测试用例,编写了测试程序,进行了系统功能测试.为了确保SK除在系统函数调用时插入了安全性验证外,没有干预系统的其他关键性管理(比如任务调度和切换等),本文描述了SK的时间性能测试,包括测试方法和测试结果.最后,论文阐述了SK本身的安全性保障:测试SK自身的安全性,发现SK中隐藏的一些问题,并提出了合理的建议.

目录

文摘

英文文摘

独创性声明和关于论文使用授权的说明

第一章绪论

1.1课题背景

1.2国内外研究动态

1.2.1软件测试研究的发展

1.2.2软件测试技术的现状及面临的主要问题

1.3论文主要研究内容及意义

1.4论文章节安排

第二章软件测试的相关理论研究

2.1软件测试的基本概念

2.1.1软件测试的定义

2.1.2有关软件测试的基础知识

2.1.3软件质量因素

2.1.4软件测试模型

2.1.5软件测试方法分类

2.1.6软件测试过程

2.1.7黑盒测试方法

2.1.8软件测试意义

2.2特定环境及应用的测试

2.2.1客户/服务器体系结构的测试

2.2.2 GUI的测试

2.2.3实时系统的测试

2.3测试中的常见问题

2.4本章总结

第三章嵌入式实时操作系统及安全核简介

3.1嵌入式系统与实时系统概述

3.1.1实时计算

3.1.2嵌入式系统与实时系统

3.2嵌入式实时操作系统概述

3.2.1实时操作系统的发展过程

3.3 SK_RTOS

3.4安全核

3.4.1 SK的设计要求

3.4.2 SK RTOS体系结构及主要组成部分

3.4.3 SK RTOS访问控制工作原理

3.4.4支持多策略的设计

3.4.5支持安全策略在线升级的设计

3.5小结

第四章SK测试技术研究

4.1测试环境

4.1.1硬件环境

4.1.2宿主机与目标机的连接方式

4.1.3软件环境

4.2 SK测试分析与设计

4.2.1测试内容

4.2.2系统测试

4.2.3功能测试

4.2.4时间性能测试

4.3小结

第五章SK测试执行与结果分析

5.1功能测试结果

5.1.1安全标记

5.1.2强制访问控制

5.1.3用户鉴别

5.1.4安全核自身的安全性

5.2安全核时间性能测试及分析

5.3小结

第六章结束语

6.1成果和特色

6.2不足与展望

参考文献

致谢

个人简历、在学期间的研究成果及获奖情况

一.个人简历

二.科研

三.获奖