【安全技术系列】白盒测试方法+demo演示

首先，说一下什么是单元测试。

单元测试是一种软件测试类型，其中测试用例针对单个代码单元（例如函数、类或模块）进行设计和执行。单元测试旨在验证代码单元的正确性、隔离性和健壮性。

什么是白盒测试：

白盒测试是一种软件测试技术，其中测试人员具有对被测代码的内部结构和实现细节的完全访问权限。白盒测试技术包括：

语句覆盖：测试用例执行代码中的每一行语句。

判定覆盖：测试用例执行代码中的每个判定条件的每个分支。

条件覆盖：测试用例使得代码中的每个条件表达式的每个条件都取得真值和假值。

判定/条件覆盖：测试用例覆盖所有判定条件和条件表达式，以及它们的所有可能取值。

组合覆盖：测试用例覆盖程序中不同参数的所有组合情况。

路径覆盖：测试用例执行代码中的每个可能执行路径。

单元测试和白盒测试的关系：

单元测试和白盒测试密切相关，因为白盒测试技术通常用于设计和执行单元测试。白盒测试的详细知识使测试人员能够创建针对代码内部结构的有效测试用例，从而提高单元测试的覆盖率和有效性。

通过使用白盒测试技术，单元测试可以：

确保代码中的所有语句、条件和路径都已执行。

识别代码中的逻辑错误和实现缺陷。

提高代码的健壮性和可靠性。

促进代码的可维护性和可测试性。

白盒测试的代码实例：

• 语句覆盖：

def func1():
    print("Statement 1")
    print("Statement 2")

func1()  # 覆盖了两个语句

• 判定覆盖：

def func2(x):
    if x > 0:
        print("Positive")
    else:
        print("Non-positive")

func2(1)  # 覆盖了 if 分支
func2(-1)  # 覆盖了 else 分支

• 条件覆盖：

def func3(x):
    if x == 0:
        print("Zero")
    elif x > 0:
        print("Positive")

func3(0)  # 条件 x == 0 为 True
func3(1)  # 条件 x > 0 为 True，条件x==0 为False
func3(-1) # 条件 x < 0 为 False，条件x==0 为False

• 判断/条件覆盖：

def func4(x, y):
    if x > 0:
        if y == 0:
            print("X positive, Y zero")
        else:
            print("X positive, Y non-zero")
    else:
        print("X non-positive")

func4(1, 0)#覆盖了两个if，且条件都是True
func4(1, 1)#第一个if条件为True,第二个if中的条件为False,覆盖了嵌套的else
func4(-1, 0)#第一个if条件为False,覆盖了第一个if中的else

• 组合覆盖：

def func5(x, y):
    print(x, y)

func5(1, 2)
func5(1, 0)
func5(1, -1)
func5(0, 1)
func5(0, 0)
func5(0, -1)
func5(-1, 1)
func5(-1, 0)
func5(-1, -1)  # 覆盖正数、零和负数的所有参数组合

• 路径覆盖：

def func6(x):
    if x > 0:
        print("Take true path")
    else:
        print("Take false path")

    print("End")

func6(1)  # 覆盖了 if 分支和print("End")的执行路径
func6(-1)  # 覆盖了 else 分支和print("End")的执行路径

​