الاختبار بالخصائص والعلاقات التحويلية

from itertools import product
from collections import Counter
for size in range(4):
    for values in product([-1, 0, 1], repeat=size):
        result = sorted(values)
        assert all(a <= b for a, b in zip(result, result[1:]))
        assert Counter(result) == Counter(values)
        assert sorted(result) == result

تعطي الأطوال 0–3 وثلاث قيم 1+3+9+27=40 مدخلاً. يفحص المثال ترتيب المكتبة القياسية لا تنفيذاً تطبيقياً غير متوفر.

def total(items):
    return sum(items)

a, b = [120, 80], [50]
assert total(a) == 200
assert total(list(reversed(a))) == total(a)
assert total(a + [0]) == total(a)
assert total(a + b) == total(a) + total(b)

يمنع التحقق الدقيق من 200 سنت مرور تنفيذ يعيد صفراً دائماً عبر جميع العلاقات دون كشف.