【软件测试】单元测试不属于动态测试

单元测试既不属于动态测试也不属于静态测试。

单元测试既可以使用静态分析,也可以使用动态测试,对于静态测试和动态测试应该配合使用。

从静态测试方面来说,静态测试的静态代码分析结果可以适用于所有可能的运行情况,但动态测试由于总是对特殊取值的测试,因此仅能测试到程序的特定属性,即保证被测组件在测试平台上对于特定的输入是有效的。

而从另一方面来说,动态测试可以覆盖到程序的各种前置条件和后置条件的组合情况,能够真实反映程序在特定运行期的运转情况,并能说明执行的常用路径,大大超过同期静态分析所能达到的范围。

所以说静态测试与动态测试应该配合使用,两者各有千秋。首先在单元测试的运行中从特殊到一般地推导出推测性不变量,然后利用分析工具从一般到特殊地验证不变量的存在,或者利用可在运行时检查的断言对代码进行注释。

❤ 点击这里 -> 订阅《PAT | 蓝桥 | LeetCode学习路径 & 刷题经验》by 柳婼

❤ 点击这里 -> 订阅《从放弃C语言到使用C++刷算法的简明教程》by 柳婼

❤ 点击这里 -> 订阅PAT甲级乙级、蓝桥杯、GPLT天梯赛、LeetCode题解离线版