本文讨论了一种判定汇编语言程序不可达指令的算法，并通过一个示例程序说明了算法的实现并验证了其正确性。本文的工作为覆盖测试更全面、更有效的进行做了必要的补充，下一步需要做的是研究高效的覆盖测试算法，以提高测试的覆盖率。

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

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