第2章_白盒测试

1、Version 01 Slide 1 7/6/2021 第二章第二章 白盒测试白盒测试 21 静态白盒测试和动态白盒测试静态白盒测试和动态白盒测试 211静态白盒测试静态白盒测试 在不运行软件的条件下在不运行软件的条件下, ,审查软件的设计、结构审查软件的设计、结构 和代码，以便发现软件缺陷的过程。和代码，以便发现软件缺陷的过程。 主要任务：主要任务： （1）走查、复审、评审程序源代码；）走查、复审、评审程序源代码； （2）检查数据字典、系统设计文档、环境设置）检查数据字典、系统设计文档、环境设置 和软件配置项；和软件配置项； Version 01 Slide 2 7/6/2021 21静态白

2、盒测试和动态白盒测试静态白盒测试和动态白盒测试 1. .代码检查代码检查 代码检查的目标是看其与设计文档的一致性、代码的标准代码检查的目标是看其与设计文档的一致性、代码的标准 化和可读性、代码逻辑表达的正确性、代码结构的合理性。化和可读性、代码逻辑表达的正确性、代码结构的合理性。 代码检查的方法是走查和审查。前者是静态分析的非正式代码检查的方法是走查和审查。前者是静态分析的非正式 评审过程，后者是正式的检查和评估方法。评审过程，后者是正式的检查和评估方法。 211静态白盒测试静态白盒测试 Version 01 Slide 3 7/6/2021 21静态白盒测试和动态白盒测试静态白盒测试和动态白

3、盒测试 1. 代码检查代码检查 （1）代码格式）代码格式 嵌套的嵌套的IF是否正确地缩进；是否正确地缩进； 注释是否准确且有意义；注释是否准确且有意义； 使用的标号是否有意义；使用的标号是否有意义； 代码是否遵循了编程规范。代码是否遵循了编程规范。 （2）程序语言的使用）程序语言的使用 是否使用一个或一组最佳动词；是否使用一个或一组最佳动词； 是否使用了适当的转移语句。是否使用了适当的转移语句。 211静态白盒测试静态白盒测试 Version 01 Slide 4 7/6/2021 21静态白盒测试和动态白盒测试静态白盒测试和动态白盒测试 1. 代码检查代码检查 （3）数据引用错误）数据引用错

4、误 引用的变量是否被初始化；引用的变量是否被初始化； 变量是否被赋予了不同类型的值；变量是否被赋予了不同类型的值； 应该使用常量的地方是否使用了变量；应该使用常量的地方是否使用了变量； 数组和字符串的下标是否在值的范围内；数组和字符串的下标是否在值的范围内； 引用的指针是否分配了内存；引用的指针是否分配了内存； 一个数据结构是否在多个函数或子程序中引用，每一一个数据结构是否在多个函数或子程序中引用，每一 个引用中是否明确定义了个引用中是否明确定义了结构。结构。 211静态白盒测试静态白盒测试 Version 01 Slide 5 7/6/2021 21静态白盒测试和动态白盒测试静态白盒测试和动

5、态白盒测试 1. 代码检查代码检查 （4）数据声明错误）数据声明错误 所有变量是否都赋予了正确的长度、类型；所有变量是否都赋予了正确的长度、类型； 变量在声明的同时是否进行了初始化；变量在声明的同时是否进行了初始化； 自定义的变量名是否使用了系统变量名；自定义的变量名是否使用了系统变量名； 声明的变量是否没有使用过。声明的变量是否没有使用过。 211 静态白盒测试静态白盒测试 Version 01 Slide 6 7/6/2021 21静态白盒测试和动态白盒测试静态白盒测试和动态白盒测试 1. 代码检查代码检查 （5）计算错误）计算错误 计算中是否使用了不同数据类型的变量；计算中是否使用了不同

6、数据类型的变量； 计算中是否使用了数据类型相同但长度不同的变量；计算中是否使用了数据类型相同但长度不同的变量； 对于类型和长度不一致的变量计算是否考虑了转换；对于类型和长度不一致的变量计算是否考虑了转换； 在数值计算中是否可能出现溢出；在数值计算中是否可能出现溢出； 计算中的分母是否可能为计算中的分母是否可能为0； 对于整型算术运算，特别是除法处理是否会丢失精度；对于整型算术运算，特别是除法处理是否会丢失精度； 变量的值是否超过有意义的范围；变量的值是否超过有意义的范围； 211静态白盒测试静态白盒测试 Version 01 Slide 7 7/6/2021 21静态白盒测试和动态白盒测试静态

7、白盒测试和动态白盒测试 1. 代码检查代码检查 （5）计算错误）计算错误 对于包含多个操作数据的表达式，求值的次序是否混对于包含多个操作数据的表达式，求值的次序是否混 乱，优先级是否正确。乱，优先级是否正确。 （6）入口出口的连接）入口出口的连接 一个模块对另一个模块的调用是否恰当；一个模块对另一个模块的调用是否恰当； 每个模块的代码是否只有一个入口和出口。每个模块的代码是否只有一个入口和出口。 211静态白盒测试静态白盒测试 Version 01 Slide 8 7/6/2021 21静态白盒测试和动态白盒测试静态白盒测试和动态白盒测试 （7）控制流程错误）控制流程错误 程序中的程序中的be

8、gin-end和和do-while等语句组的等语句组的end是否对应是否对应 程序中的循环是否能够终止；程序中的循环是否能够终止； 程序中是否存在从不执行的循环；程序中是否存在从不执行的循环； 程序中的循环次数是否正确；程序中的循环次数是否正确； 如果存在如果存在switch-case多分支语句，索引变量可能超出分多分支语句，索引变量可能超出分 支的数目，如何正确处理；支的数目，如何正确处理； 是否存在是否存在“丢掉一个错误丢掉一个错误”，导致意外进入循环的情况，导致意外进入循环的情况 代码执行路径是否已经全部覆盖，保证源代码语句至少代码执行路径是否已经全部覆盖，保证源代码语句至少 执行一次。

9、执行一次。 211静态白盒测试静态白盒测试 Version 01 Slide 9 7/6/2021 21静态白盒测试和动态白盒测试静态白盒测试和动态白盒测试 1. 代码检查代码检查 （8）子程序参数错误）子程序参数错误 子程序接收参数的个数、类型是否与调用代码匹配，子程序接收参数的个数、类型是否与调用代码匹配， 次序是否正确；次序是否正确； 如果子程序有多个入口点，引用的参数是否与入口点如果子程序有多个入口点，引用的参数是否与入口点 对应；对应； 常量是否当作形式参数传递，意外在子程序中改动；常量是否当作形式参数传递，意外在子程序中改动； 子程序是否更改了仅作为输入值的参数；子程序是否更改了仅

10、作为输入值的参数； 如果存在全局变量，在所有引用子程序中是否有相似如果存在全局变量，在所有引用子程序中是否有相似 的定义和属性。的定义和属性。 211静态白盒测试静态白盒测试 Version 01 Slide 10 7/6/2021 21静态白盒测试和动态白盒测试静态白盒测试和动态白盒测试 1. 代码检查代码检查 （9）输入输出错误）输入输出错误 软件是否严格遵守外部设备读写数据的格式；软件是否严格遵守外部设备读写数据的格式； 如果文件或外设不存在，程序是否处理；如果文件或外设不存在，程序是否处理； 如果外设没有连接、不可使用，程序是否处理；如果外设没有连接、不可使用，程序是否处理； 如果外设

11、在写入过程中存储空间已满，程序是否处理；如果外设在写入过程中存储空间已满，程序是否处理； 提示信息是否准确。提示信息是否准确。 211静态白盒测试静态白盒测试 Version 01 Slide 11 7/6/2021 21静态白盒测试和动态白盒测试静态白盒测试和动态白盒测试 2. 静态静态结构分析结构分析 通过工具对系统内部结构进行分析，并以图形的方式表现通过工具对系统内部结构进行分析，并以图形的方式表现 ，得到函数调用关系图、函数内部控制流图等。，得到函数调用关系图、函数内部控制流图等。 检查函数调用是否存在以下现象：检查函数调用是否存在以下现象： 是否存在递归调用；是否存在递归调用； 函数

12、调用是否过深；函数调用是否过深； 是否存在未被调用的函数。是否存在未被调用的函数。 211静态白盒测试静态白盒测试 Version 01 Slide 12 7/6/2021 21静态白盒测试和动态白盒测试静态白盒测试和动态白盒测试 在运行软件的条件下，检查代码功能和实现方法，以便确在运行软件的条件下，检查代码功能和实现方法，以便确 定测试内容、找出软件缺陷的过程。定测试内容、找出软件缺陷的过程。 主要任务：检查程序代码，通过驱动程序、桩程序来调用主要任务：检查程序代码，通过驱动程序、桩程序来调用 、驱动被测程序的运行，并设计测试用例。动态白盒测试可以、驱动被测程序的运行，并设计测试用例。动态白

13、盒测试可以 用于单元测试、集成测试和部分性能、可靠性、恢复性测试。用于单元测试、集成测试和部分性能、可靠性、恢复性测试。 212 动态白盒测试动态白盒测试 Version 01 Slide 13 7/6/2021 22白盒测试的重点及其对策白盒测试的重点及其对策 1. .模块接口测试模块接口测试 主要是检查模块输入、输出量的正确性。主要是检查模块输入、输出量的正确性。 （1）实际输入与定义的输入是否一致，包括参数个数、）实际输入与定义的输入是否一致，包括参数个数、 类型、顺序；类型、顺序； （2）对于非内部（局部）的变量使用是否合理；）对于非内部（局部）的变量使用是否合理； （3）调用其他模块

14、时是否检查了本模块的可用性和处理）调用其他模块时是否检查了本模块的可用性和处理 结果；结果； （4）调用外部资源是否检查了可用性，是否及时释放了）调用外部资源是否检查了可用性，是否及时释放了 资源。资源。 Version 01 Slide 14 7/6/2021 22白盒测试的重点及其对策白盒测试的重点及其对策 2. 局部数据结构测试局部数据结构测试 （1）变量是否从来没有使用过；）变量是否从来没有使用过； （2）变量是否被初始化；）变量是否被初始化； （3）程序中是否包含了错误的类型转换。）程序中是否包含了错误的类型转换。 （4 4）程序中是否存在数组越界）程序中是否存在数组越界 （5 5）

15、程序中是否存在非法指针）程序中是否存在非法指针 （6 6）程序中是否存在变量或函数的拼写错误程序中是否存在变量或函数的拼写错误 （7 7）程序中是否使用了外部变量或函数程序中是否使用了外部变量或函数 Version 01 Slide 15 7/6/2021 22白盒测试的重点及其对策白盒测试的重点及其对策 3. 模块边界条件测试模块边界条件测试 （1）普通合法数据处理是否正确）普通合法数据处理是否正确 ； （2）普通非法数据处理是否正确）普通非法数据处理是否正确 ； （3）边界附近的合法数据处理是否正确）边界附近的合法数据处理是否正确 ； （4）边界附近的非法数据处理是否正确。）边界附近的非法

16、数据处理是否正确。 Version 01 Slide 16 7/6/2021 22白盒测试的重点及其对策白盒测试的重点及其对策 4. 模块独立路径测试模块独立路径测试 通过对独立路径的测试，检查计算错误、逻辑错误和控制通过对独立路径的测试，检查计算错误、逻辑错误和控制 流错误。流错误。 （1）程序中是否存在死代码）程序中是否存在死代码 ； （2）程序中是否存在错误的计算优先级）程序中是否存在错误的计算优先级 ； （3）程序中是否存在计算精度错误）程序中是否存在计算精度错误 ； （4）表达式使用的符号是否正确；）表达式使用的符号是否正确； （5）循环变量的初始值是否正确。）循环变量的初始值是否正

17、确。 Version 01 Slide 17 7/6/2021 22白盒测试的重点及其对策白盒测试的重点及其对策 5. 内部错误处理测试内部错误处理测试 （1）程序中是否存在检查出错的措施；）程序中是否存在检查出错的措施； （2）程序中是否存在处理出错的措施）程序中是否存在处理出错的措施 ； （3）程序出错的处理措施是否有效）程序出错的处理措施是否有效 。 白盒测试的理想目标白盒测试的理想目标: : （1）保证每个模块中的所有独立路径都被执行一次；）保证每个模块中的所有独立路径都被执行一次； （2）所有的逻辑值都要测试）所有的逻辑值都要测试True和和False； （3）在上下边界及可操作范围

18、内运行所有循环；）在上下边界及可操作范围内运行所有循环； （4）检查内部数据结构，确保数据的有效性。）检查内部数据结构，确保数据的有效性。 Version 01 Slide 18 7/6/2021 23白盒测试的测试用例设计方法白盒测试的测试用例设计方法 2.3.1 逻辑覆盖逻辑覆盖 If (a1) and (b=0) then x=x/a If (a=2) or (x1) then x=x+1 开始开始 x=x/a M x=x+1 结束结束 (a=2) or (x1) T T F F (a1) and (b=0) N K J T T F F Version 01 Slide 19 7/6/2

19、021 2 23 3白盒测试的测试用例设计方法白盒测试的测试用例设计方法 P1：（：（M-K-N-J），），M=.T. and N=.T.； P2：（：（M-K-N），），M=.T. and N=.F.； P3：（：（M-N-J），），M=.F. and N=.T.； P4：（：（M-N），），M=.F. and N=.F.。 2.3.1 逻辑覆盖逻辑覆盖 Version 01 Slide 20 7/6/2021 2 23 3白盒测试的测试用例设计方法白盒测试的测试用例设计方法 1.1.语句覆盖语句覆盖 语句覆盖是指设计足够的测试用例，使被测试程序中每个语句覆盖是指设计足够的测试用例，使被测试

20、程序中每个 语句至少执行一次。语句至少执行一次。 M=a1 and (b=0)、N= a=2 or (x1) 设计测试用例设计测试用例: : a=.T.，b=.T.，x=.T. （执行了所有语句）（执行了所有语句） a=.T.，b=.F.，x=.T. （K过程的语句没有执行）过程的语句没有执行） a=.F.，b=.T.，x=.F. （K、J过程语句都没执行）过程语句都没执行） 2.3.1 逻辑覆盖逻辑覆盖 Version 01 Slide 21 7/6/2021 23白盒测试的测试用例设计方法白盒测试的测试用例设计方法 2.判定覆盖判定覆盖 判定覆盖指设计足够的测试用例，使得被测程序中每个判判

21、定覆盖指设计足够的测试用例，使得被测程序中每个判 定表达式至少获得一次定表达式至少获得一次“真真”值和值和“假假”值，从而使程序的每值，从而使程序的每 一个分支至少都通过一次。一个分支至少都通过一次。 设计测试用例方法：每一个判定都取到设计测试用例方法：每一个判定都取到T和和F值，将多个判值，将多个判 定进行组合。组合中的判定一定是一次为定进行组合。组合中的判定一定是一次为T一次为一次为F。 2.3.1 逻辑覆盖逻辑覆盖 Version 01 Slide 22 7/6/2021 23白盒测试的测试用例设计方法白盒测试的测试用例设计方法 2.判定覆盖判定覆盖 2.3.1 逻辑覆盖逻辑覆盖 M=a

22、1 and (b=0)，N= a=2 or (x1) M=.T. and N=.T. （P1） M=.F. and N=.F. （ P4） M=.T. and N=.F. （P2） M=.F. and N=.T. （P3） 输入数据输入数据 a=2，b=0，x=3 a=1，b=0，x=1 输入数据输入数据 a=3，b=0，x=1 a=2，b=1，x=3 判定覆盖的用例也满足了语句覆盖。但是，判定覆盖同判定覆盖的用例也满足了语句覆盖。但是，判定覆盖同 样不能完全测出逻辑条件的错误。样不能完全测出逻辑条件的错误。 Version 01 Slide 23 7/6/2021 23白盒测试的测试用例设计

23、方法白盒测试的测试用例设计方法 3. 条件覆盖条件覆盖 条件覆盖是指设计足够的测试用例，使得判定表达式中每条件覆盖是指设计足够的测试用例，使得判定表达式中每 个条件的各种可能的值至少出现一次个条件的各种可能的值至少出现一次 。 四种条件：四种条件：a1、b=0、a=2、x1。 八种取值：八种取值：T1、F1、T2、F2、T3、F3、T4、F4。 设计测试用例设计测试用例: : a=F，b=T，x=F a=T，b=F，x=T 2.3.1 逻辑覆盖逻辑覆盖 Version 01 Slide 24 7/6/2021 23白盒测试的测试用例设计方法白盒测试的测试用例设计方法 3. 条件覆盖条件覆盖 2

24、.3.1 逻辑覆盖逻辑覆盖 测试用例（输入数据）测试用例（输入数据）条件取值条件取值判定取值判定取值通过路径通过路径 a=2, b=-1, x=-2T1, F2, T3, F4M: T1 and F2 =.F. N: T3 or F4 = .T. P3:（M-N-J） a=-1, b=0, x=3F1, T2, F3, T4M: F1 and T2 = .F. N: F3 or T4 = .T. P3:（M-N-J） Version 01 Slide 25 7/6/2021 23白盒测试的测试用例设计方法白盒测试的测试用例设计方法 4. .判定判定- -条件覆盖条件覆盖 判定判定- -条件覆盖

25、是指设计足够的测试用例，使得判定表达式条件覆盖是指设计足够的测试用例，使得判定表达式 的每个条件的所有可能取值至少出现一次，并使每个判定表达的每个条件的所有可能取值至少出现一次，并使每个判定表达 式所有可能的结果也至少出现一次式所有可能的结果也至少出现一次 。 2.3.1 逻辑覆盖逻辑覆盖 测试用例（输入数据）测试用例（输入数据）条件取值条件取值判定取值判定取值通过路径通过路径 a=2, b=0, x=6T1, T2, T3, T4M: T1 and T2 =.T. N: T3 or T4 = .T. P1:（M-K-N-J） a=-1, b=-2, x=-3F1, F2, F3, F4M:

26、F1 and F2 = .F. N: F3 or F4 = .F. P4:（M-N） Version 01 Slide 26 7/6/2021 23白盒测试的测试用例设计方法白盒测试的测试用例设计方法 5. 条件组合覆盖条件组合覆盖 条件组合覆盖是指设计足够的测试用例，使判定中的每个条件组合覆盖是指设计足够的测试用例，使判定中的每个 条件的所有可能至少出现一次，并且每种判定结果也至少出现条件的所有可能至少出现一次，并且每种判定结果也至少出现 一次。一次。 在实际的逻辑覆盖测试中，一般以条件组合覆盖为主来设在实际的逻辑覆盖测试中，一般以条件组合覆盖为主来设 计测试用例，然后再补充部分用例计测试用

27、例，然后再补充部分用例 。以上。以上a和和b、a和和x x分别对分别对 应了应了4种组合。种组合。 2.3.1 逻辑覆盖逻辑覆盖 Version 01 Slide 27 7/6/2021 23白盒测试的测试用例设计方法白盒测试的测试用例设计方法 5. 条件组合覆盖条件组合覆盖 2.3.1 逻辑覆盖逻辑覆盖 编号编号组合条件组合条件判定取值判定取值 1T1, T2M=.T. 2T1, F2M=.F. 3F1, T2M=.F. 4F1, F2M=.F. 5T3, T4N=.T. 6T3, F4N=.T. 7F3, T4N=.T. 8F3, F4N=.F. Version 01 Slide 28 7

28、/6/2021 23白盒测试的测试用例设计方法白盒测试的测试用例设计方法 5. 条件组合覆盖条件组合覆盖 2.3.1 逻辑覆盖逻辑覆盖 测试用例（输入数据）测试用例（输入数据）取值条件取值条件覆盖路径覆盖路径编号组合编号组合 输入输入:a=2, b=0, x=6T1, T2, T3, T4P1:（M-K-N-J）1, 5 输入输入:a=2, b=-1, x=-2T1, F2, T3, F4P3:（M-N-J）2, 6 输入输入:a=-1, b=0, x=3F1, T2, F3, T4P3:（M-N-J）3, 7 输入输入:a=-1, b=-2, x=-3F1, F2, F3, F4P4:（M-

29、N）4, 8 M=a1 and (b=0) , N= a=2 or (x1) Version 01 Slide 29 7/6/2021 23白盒测试的测试用例设计方法白盒测试的测试用例设计方法 2.3.2 路径测试路径测试 路径测试是以程序控制流图为基础，通过分析控制结构的路径测试是以程序控制流图为基础，通过分析控制结构的 环路复杂性，导出可执行的路径集，设计对应各路径的测试用环路复杂性，导出可执行的路径集，设计对应各路径的测试用 例进行测试。应当将覆盖的路径集合压缩到一定的限度内。工例进行测试。应当将覆盖的路径集合压缩到一定的限度内。工 作步骤如下：作步骤如下： （1）描述程序控制流图；）描

30、述程序控制流图； （2）导出程序基本路径集合中的独立路径条数；）导出程序基本路径集合中的独立路径条数； （3）根据独立路径和结构，设计输入数据和预期结果；）根据独立路径和结构，设计输入数据和预期结果； （4）利用测试用例进行测试。）利用测试用例进行测试。 Version 01 Slide 30 7/6/2021 2 23 3白盒测试的测试用例设计方法白盒测试的测试用例设计方法 2.3.2 路径测试路径测试 控制流图的画法：控制流图的画法： 顺序结构顺序结构if选择结构选择结构 while循环结构循环结构 until循环结构循环结构 case多分支结构多分支结构 Version 01 Slide

31、 31 7/6/2021 2 23 3白盒测试的测试用例设计方法白盒测试的测试用例设计方法 2.3.2 路径测试路径测试 举例：举例： void sort (int iRecordNum, int iType) 1 2 int x=0; 3 int y=0; 4 while ( iRecordNum 0) 5 6if (iType = = 0) 7 x=y+2;break; 8 else 9 10 if (iType= = 1) 11 x=y+10; 12 else 13 x=y+20; 14 15 16 Version 01 Slide 32 7/6/2021 2 23 3白盒测试的测试用例

32、设计方法白盒测试的测试用例设计方法 2.3.2 路径测试路径测试 控制流图的画法：控制流图的画法： 4 7 16 6 8 1112 15 程序流程图程序流程图 4 1 2 8 6 7 1 1 1 5 1 6 控制流图控制流图 F T TF TF Version 01 Slide 33 7/6/2021 2 23 3白盒测试的测试用例设计方法白盒测试的测试用例设计方法 2.3.2 路径测试路径测试 圈复杂度的概念圈复杂度的概念: :为程序逻辑复杂性提供定量计算的软件为程序逻辑复杂性提供定量计算的软件 度量，该度量反映了程序的基本独立路径数目，是确保所有度量，该度量反映了程序的基本独立路径数目，是

33、确保所有 语句至少执行一次测试数量的上界。计算方法如下：语句至少执行一次测试数量的上界。计算方法如下： （1）流图中区域的数量对应于环型的复杂度；）流图中区域的数量对应于环型的复杂度； （2）圈复杂度圈复杂度V(G)=E-N+2，E是控制流图中边的数量，是控制流图中边的数量， N是流图中结点的数量；是流图中结点的数量； （3）圈复杂度）圈复杂度V(G)=P+1，P是程序流图是程序流图G中判定结点的中判定结点的 数量。数量。 Version 01 Slide 34 7/6/2021 2 23 3白盒测试的测试用例设计方法白盒测试的测试用例设计方法 2.3.2 路径测试路径测试 路径路径1：4-1

34、6； 路径路径2：4-6-7-16； 路径路径3：4-6-8-11-15-4-16； 路径路径4：4-6-8-12-15-4-16。 序序 号号 路径路径输入数据输入数据 预期结预期结 果果 14-16 iRecordNum=0，或或 iRecordNum0 x=0 24-6-7-16iRecordNum=1，iType=0 x=2 34-6-8-11-15-4-16 iRecordNum=1，或或 iType=1x=10 44-6-8-12-15-4-16iRecordNum=1，iType=2x=20 Version 01 Slide 35 7/6/2021 2 23 3白盒测试的测试用例

35、设计方法白盒测试的测试用例设计方法 2.3.3 数据流测试数据流测试 数据流测试主要是关注变量的赋值和使用，利用程序中数数据流测试主要是关注变量的赋值和使用，利用程序中数 据流的关系指导选取测试用例。据流的关系指导选取测试用例。 c-use变量：定义变量：定义- -使用链是从定义语句到包含了计算使使用链是从定义语句到包含了计算使 用语句的路径。用语句的路径。 p-use变量：定义变量：定义- -使用链是从定义语句到对该变量进行使用链是从定义语句到对该变量进行 判断使用的语句的两个后继语句的路径。判断使用的语句的两个后继语句的路径。 数据流测试方法是用定义数据流测试方法是用定义- -使用链来确定测试路径，利用使用链来确定测试路径，利用 覆盖标准设计测试用例。覆盖标准设计测试用例。 Version 01 Slide 36 7/6/2021 24白盒测试的覆盖准则白盒测试的覆盖准则 2.4.1 ESTCA覆盖准则覆盖准则 ESTCA覆盖准则是一套错误敏感用例分析规则。覆盖准则是一套错误敏感用例分析规则。 规则规则11：对于对于A rel B型型 （ rel可以是可以是）的分支谓词，应适当）的分支谓词，应适当 的选择的选择A与与B的值，使得测试执行到该分支语句时，的值，使得测试执行到该分支语句时，AB的情的情 况分别出现一次。况分别出现一次。 规则规则2 ：对于：对于A r