在我看来，一个令人信服且易于理解的例子是素因子分解。看看这样一个算法的blog article on property-driven development。

• 完全披露：* 我是这篇文章的作者，也是所用PBT库的主要提交者。

考虑一下实现（抱歉是Java），因为它是在TDD使用属性的几个步骤之后产生的：

public static List<Integer> factorize(int number) {
    List<Integer> factors = new ArrayList<>();
    int candidate = 2;
    while (number >= candidate) {
        while (number % candidate != 0) {
            candidate++;
        }
        factors.add(candidate);
        number /= candidate;
    }
    return factors;
}

字符串
从算法的Angular 来看，factorize工作正常。一些缺点-例如。处理大数字时，潜在的整数溢出-只有当您使用通用属性将其设置为压力时才能发现：

@Property
void all_numbers_above_1_can_be_factorized(
        @ForAll @IntRange(min = 2, max = 10000) int number
) {
    List<Integer> factors = Primes.factorize(number);
    Integer product = factors.stream().reduce(1, (a, b) -> a * b);
    Assertions.assertThat(product).isEqualTo(number);
}

型
如果您开始增加max超过1_000_000并接近Integer.MAX_VALUE范围，则算法将运行很长时间或根本无法完成。这些失败的属性导致算法的改变，以处理整数的全范围的因式分解。快速运行到最大整数值的实现例如是：

public static List<Integer> factorize(int number) {
    List<Integer> factors = new ArrayList<>();
    int candidate = 2;
    while (number >= candidate) {
        while (number % candidate != 0) {
            if (Math.sqrt(number) < candidate) {
                candidate = number;
            } else {
                candidate++;
            }
        }
        factors.add(candidate);
        number /= candidate;
    }
    return factors;
}

型
在我了解PBT之前，我倾向于不测试这些东西;现在自然就来了。