?

　　1、引言

　　一般而言，匯編語言程序的執(zhí)行表現(xiàn)為一系列邏輯路徑的動態(tài)組合，測試時盡量覆蓋所有可能的路徑是軟件測試的目標(biāo)之一，有關(guān)的工作叫做覆蓋測試。目前大多數(shù)測試工具是針對C/C++等高級語言的，針對匯編語言的測試工具相當(dāng)少見。由于匯編語言非結(jié)構(gòu)化的特點，其實現(xiàn)程序往往采用很多條件和無條件跳轉(zhuǎn)指令，使得程序結(jié)構(gòu)復(fù)雜化，按照匯編語言程序執(zhí)行的一般方法，可以得到語句的執(zhí)行序列。如果當(dāng)一段程序中包含有一些無論在任何情況下都不需要執(zhí)行或者根本執(zhí)行不到的指令時，一般的測試方法就很難將這些指令甄別出來并給出適當(dāng)?shù)奶崾净蜻M行必要的排除。這些指令稱為不可達指令。為此，在研究匯編程序軟件測試的過程中，本文提出了一種判定匯編源程序不可達指令的算法。

　　2、不可達指令的判定

　　2.1 算法提出的前提條件

　　程序塊

　　定義1 程序塊是指程序中一個含有少量的語句序列，其中只有一個入口語句和一個或多個出口語句，執(zhí)行時只能從入口語句進入，從出口語句退出。對于一個給定的程序，可以把它劃分為一系列的程序塊。

　　定義2 入口語句是指：1) 程序的第一個語句;2) 或者能夠由條件轉(zhuǎn)移語句或無條件轉(zhuǎn)移語句轉(zhuǎn)移到的語句;3) 或者緊跟在條件轉(zhuǎn)移語句后面的語句。

　　定義3 出口語句是指：1) 下一條入口語句之前的那條語句;2) 或者程序的終止語句。

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

　　1)首先將已經(jīng)劃分好的某個源程序塊的所有語句序列號存入一個預(yù)先定義好的數(shù)組A中;

　　2)取程序段執(zhí)行中可以認可的初始值的上限運行程序，將指令執(zhí)行的語句序列進行記錄，并存入一個預(yù)先定義好的數(shù)組A1中;

　　3)取程序段執(zhí)行中可以認可的初始值的下限運行程序，同樣將指令執(zhí)行的語句序列進行記錄，并存入一個預(yù)先定義好的數(shù)組A2中;

　　4)取程序段執(zhí)行中可以認可的初始值的中間值運行程序，同樣將指令執(zhí)行的語句序列進行記錄，并存入一個預(yù)先定義好的數(shù)組A3中;

　　5)將A1,A2,A3三個數(shù)組分別與源程序段的語句序列數(shù)組A進行逐項比較，并分別把不同項列出并存入數(shù)組B1，B2，B3中;

　　6)最后將分別存有不同項的三個數(shù)組B1，B2，B3進行比較，找出其交集，其交集中的元素即為不可達指令語句號。