صحت (علوم رایانه)
در علوم رایانه نظری، صحت (به انگلیسی: 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.