调试验证平台中闭环测试和故障注入的设计与实现
| 摘要 | 第1-4页 |
| Abstract | 第4-7页 |
| 第一章 绪论 | 第7-11页 |
| ·研究背景 | 第7页 |
| ·国内外研究现状 | 第7-9页 |
| ·嵌入式系统调试技术 | 第7-8页 |
| ·模型驱动开发技术 | 第8-9页 |
| ·工作内容 | 第9-10页 |
| ·论文的组织结构 | 第10-11页 |
| 第二章 相关技术概述 | 第11-15页 |
| ·RFM | 第11页 |
| ·RTX | 第11-13页 |
| ·1553B 故障注入 | 第13-15页 |
| 第三章 平台的总体概述与设计 | 第15-21页 |
| ·平台的需求分析 | 第15-16页 |
| ·平台的体系结构 | 第16-18页 |
| ·硬件体系结构 | 第16-17页 |
| ·软件体系结构 | 第17-18页 |
| ·平台的设计目标 | 第18-19页 |
| ·平台的功能划分 | 第19-21页 |
| 第四章 闭环测试的设计与实现 | 第21-37页 |
| ·模型机配置 | 第21-23页 |
| ·RTX 扩展 | 第21-22页 |
| ·模型演算函数配置 | 第22-23页 |
| ·反射内存网的设计实现 | 第23-33页 |
| ·反射内存网总体设计 | 第24-25页 |
| ·实时机接口设计 | 第25-28页 |
| ·模型机接口设计 | 第28-33页 |
| ·管理机变量管理 | 第33-35页 |
| ·变量配置 | 第33页 |
| ·数据字典 | 第33-35页 |
| ·本章小结 | 第35-37页 |
| 第五章 故障注入的设计与实现 | 第37-55页 |
| ·1553B 总线通信 | 第37-40页 |
| ·1553B 总线的特点 | 第37页 |
| ·1553B 总线通信协议 | 第37-39页 |
| ·1553B 总线通信框架 | 第39-40页 |
| ·故障注入总体设计 | 第40-43页 |
| ·故障分类 | 第41-42页 |
| ·故障注入整体框架 | 第42-43页 |
| ·故障注入底层设计 | 第43-48页 |
| ·故障缓冲区链表设计 | 第43-45页 |
| ·故障注入接口设计 | 第45-48页 |
| ·故障注入应用层设计 | 第48-54页 |
| ·故障管理 | 第48-51页 |
| ·代码生成 | 第51-54页 |
| ·本章小结 | 第54-55页 |
| 第六章 测试及分析 | 第55-65页 |
| ·平台运行环境 | 第55-56页 |
| ·测试用例及过程 | 第56-61页 |
| ·闭环测试功能测试 | 第56-58页 |
| ·故障注入功能测试 | 第58-61页 |
| ·测试结果分析 | 第61-64页 |
| ·本章小结 | 第64-65页 |
| 第七章 结束语 | 第65-67页 |
| ·论文工作总结 | 第65页 |
| ·后续工作展望 | 第65-67页 |
| 致谢 | 第67-69页 |
| 参考文献 | 第69-71页 |
| 作者在读期间的研究成果 | 第71-72页 |
