基于规则的嵌入式软件系统静态测试
| 中文摘要 | 第1-4页 |
| ABSTRACT | 第4-8页 |
| 第一章 绪论 | 第8-11页 |
| ·课题研究背景 | 第8-9页 |
| ·工作内容 | 第9-10页 |
| ·论文结构 | 第10-11页 |
| 第二章 软件测试技术 | 第11-24页 |
| ·软件测试研究背景 | 第11-13页 |
| ·覆盖测试 | 第12页 |
| ·灰匣子测试 | 第12-13页 |
| ·软件测试的主要技术 | 第13-14页 |
| ·嵌入式软件测试 | 第14-15页 |
| ·嵌入式软件静态测试 | 第15-17页 |
| ·嵌入式软件编程规范检查 | 第15页 |
| ·嵌入式软件质量度量 | 第15-16页 |
| ·嵌入式软件错误检查 | 第16-17页 |
| ·基于原代码的静态测试 | 第17页 |
| ·常用的嵌入式软件静态测试工具 | 第17-21页 |
| ·Source Insight | 第18-19页 |
| ·LDRA Testbed | 第19页 |
| ·CppUnit | 第19页 |
| ·C++Test | 第19-20页 |
| ·PC-Lint | 第20-21页 |
| ·Logiscope | 第21页 |
| ·C 代码安全隐患 | 第21-24页 |
| ·内存访问错误 | 第21-22页 |
| ·缓冲区溢出错误 | 第22页 |
| ·指针引用错误 | 第22页 |
| ·异常控制错误 | 第22-24页 |
| 第三章 软件静态测试规则的设计 | 第24-37页 |
| ·嵌入式软件系统可靠性 | 第24-27页 |
| ·实时性对软件可靠性的影响 | 第24-25页 |
| ·嵌入式环境对软件可靠性的影响 | 第25页 |
| ·反应性对软件可靠性的影响 | 第25页 |
| ·嵌入式软件可靠性研究 | 第25-26页 |
| ·提高嵌入式软件可靠性的方法 | 第26-27页 |
| ·嵌入式软件测试的关键技术 | 第27页 |
| ·嵌入式软件测试规则 | 第27-29页 |
| ·C 语言的检查规则 | 第29-33页 |
| ·C 检查规则的设计 | 第33-37页 |
| 第四章 嵌入式静态测试软件的实现 | 第37-50页 |
| ·编译器前端 | 第37页 |
| ·抽象语法树 | 第37-40页 |
| ·软件复杂度测试 | 第40-43页 |
| ·McCabe 复杂度 | 第40页 |
| ·C 语言常用控制结构流图 | 第40-41页 |
| ·静态测试软件分支检测 | 第41-43页 |
| ·静态测试软件模块 | 第43-50页 |
| ·系统框架 | 第43-44页 |
| ·文件解析 | 第44-45页 |
| ·函数调用图 | 第45-48页 |
| ·测试结果分析 | 第48-50页 |
| 第五章 总结与展望 | 第50-52页 |
| 参考文献 | 第52-54页 |
| 发表论文和科研情况说明 | 第54-55页 |
| 致谢 | 第55页 |
