| 摘要 | 第1-5页 |
| Abstract | 第5-9页 |
| 第一章 引言 | 第9-13页 |
| ·研究背景 | 第9-10页 |
| ·研究的意义 | 第10页 |
| ·国内外研究状况 | 第10-11页 |
| ·本文主要工作和组织结构 | 第11-13页 |
| ·课题来源 | 第11页 |
| ·研究内容 | 第11-12页 |
| ·论文结构 | 第12-13页 |
| 第二章 开发环境和工具简介 | 第13-21页 |
| ·Matlab/Simulink/Stateflow/RTW 简介 | 第13-16页 |
| ·MATLAB 集成设计环境 | 第13-15页 |
| ·代码自动生成技术应用 | 第15-16页 |
| ·Matlab 小结 | 第16页 |
| ·LambdaPRO3.0/ VC6.0 简介 | 第16-17页 |
| ·LambdaPRO3.0 | 第16-17页 |
| ·VC6.0 | 第17页 |
| ·T-VEC/Testbed/ Test Director 简介 | 第17-21页 |
| 第三章 模型级代码调试和验证分析 | 第21-46页 |
| ·Matlab 与 DeltaOS 的结合 | 第21页 |
| ·模型级代码交叉调试分析 | 第21-25页 |
| ·模型级代码交叉调试分析的目的 | 第21-22页 |
| ·Simulink 和Stateflow 调试器解析 | 第22-23页 |
| ·VC 调试Stateflow 模型代码研究 | 第23-25页 |
| ·模型级代码验证分析 | 第25-45页 |
| ·模型级代码验证分析的目的 | 第25-26页 |
| ·模型与其代码输入输出界面分析 | 第26-32页 |
| ·模型级用例分析 | 第32页 |
| ·模型级代码验证测试工具分析 | 第32-39页 |
| ·Simulink 外部模式分析 | 第39-45页 |
| ·本章小结 | 第45-46页 |
| 第四章 Matlab 与 DeltaOS 结合的实现 | 第46-54页 |
| ·Matlab 安装版本 | 第46页 |
| ·LambdaPro 3 与 Matlab 结合的目标目录 | 第46-50页 |
| ·deltaos/deltaos | 第47-48页 |
| ·deltaos/lambdapro | 第48-49页 |
| ·deltaos/blocks | 第49-50页 |
| ·LambdaPro 3 下的结合目录 | 第50-53页 |
| ·本章小结 | 第53-54页 |
| 第五章 模型级代码调试实现方案 | 第54-65页 |
| ·Stateflow 及其调试器介绍 | 第54-55页 |
| ·模型的搭建仿真和调试 | 第55-57页 |
| ·模型的搭建 | 第55-56页 |
| ·模型的调试步骤 | 第56页 |
| ·模型在VC 的环路仿真 | 第56-57页 |
| ·生成定制代码配置 | 第57-58页 |
| ·Stateflow 模型生成代码分析 | 第58-63页 |
| ·相关背景介绍 | 第58-59页 |
| ·CN_airplane.c 的解析 | 第59-62页 |
| ·VC 调试Stateflow 生成代码原理 | 第62-63页 |
| ·Stateflow 代码模型级交叉调试方案 | 第63-64页 |
| ·本章小结 | 第64-65页 |
| 第六章 模型级代码验证实现方案 | 第65-74页 |
| ·覆盖测试解决方案 | 第65-71页 |
| ·从.drv 文件提取测试向量数据 | 第66-67页 |
| ·创建SignalBuilder 模块并替换测试模型输入界面 | 第67-70页 |
| ·测试驱动到DeltaOS 代码转化 | 第70页 |
| ·生成Bitmap 文件 | 第70页 |
| ·生成覆盖分析报告 | 第70-71页 |
| ·模型覆盖和代码覆盖一致性验证 | 第71页 |
| ·功能测试解决方案 | 第71-72页 |
| ·仿真输出结果提取 | 第71-72页 |
| ·模型输出结果提取 | 第72页 |
| ·模型功能和代码功能一致性验证 | 第72页 |
| ·本章小结 | 第72-74页 |
| 第七章 总结 | 第74-75页 |
| 致谢 | 第75-76页 |
| 参考文献 | 第76-78页 |
| 攻硕期间取得的研究成果 | 第78-79页 |
