白盒测试的方法和原则

白盒测试的方法和原则

2.方法：程序结构分析;逻辑覆盖测试;基本路径测试。

3.原则：

(1)保证一个模块中所有独立路径至少被测试一次;

(2)所有逻辑值均需测试真(True)和假(False)两种情况;

(3)检查程序的内部数据结构，保证其结构的有效性;

(4)在取值上、下边界，即可操作范围内运行所有循环.

4.逻辑覆盖测试:主要是测试覆盖率，以程序内在逻辑结构为基础的测试。

6种：语句覆盖 判断覆盖 条件覆盖 判定-条件覆盖 条件组合覆盖 路径测试.

①语句覆盖：在测试时，首先设计若干个测试用例，然后运行被测程序，使程序中的每个可执行语句至少执行一次 。

·判定：整体 控制。 包括：a、单一条件判定; b、符合条件覆盖

·语句覆盖率：已执行的可执行语句占程序中可执行语句总数的百分比

②判定覆盖：设计足够多的测试用例，使程序中的每个判定至少都获得一次“真值”或“假值”。

③条件覆盖:构造一组测试用例，使得每一判定语句中每个逻辑条件的可能值至少满足一次。

满足条件覆盖的不一定满足判定覆盖，反之亦然。两者无直接关系。

④判定/条件覆盖：设计足够的测试用例，使得判定中每个条件的所有可能(真/假)至少出现一次，并且每个判定本身的判定结果(真/假)也至少出现一次

⑤组合条件覆盖(MCC)：设计足够的测试用例，使得每个判定中条件的各种可能组合都至少出现一次。

满足组合条件覆盖的测试用例是一定满足判定覆盖、条件覆盖和判定/条件覆盖。

⑥修正条件判定覆盖(MCDC)：需要足够的测试用例来确定各个条件能够影响到包含的判定的结果，即要求满足两个条件。