单元测试既不属于动态测试也不属于静态测试。
单元测试既可以使用静态分析,也可以使用动态测试,对于静态测试和动态测试应该配合使用。
从静态测试方面来说,静态测试的静态代码分析结果可以适用于所有可能的运行情况,但动态测试由于总是对特殊取值的测试,因此仅能测试到程序的特定属性,即保证被测组件在测试平台上对于特定的输入是有效的。
所以说静态测试与动态测试应该配合使用,两者各有千秋。首先在单元测试的运行中从特殊到一般地推导出推测性不变量,然后利用分析工具从一般到特殊地验证不变量的存在,或者利用可在运行时检查的断言对代码进行注释。
❤ 点击这里 -> 订阅《PAT | 蓝桥 | LeetCode学习路径 & 刷题经验》by 柳婼