封面
声明
中文摘要
英文摘要
目录
第一章 引言
1.1 课题背景
1.2 课题综述
1.3 章节安排
第二章 嵌入式软件测试研究综述
2.1 嵌入式软件测试概述
2.2 嵌入式测试工具
2.3 嵌入式软件测试研究现状
2.4 小结
第三章 系统的技术路线、功能需求与总体框架
3.1 测试系统的技术路线
3.2 测试系统的功能需求
3.3 测试系统的总体框架
3.4 小结
第四章 源码自动分析
4.1 Lex和Yacc
4.2 源码自动分析模块的设计与实现
4.3 源码自动分析的结果说明
4.4 小结
第五章 测试用例的自动执行和数据采集
5.1 需要解决的问题
5.2 总体设计
5.3 服务器端设计
5.4 测试终端设计
5.5 小结
第六章 基于 GammaCP 的覆盖测试
6.1 GammaCP 简介
6.2 GammaCP 的工作流程和原理
6.3 GammaCP 与本系统的集成
6.4 小结
第七章 测试与总结
7.1 本系统的测试
7.2 课题总结
7.3 进一步的工作
致谢
参考文献