Lightweight property-based testing at Row Zero
a day ago
- Row Zero 是一款快速电子表格，它依赖基于属性的测试来确保质量。
- 基于属性的测试涉及采样输入、执行操作，并检查不变性或者与参考模型进行比较。
- 主要使用三种类型的测试：黑盒参考模型测试、不变性测试和崩溃测试。
- 他们使用自定义测试模板，包含非确定性种子、复杂度缩放和确定性回放。
- 示例包括测试内置函数、CSV 解析、处理损坏的 CSV 以及隐藏行结构。
- 基于属性的测试维护成本低、易于编写，且能有效发现错误。