صِحَّة الخوارزمية

Also known as correctness (computer science)

يتم تأكيد صحة الخوارزمية عندما يُقال إن الخوارزمية صحيحة فيما يتعلق بالمواصفات. تشير الدقة الوظيفية إلى سلوك المدخلات والمخرجات للخوارزمية (أي لكل إدخال ينتج عنه الناتج المتوقع)