| Woodward等人曾经指出结构覆盖的一些准则，如分支覆盖或路径覆盖，都不足以保证测试数据的有效性。为此，他们提出了一种层次LCSAJ覆盖准则。
|
|
|
| LCSAJ（Linear Code Sequence and Jump）的意思是线性代码序列与跳转。一个LCSAJ是一组顺序执行的代码，以控制流跳转为其结束点。它不同于判断—判断路径。判断—判断路径是根据程序有向图决定的。一个判断—判断路径是指两个判断之间的路径，但其中不再有判断。程序的入口、出口和分支结点都可以是判断点。而LCSAJ的起点是根据程序本身决定的。它的起点是程序第一行或转移语句的入口点，或是控制流可以跳达的点。几个首尾相接，且第一个LCSAJ起点为程序起点，最后一个LCSAJ终点为程序终点的LCSAJ串就组成了程序的一条路径。一条程序路径可能是由两个、三个或多个LCSAJ组成的。基于LCSAJ与路径的这一关系，Woodward提出了LCSAJ覆盖准则。这是一个分层的覆盖准则，具体如下。
|
|
|
|
|
|
|
| . ［第三层］：LCSAJ覆盖。即程序中的每一个LCSAJ都至少在测试中经历过一次。
|
|
|
| . ［第四层］：两两LCSAJ覆盖。即程序中每两个首尾相连的LCSAJ组合起来在测试中都要经历一次。
|
|
|
|
|
| . ［第n+2层］：每n个首尾相连的LCSAJ组合在测试中都要经历一次。
|
|
|
|
|
| 在实施测试时，若要实现上述的Woodward层次LCSAJ覆盖，需要产生被测程序的所有LCSAJ。
|
|
|
京公网安备 11010502032051号 | 营业执照