Correctness Condition
Bir yazılım veya üretilen değişikliğin yalnız çalışıyor görünmesini değil, hangi girdiler ve sınırlar altında doğru kabul edileceğini belirleyen açık koşul.
“Çalıştı” ile “doğru” aynı yargı değildir.
Bir doğruluk koşulu, beklenen davranışı gözlenebilir ve sınanabilir hale getirir. Örneğin gerçek zamanlı bir işleyicide yalnız sonuç üretmek yeterli olmayabilir; sıra korunmalı, aynı girdi iki kez işlenmemeli ve gecikme belirli bir sınırı aşmamalıdır.
doğru = işlevsel sonuç
+ değişmezlerin korunması
+ hata sınırları
+ zaman/kaynak kısıtlarıHer problem bu kadar biçimsel yazılamaz. Yine de koşullar açıkça belirtilmediğinde insan ile yapay zekâ aracı “başarı” sözcüğünü farklı yorumlayabilir.
Niyet programlamada bu nokta kritiktir: amaç yalnız kod üretmek değil, üretilen davranışın neye göre kabul edileceğini tanımlamaktır.
İlgili: Niyet Programlama.