C25汇编代码静态分析方法技术

本发明专利技术涉及一种C25汇编代码静态分析方法，属于软件测试技术领域。本发明专利技术在解释执行该汇编语句的基础上，检查代码中是否存在典型错误，针对典型错误的特点，采用忽略跳转指令强行顺序解释执行和分支覆盖解释执行两种方式对C25汇编代码进行分析，包括对C25汇编软件进行规则检查、比例尺检查、质量度量，提高了C25汇编软件测试的充分性。

Static analysis method of C25 assembly code

The invention relates to a static analysis method of C25 assembly code, which belongs to the field of software testing technology. The present invention in the interpretation of the implementation of the basic assembly statement on whether there is a typical error checking code, according to the characteristics of typical errors, ignore the jump instruction interpreter and forcibly order branch coverage interpreted two ways to analyze the C25 assembly code, including rules on check, C25 check, scale compilation of software quality metrics. To improve the adequacy of C25 assembly software testing.

【技术实现步骤摘要】
C25汇编代码静态分析方法
本专利技术涉及软件测试
，具体涉及一种C25汇编代码静态分析方法。
技术介绍
TMS320C25定点DSP芯片由于可国产化且可靠性高，在项目中大量使用。但是其汇编语言编写的程序所需注意的事项繁琐，编写的汇编代码中易存在代码审查、动态测试较难发现的错误。C25汇编语言缺乏静态分析工具，静态测试全靠测试人员进行代码审查，大量的代码容易导致测试人员的疲劳，也易导致测试后，程序仍然存留低级错误。为提高软件测试的效率和质量，需要设计针对C25汇编语言的静态分析工具来辅助代码审查。
技术实现思路
(一)要解决的技术问题本专利技术要解决的技术问题是：如何设计一种C25汇编代码静态分析方法，以提高软件测试的效率和质量。(二)技术方案为了解决上述技术问题，本专利技术提供了一种C25汇编代码静态分析方法，包括以下步骤：S1、采用强行顺序读取程序代码的方式来统计度量元，并利用状态机来识别模块：利用状态机来识别模块时，从文件头开始读取，读取到非执行代码，包括注释、变量定义，则说明状态机的状态为模块外，当读取到标号后，把标号当成模块名称，设置状态机状态为模块内，当状态机状态为模块本文档来自技高网...

【技术保护点】
一种C25汇编代码静态分析方法，其特征在于，包括以下步骤：S1、采用强行顺序读取程序代码的方式来统计度量元，并利用状态机来识别模块：利用状态机来识别模块时，从文件头开始读取，读取到非执行代码，包括注释、变量定义，则说明状态机的状态为模块外，当读取到标号后，把标号当成模块名称，设置状态机状态为模块内，当状态机状态为模块内时，若读取到模块结束指令，则设置模块扫描完成，并设置状态机状态为模块外；S2、对于状态机状态为模块内的模块，获取被测件的基本信息：获取C25编程语言的各指令字符，包括普通指令字和跳转指令字；获取C25编程语言的宏字符；获取变量所在页、变量地址以及规定的比例尺；获取需要分析的源代码...

【技术特征摘要】
1.一种C25汇编代码静态分析方法，其特征在于，包括以下步骤：S1、采用强行顺序读取程序代码的方式来统计度量元，并利用状态机来识别模块：利用状态机来识别模块时，从文件头开始读取，读取到非执行代码，包括注释、变量定义，则说明状态机的状态为模块外，当读取到标号后，把标号当成模块名称，设置状态机状态为模块内，当状态机状态为模块内时，若读取到模块结束指令，则设置模块扫描完成，并设置状态机状态为模块外；S2、对于状态机状态为模块内的模块，获取被测件的基本信息：获取C25编程语言的各指令字符，包括普通指令字和跳转指令字；获取C25编程语言的宏字符；获取变量所在页、变量地址以及规定的比例尺；获取需要分析的源代码列表；将源代码进行消除标号、注释处理，保留可执行语句，得到可执行语句列表；S3、对于可执行语句中上下语句无关联的错误，利用强行顺序解释执行的方式来检查：强行顺序解释执行过程中，忽略跳转指令，强行顺序解释执行分析的数据包含：标号的使用次数、地址和立即数混用的警告、多余变量、未定义地址的读写；其中，标号的引用次数列表用于分析跳转标号引用是否错误，标号引用错误的特点是存在没有被引用的标号和被多次引用的标号；S4、对于可执行语句中有上下语句关联性的错误，利用跳转指令分支覆盖解释执行的方式来检查，检查时，先获取需解释执行的可执行语句的地址；再查询该可执行语句的解释方式；若为...

【专利技术属性】
技术研发人员：杨波，李敏，李伟，
申请(专利权)人：北京计算机技术及应用研究所，
类型：发明
国别省市：北京,11