| 提要 | 第1-5页 |
| 摘要 | 第5-7页 |
| Abstract | 第7-11页 |
| 第1章 绪论 | 第11-18页 |
| ·研究背景 | 第11-16页 |
| ·嵌入式软件研究现状 | 第11-12页 |
| ·软件需求验证方法概述 | 第12-14页 |
| ·嵌入式软件验证系统的国内外研究现状 | 第14-16页 |
| ·研究目的和意义 | 第16-17页 |
| ·本文的主要内容 | 第17-18页 |
| 第2章 开发环境介绍 | 第18-27页 |
| ·开发方法和工具介绍 | 第18-21页 |
| ·开发模式介绍 | 第18页 |
| ·开发语言和工具介绍 | 第18-19页 |
| ·Eclipse RCP 介绍 | 第19-20页 |
| ·MySQL 数据库 | 第20-21页 |
| ·支持工具 smv 介绍 | 第21-27页 |
| ·SMV 的基本情况介绍 | 第21-22页 |
| ·SMV 使用技术介绍 | 第22-27页 |
| 第3章 嵌入式软件的需求验证支持工具框架概述 | 第27-39页 |
| ·实现目标 | 第27-28页 |
| ·实施策略 | 第28页 |
| ·体系结构 | 第28-30页 |
| ·主要思想 | 第30-39页 |
| ·需求审查的主要思想 | 第30-31页 |
| ·形式化验证的主要思想 | 第31-39页 |
| 第4章 面向嵌入式系统的需求验证支持工具的设计与实现 | 第39-46页 |
| ·概要设计 | 第39-43页 |
| ·流程设计 | 第39-41页 |
| ·数据库设计 | 第41-43页 |
| ·详细设计 | 第43-45页 |
| ·功能实现 | 第45-46页 |
| 第5章 实例分析 | 第46-54页 |
| ·实例说明 | 第46-50页 |
| ·验证过程 | 第50-53页 |
| ·验证结果 | 第53-54页 |
| 第6章 总结与展望 | 第54-55页 |
| 参考文献 | 第55-58页 |
| 致谢 | 第58页 |