基于属性的测试概述

基于属性的测试是一种测试方法，它通过定义一些始终为真的语句来进行测试，而不是依赖于具体的示例。这种方法可以减少测试数量，同时覆盖大量的输入情况。

Lucy Mair在NDC Oslo 2023的演讲

Lucy Mair在NDC Oslo 2023上介绍了基于属性的测试。她解释道，这种测试技术通过识别属性（即“对于满足某些前提条件的所有输入，某些谓词成立”的语句）来编写测试。

测试步骤

1. 编写一个函数来定义属性，该函数接受满足前提条件的输入，并断言谓词成立。
2. 使用基于属性的测试框架生成大量不同的输入，并运行该函数以检查谓词是否成立。

虽然Mair使用了FsCheck和F#进行示例演示，但这种方法适用于任何编程语言。

主要优点

基于属性测试的最直接好处是能够通过较少的测试覆盖大量输入情况，从而提高代码的通用性和可靠性。这种方法特别有助于发现可能从未考虑过的边缘情况。

性能影响

基于属性的测试通过生成和测试大量案例来工作，因此比传统的单元测试耗时更长。性能影响因具体用例而异。

InfoQ采访Lucy Mair

属性示例

Mair以concat(a, b)函数为例，该函数连接两个列表。她提出了以下始终为真的属性：

• c的长度等于a.length + b.length。
• a中的所有元素都存在于c中。
• b中的所有元素都存在于c中。
• 与空列表连接返回相同的列表。

前端开发中的基于属性测试

在JavaScript中进行基于属性测试面临一些独特挑战：

1. JavaScript的松散运行时类型使得生成正确形状的对象进行测试变得复杂，TypeScript的编译时类型也无法帮助创建正确形状的对象。
2. 前端的组件渲染测试速度较慢，特别是涉及模拟用户交互时。

潜在缺点

对于纯函数的基于属性测试，性能影响通常可以忽略不计。然而，如果测试涉及“慢”操作（如渲染组件、API调用或计算密集型任务），则性能开销可能过大。此外，在现有代码库中引入基于属性的测试可能会遇到挑战，特别是那些在程序运行中从未出现的边缘情况。