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

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

پانویس[ویرایش]

↑ 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.

منابع[ویرایش]

"Human Language Technology. Challenges for Computer Science and Linguistics." Google Books. N.p. , n.d. Web. 10 April 2017.
"Security in Computing and Communications." Google Books. N.p. , n.d. Web. 10 April 2017.
"The Halting Problem of Alan Turing - A Most Merry and Illustrated Explanation." The Halting Problem of Alan Turing - A Most Merry and Illustrated Explanation. N.p. , n.d. Web. 10 April 2017.
Turner, Raymond, and Nicola Angius. "The Philosophy of Computer Science." Stanford Encyclopedia of Philosophy. Stanford University, 20 August 2013. Web. 10 April 2017.
Dijkstra, E. W. "Program Correctness". U of Texas at Austin, Departments of Mathematics and Computer Sciences, Automatic Theorem Proving Project, 1970. Web.

این یک مقالهٔ خرد علوم رایانه است. می‌توانید با گسترش آن به ویکی‌پدیا کمک کنید.

[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.

[۱]