پرش به محتوا

صحت (علوم رایانه)

از ویکی‌پدیا، دانشنامهٔ آزاد

در علوم رایانه نظری، صحت (به انگلیسی: Correctness) یک الگوریتم اینگونه ارزیابی می‌شود که آن الگوریتم تا چه میزان نسبت به مشخصات خاصی تطابق دارد. صحت تابعی (به انگلیسی: Functional) به رفتار ورودی-خروجی الگوریتم (یعنی تا چه حد برای هر ورودی، خروجی مورد انتظار را تولید می‌کند) اشاره دارد.[۱]

پانویس

[ویرایش]
  1. Dunlop, Douglas D.; Basili, Victor R. (June 1982). "A Comparative Analysis of Functional Correctness". Communications of the ACM. 14 (2): 229–244. doi:10.1145/356876.356881.

منابع

[ویرایش]