| 摘要 | 第1-4页 |
| Abstract | 第4-7页 |
| 第一章 绪论 | 第7-11页 |
| ·协议栈结构概述 | 第7-8页 |
| ·协议系统结构概述 | 第8-9页 |
| ·本文内容安排 | 第9-10页 |
| ·本章小结 | 第10-11页 |
| 第二章 ARINC615 协议概述 | 第11-19页 |
| ·ARINC615 基本数据单元定义 | 第11-12页 |
| ·配置文件 CONFIG.LDR 定义 | 第12-13页 |
| ·ARINC615 协议功能定义 | 第13-17页 |
| ·本章小结 | 第17-19页 |
| 第三章 基于有限状态机的协议逻辑实现 | 第19-29页 |
| ·有限状态机模型 | 第19-21页 |
| ·有限状态机模型基本定义 | 第19页 |
| ·状态转移图 | 第19-20页 |
| ·非确定有限状态机 | 第20-21页 |
| ·有限状态机简写形式 | 第21页 |
| ·ARINC615 协议的有限状态机模型概述 | 第21-23页 |
| ·ARINC615 协议的有限状态机实现 | 第23-27页 |
| ·加载端有限状态机 | 第24-25页 |
| ·被加载端有限状态机 | 第25-27页 |
| ·本章小结 | 第27-29页 |
| 第四章 协议适配层与 VFS 实现 | 第29-47页 |
| ·协议适配层 | 第29-37页 |
| ·协议适配层概述 | 第29-30页 |
| ·协议适配层实现 | 第30-37页 |
| ·VFS 设计与实现 | 第37-46页 |
| ·VFS 概述 | 第37-40页 |
| ·VFS 详细设计 | 第40-46页 |
| ·本章小结 | 第46-47页 |
| 第五章 ARINC615 协议逻辑测试 | 第47-65页 |
| ·协议测试概述 | 第47-48页 |
| ·协议测试分类 | 第47页 |
| ·一致性测试原理 | 第47-48页 |
| ·性能测试原理 | 第48页 |
| ·健壮性测试原理 | 第48页 |
| ·单元测试概述 | 第48-49页 |
| ·ARINC615 协议测试 | 第49-63页 |
| ·测试环境概述 | 第49-51页 |
| ·ARINC615 协议代码单元测试 | 第51-56页 |
| ·ARINC615 协议测试 | 第56-63页 |
| ·本章小结 | 第63-65页 |
| 结束语 | 第65-67页 |
| 致谢 | 第67-69页 |
| 参考文献 | 第69-71页 |
| 附录 A 加载端状态转移表与状态转移图 | 第71-79页 |
| 附录 B 被加载端状态转移表与状态转移图 | 第79-87页 |
| 附录 C 配置文件 CONFIG.LDR 参数含义 | 第87-90页 |