الاختبار والتشخيص والتنقيح

#include <stdio.h>

static int maximum(int a, int b)
{
    return a >= b ? a : b;
}

int main(void)
{
    if (maximum(2, 5) != 5) return 1;
    if (maximum(-3, 0) != 0) return 1;
    if (maximum(4, 4) != 4) return 1;
    puts("3 checks passed");
    return 0;
}

3 checks passed

كل نتيجة متوقعة قيمة معروفة؛ ولا يطبع النجاح إلا بعد اجتياز كل الفحوص.

#include <assert.h>
#include <stdio.h>

int main(void)
{
    int a = 7;
    int b = 4;
    int result = a >= b ? a : b;
    assert(result >= a && result >= b);
    if (result != 7) return 1;
    puts("invariant holds");
    return 0;
}

invariant holds

لا يعتمد حساب result على تفعيل assert.