EDA/PLD中的汇编程序覆盖测试中不可达指令检测算法

1、引言 一般而言,汇编语言程序的执行表现为一系列逻辑路径的动态组合,测试时尽量覆盖所有可能的路径是软件测试的目标之一,有关的工作叫做覆盖测试。目前大多数测试工具是针对C/C++等高级语言的,针对汇编语言的测试工具相当少见。由于汇编语言非结构化的特点,其实现程序往往采用很多条件和无条件跳转指令,使得程序结构复杂化,按照汇编语言程序执行的一般方法,可以得到语句的执行序列。如果当一段程序中包含有一些无论在任何情况下都不需要执行或者根本执行不到的指令时,一般的测试方法就很难将这些指令甄别出来并给出适当的提示或进行必要的排除。这些指令称为不可达指令。为此,在研究汇编程序软件测试的过程中,本文提出