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

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

پانویس

منابع 

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

اصلاح‌شناسی روش‌های صوری
علوم نظری رایانه
کیفیت نرم‌افزار