基于软件仿真的汇编语言嵌入式软件测试平台研究与实现

摘要

随着嵌入式系统的广泛应用，人们对嵌入式系统软件的质量提出了更高的要求，而作为保证软件质量最有效手段的测试技术，也越来越受到关注。由于汇编语言具有良好的实时性以及在此基础上积累了丰富的使用经验，因而被广泛的使用。但由于汇编语言的实时高效性导致汇编语言编程缺乏规范性，这给汇编语言软件的度量和测试带来了极大的困难；长期以来，缺少有效的嵌入式软件测试工具，特别是针对汇编语言的分析与测试工具。国内针对汇编代码的传统测试一般采用手工的方式进行，不仅效率低，而且存在严重的漏洞和隐患，不能达到预期的效果。 为了满足国内用户对嵌入式汇编应用程序进行测试的需求，本文在对当今主流的专业覆盖测试工具及其实现方法进行深入研究的基础上，结合课题确定了论文的需求和技术路线，设计并实现了基于软件仿真的针对Intel51系列单片机的汇编语言嵌入式软件测试系统原型，原型系统由源程序词语法分析、静态结构分析、功能测试、代码测试、数据分析与文档报告等模块组成。原型系统实现了基本的黑盒和白盒测试，其中白盒测试实现了语句和分支覆盖；实现了汇编测试的静态分析和动态分析，静态分析主要是生成程序的流程图，动态分析主要是利用程序插桩技术实现语句和分支覆盖率及在多个测试用例驱动下的综合覆盖率的计算和运行时间及内存使用情况的统计。本文提出的技术路线和技术方案对支持其他高级语言的嵌入式软件测试具有一定的通用性。在项目组全体同志的共同努力下，完成了测试系统的编码及调试工作，实现了针对8051汇编语言的测试系统原型。

目录

文摘

英文文摘

独创性声明及关于论文使用授权的说明

第一章引言

第二章嵌入式软件测试研究综述

第三章嵌入式软件测试系统的技术路线与总体框架

第四章软件仿真模拟器Cereal的分析与改进

第五章基于51系列的汇编程序覆盖测试平台的设计与实现

5.1覆盖测试平台原型系统的组成结构

5.2词法语法分析的设计与实现

5.3被测源程序静态结构分析

5.4被测源程序的插桩处理与覆盖率分析

5.5外部存储器访问记录

5.6时间性能分析

5.7汇编程序(51系列)测试评测结果

5.8小结

第六章研究工作总结与展望

致谢

参考文献

附录

个人简历、在学期间的研究成果及发表的学术论文

修改提纲