基于属性的微内核系统调用CPN建模和测试
| 摘要 | 第1-5页 |
| ABSTRACT | 第5-10页 |
| 第一章 引言 | 第10-15页 |
| ·研究背景 | 第10-11页 |
| ·研究现状 | 第11-13页 |
| ·微内核及其系统调用的研究现状 | 第11-12页 |
| ·基于属性测试的研究现状 | 第12-13页 |
| ·Minix 3简介及系统调用 | 第13页 |
| ·研究工作 | 第13-14页 |
| ·论文结构 | 第14-15页 |
| 第二章 微内核的系统调用 | 第15-26页 |
| ·系统调用与操作系统安全 | 第15页 |
| ·微内核系统和宏内核系统的比较 | 第15-18页 |
| ·微内核系统结构和宏内核系统结构的比较 | 第15-17页 |
| ·微内核系统调用和宏内核系统调用的比较 | 第17-18页 |
| ·系统调用模式分析 | 第18-19页 |
| ·Minix 3系统调用的分类 | 第19页 |
| ·Minix 3系统调用的分析 | 第19-25页 |
| ·系统调用中的消息传递 | 第21-23页 |
| ·系统调用的执行过程 | 第23-25页 |
| ·本章小结 | 第25-26页 |
| 第三章 基于属性的系统调用测试 | 第26-48页 |
| ·基于属性的测试 | 第26-28页 |
| ·属性测试的相关定义 | 第26-27页 |
| ·基于属性的系统调用的测试说明 | 第27页 |
| ·基于属性的系统调用测试过程 | 第27-28页 |
| ·微内核系统调用CPN建模 | 第28-40页 |
| ·CPN概述 | 第29-30页 |
| ·自动化分析工具CPN tools介绍 | 第30页 |
| ·使用CPN工具建立Minix 3系统调用模型 | 第30-40页 |
| ·对Minix 3系统调用的测试 | 第40-47页 |
| ·基于属性生成测试例 | 第41-43页 |
| ·基于变异测试的测试例设计 | 第43-47页 |
| ·测试结果分析 | 第47页 |
| ·测试Minix 3系统调用的平台搭建 | 第47页 |
| ·本章小结 | 第47-48页 |
| 第四章 基于系统调用的访问控制测试 | 第48-55页 |
| ·访问控制测试与操作系统安全 | 第48页 |
| ·访问控制概述 | 第48-49页 |
| ·Minix 3访问控制实例分析与测试 | 第49-52页 |
| ·Minix 3的口令测试 | 第52-54页 |
| ·测试结果分析 | 第54页 |
| ·本章小结 | 第54-55页 |
| 第五章 总结 | 第55-57页 |
| ·论文工作总结 | 第55-56页 |
| ·进一步工作 | 第56-57页 |
| 参考文献 | 第57-61页 |
| 附录1 fork系统调用的模型图 | 第61-62页 |
| 附录2 执行内核调用的模型图 | 第62-63页 |
| 附录3 系统调用测试例表 | 第63-65页 |
| 致谢 | 第65-66页 |
| 攻读硕士期间发表的学术论文 | 第66-67页 |
| 参加项目 | 第67页 |
