| 摘要 | 第1-6页 |
| ABSTRACT | 第6-10页 |
| 第1章 绪论 | 第10-14页 |
| ·课题研究背景及意义 | 第10页 |
| ·课题的国内外研究现状 | 第10-11页 |
| ·软件静态测试研究现状 | 第10-11页 |
| ·软件静态测试技术研究现状 | 第11页 |
| ·课题的研究内容及章节 | 第11-14页 |
| 第2章 静态测试理论及方法研究 | 第14-27页 |
| ·软件测试的基础理论 | 第14-15页 |
| ·软件测试的定义 | 第14页 |
| ·软件测试的目的 | 第14页 |
| ·软件测试的分类 | 第14-15页 |
| ·静态测试的定义和作用 | 第15页 |
| ·静态测试的定义 | 第15页 |
| ·静态测试的作用 | 第15页 |
| ·静态测试技术 | 第15-20页 |
| ·代码检查 | 第16-18页 |
| ·静态结构分析 | 第18-20页 |
| ·评审 | 第20页 |
| ·软件质量度量研究 | 第20-25页 |
| ·软件质量度量的基本概念、目的、对象和使用者 | 第20-21页 |
| ·质量模型和评价目标（评价准则）的确定 | 第21页 |
| ·软件度量的误区和提高软件质量的途径 | 第21-22页 |
| ·软件静态质量度量及评估办法 | 第22-25页 |
| ·本章小结 | 第25-27页 |
| 第3章 静态测试工具 Testbed 和 Polyspace 的研究 | 第27-36页 |
| ·LDRA Testbed | 第27-32页 |
| ·LDRA Testbed 的功能模块 | 第28-29页 |
| ·LDRA Testbed 的使用 | 第29-32页 |
| ·Polyspace | 第32-33页 |
| ·Polyspace 的功能模块 | 第32-33页 |
| ·Polyspace 的使用 | 第33页 |
| ·LDRA Testbed 和 Polyspace 的比较 | 第33-34页 |
| ·本章小结 | 第34-36页 |
| 第4章 舰载气象雷达通信软件静态测试分析 | 第36-50页 |
| ·测试实践概述与背景 | 第36页 |
| ·测试策略及目标 | 第36-37页 |
| ·测试流程 | 第37-45页 |
| ·文档评审 | 第37-38页 |
| ·Testbed 测试 | 第38-41页 |
| ·Ployspace 测试 | 第41-45页 |
| ·测试结果 | 第45-47页 |
| ·测试总结 | 第47-48页 |
| ·本章小结 | 第48-50页 |
| 第5章 静态测试关键技术研究 | 第50-63页 |
| ·静态分析方法研究 | 第50-57页 |
| ·代码问题的发现 | 第52-53页 |
| ·代码问题表示 | 第53-55页 |
| ·因素规则集的应用 | 第55-57页 |
| ·静态质量分析报告的编制规程设计 | 第57-58页 |
| ·静态质量分析报告的编制规程介绍 | 第58-61页 |
| ·本章小结 | 第61-63页 |
| 结论 | 第63-64页 |
| 参考文献 | 第64-68页 |
| 攻读硕士学位期间发表的论文和取得的科研成果 | 第68-69页 |
| 致谢 | 第69-70页 |
| 附录 | 第70-76页 |