汇编源程序不可达指令的判定算法

 

　　1、引言

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

　　2、不可达指令的判定

　　2.1 算法提出的前提条件

　　程序块

　　定义1 程序块是指程序中一个含有少量的语句序列，其中只有一个入口语句和一个或多个出口语句，执行时只能从入口语句进入，从出口语句退出。对于一个给定的程序，可以把它划分为一系列的程序块。

　　定义2 入口语句是指：1) 程序的第一个语句;2) 或者能够由条件转移语句或无条件转移语句转移到的语句;3) 或者紧跟在条件转移语句后面的语句。

　　定义3 出口语句是指：1) 下一条入口语句之前的那条语句;2) 或者程序的终止语句。

　　2.2 不可达指令的判定算法基本思想

　　1)首先将已经划分好的某个源程序块的所有语句序列号存入一个预先定义好的数组A中;

　　2)取程序段执行中可以认可的初始值的上限运行程序，将指令执行的语句序列进行记录，并存入一个预先定义好的数组A1中;

　　3)取程序段执行中可以认可的初始值的下限运行程序，同样将指令执行的语句序列进行记录，并存入一个预先定义好的数组A2中;

　　4)取程序段执行中可以认可的初始值的中间值运行程序，同样将指令执行的语句序列进行记录，并存入一个预先定义好的数组A3中;

　　5)将A1,A2,A3三个数组分别与源程序段的语句序列数组A进行逐项比较，并分别把不同项列出并存入数组B1，B2，B3中;

　　6)最后将分别存有不同项的三个数组B1，B2，B3进行比较，找出其交集，其交集中的元素即为不可达指令语句号。