电子计量产品嵌入式软件质量评估方法研究
| 致谢 | 第1-7页 |
| 摘要 | 第7-8页 |
| Abstract | 第8-10页 |
| 目次 | 第10-12页 |
| 图清单 | 第12-14页 |
| 表清单 | 第14-16页 |
| 1 绪论 | 第16-22页 |
| ·课题的背景与意义 | 第16-17页 |
| ·软件质量评价技术现状和相关标准 | 第17-21页 |
| ·软件质量评价技术发展现状 | 第17-19页 |
| ·软件质量评价模型 | 第19-21页 |
| ·本论文的主要研究内容和创新点 | 第21-22页 |
| 2 构建嵌入式软件测试模型 | 第22-42页 |
| ·嵌入式软件测试特点 | 第22页 |
| ·嵌入式软件测试工具选取 | 第22-26页 |
| ·静态分析工具 | 第23页 |
| ·动态分析工具 | 第23-24页 |
| ·综合测试工具 | 第24页 |
| ·LDRA Testbed 测试工具 | 第24-26页 |
| ·嵌入式软件测试技术 | 第26-38页 |
| ·嵌入式软件静态测试 | 第26-37页 |
| ·嵌入式软件动态测试 | 第37-38页 |
| ·嵌入式软件测试工作模型 | 第38-41页 |
| ·本章小结 | 第41-42页 |
| 3 嵌入式系统与评估模型设计 | 第42-57页 |
| ·电子式电能表基本信息介绍 | 第42-52页 |
| ·硬件电路总体设计 | 第42-43页 |
| ·部分模块电路设计与接口 | 第43-49页 |
| ·软件总体方案设计 | 第49-51页 |
| ·调试器 Super Debugger 概述 | 第51-52页 |
| ·LDRA Testbed 功能介绍 | 第52-54页 |
| ·静态测试功能介绍 | 第52-53页 |
| ·动态测试功能介绍 | 第53页 |
| ·Testbed 所支持测试相关信息 | 第53-54页 |
| ·嵌入式软件质量评估模型构建 | 第54-56页 |
| ·本章小结 | 第56-57页 |
| 4 嵌入式软件质量评估应用实例分析 | 第57-83页 |
| ·测试软件验证 | 第57-60页 |
| ·嵌入式软件实验测试与数据分析 | 第60-80页 |
| ·源代码测试 | 第60-62页 |
| ·静态测试与结果分析 | 第62-75页 |
| ·插桩动态测试 | 第75-80页 |
| ·综合评估 | 第80-81页 |
| ·小结 | 第81-83页 |
| 5 总结与展望 | 第83-85页 |
| ·全文总结 | 第83-84页 |
| ·展望 | 第84-85页 |
| 参考文献 | 第85-88页 |
| 附录 A | 第88-89页 |
| 附录 B | 第89-90页 |
| 作者简介 | 第90页 |
