| 摘要 | 第1-5页 |
| ABSTRACT | 第5-7页 |
| 目录 | 第7-10页 |
| 图表目录 | 第10-12页 |
| 第1章 绪论 | 第12-18页 |
| ·引言 | 第12-13页 |
| ·研究现状 | 第13-15页 |
| ·研究工作 | 第15-16页 |
| ·论文组织形式 | 第16-18页 |
| 第2章 OSEK/VDX 操作系统规范 | 第18-26页 |
| ·OSEK 操作系统组成概述 | 第18页 |
| ·任务管理 | 第18-21页 |
| ·中断处理 | 第21页 |
| ·事件机制 | 第21-22页 |
| ·资源管理 | 第22-23页 |
| ·报警器 | 第23-24页 |
| ·其它 | 第24-25页 |
| ·本章小结 | 第25-26页 |
| 第3章 OSEK 操作系统一致性测试方法 | 第26-32页 |
| ·OSEK 操作系统一致性测试流程 | 第26页 |
| ·OSEK 操作系统一致性测试流程分析 | 第26-30页 |
| ·由规范抽象出测试目的 | 第27页 |
| ·设计测试用例 | 第27-29页 |
| ·执行测试 | 第29-30页 |
| ·分析测试记录得到测试报告 | 第30页 |
| ·分类树工具与分类树方法 | 第30-31页 |
| ·本章小结 | 第31-32页 |
| 第4章 OSKE 操作系统一致性测试集设计 | 第32-46页 |
| ·测试目的 | 第32-37页 |
| ·任务管理 | 第32-34页 |
| ·中断处理 | 第34页 |
| ·事件机制 | 第34-35页 |
| ·资源管理 | 第35页 |
| ·报警器 | 第35-36页 |
| ·钩子函数、错误处理和执行流控制 | 第36-37页 |
| ·分类树 | 第37-45页 |
| ·任务管理分类树 | 第37-39页 |
| ·中断处理分类树 | 第39-40页 |
| ·事件机制分类树 | 第40-41页 |
| ·资源管理分类树 | 第41-42页 |
| ·报警器管理分类树 | 第42-44页 |
| ·测试覆盖度分析 | 第44-45页 |
| ·本章小结 | 第45-46页 |
| 第5章 MINIOSEK 的一致性测试 | 第46-49页 |
| ·MINIOSEK 的特性 | 第46页 |
| ·一致性测试结果及分析 | 第46-48页 |
| ·本章小结 | 第48-49页 |
| 第6章 总结与展望 | 第49-51页 |
| ·本文的工作总结 | 第49页 |
| ·进一步工作展望 | 第49-51页 |
| 参考文献 | 第51-54页 |
| 附录A 测试情况表和抽象测试集 | 第54-85页 |
| A.1 任务管理 | 第54-64页 |
| A.1.1 任务测试情况表 | 第54-57页 |
| A.1.2 任务测试集设计 | 第57-64页 |
| A.2 中断处理 | 第64-67页 |
| A.2.1 中断测试情况表 | 第64-65页 |
| A.2.2 中断测试集设计 | 第65-67页 |
| A.3 事件机制 | 第67-73页 |
| A.3.1 事件测试情况表 | 第67-69页 |
| A.3.2 事件测试集设计 | 第69-73页 |
| A.4 资源管理 | 第73-76页 |
| A.4.1 资源测试情况表 | 第73-74页 |
| A.4.2 资源测试集设计 | 第74-76页 |
| A.5 报警器 | 第76-85页 |
| A.5.1 报警器测试情况表 | 第76-79页 |
| A.5.2 报警器测试集设计 | 第79-85页 |
| 附录B MINIOSEK 的一致性测试集源码(部分) | 第85-91页 |
| 致谢 | 第91-92页 |
| 在读期间发表的学术论文与取得的研究成果 | 第92页 |