白盒测试的覆盖标准

Posted 2020-12-16 bigbigtong

　　　1.白盒测试开展的必要条件：

　　　　　　程序的规格说明及程序清单

　　　　　　规格说明：规格说明是一个对软件所应满足的要求，以可验证的方式作出完全、精确陈述的文件。

 

• • • 功能规格说明----对软件所应具备的功能作出规定；
    • 性能规格说明----对软件所应具备的性能，如计算精度、响应速度和占用存储空间的大小等作出规定；
    • 接口规格说明----对软件与其环境之间、软件各组成部分之间的接口关系作出规定；
    • 设计规格说明----对软件的设计加以说明。典型的内容包括使用的算法、控制逻辑、数据结构、模块间接口关系,以及输入-输出格式等。

　　　　　   程序清单：做的一个完整的工程之后，所有编写的程序代码，包括主函数，调用函数，子函数等。　

　　　2.白盒测试的覆盖标准

　　　　最彻底的白盒测试是覆盖程序中的每一条路径，但由于程序中有循环，所以路径数目极大，无法执行所有的路径，所以只能希望能尽可能的覆盖到更多的路径。

　　　

　　　　比如上述程序流程图中有5条路径，包含了20次循环，如果要对其路径进行穷举覆盖，那么就有5^20（95 367 431 640 625）条路径，假如每条路径执行的时间为1毫秒，那么一天24小时不停的执行，则需要大约3024年。可见，完全覆盖所有的路径是不可能的。为了衡量测试的覆盖程度，需要一些标准，常用的标准从低到高分别是：

　　　　语句覆盖：

　　　　　　语句覆盖是一种较弱的测试标准，含义就是，选择足够的测试用例，使得程序中的每一条语句至少能被执行一次。

　　　　　　是最弱的逻辑覆盖，它必须和其他方法交互使用。

　　　　　　

import unittest


class TestDemo(unittest.TestCase):

    def demo(self, A, B, X):
        if A == 1 and B == 0:
            X = X / A
        if A > 2 or X == 1:
            X = X
        return X

    def test_demo_with_conditional_coverage_1(self):
        ‘‘‘
        使用语句覆盖测试 方法demo
        A=1，B=0，X=1
        判定A == 1 and B == 0为真，执行
        判定A > 2 or X == 1为真，执行
        ‘‘‘
        X = self.demo(A=2, B=0, X=1)
        expected = 1
        self.assertEqual(expected, X)



if __name__ == ‘__main__‘:
    unittest.main()

 

 

　　　　判定覆盖：

　　　　　　判定覆盖也称分支覆盖，含义是，执行足够的测试用例，使得程序中的每一个分支至少通过一次；

　　　　　　只比语句覆盖强一点，不能完全查出在判断的条件中存在的错误，需要更强的逻辑覆盖准则去检验内部条件。

　　　　条件覆盖：

　　　　　　含义是执行足够的测试用例，使得程序中每个判断的每个条件的每个可能值至少执行一次