صحت (علوم رایانه)
در علوم رایانه نظری، صحت (به انگلیسی: 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.
🔥 Top keywords: صفحهٔ اصلیمسعود پزشکیانسعید جلیلیانتخابات ریاستجمهوری ایران (۱۴۰۳)انتخابات ریاستجمهوری ایران (۱۴۰۰)محمدباقر قالیبافویژه:جستجوعلیرضا زاکانیسید امیرحسین قاضیزاده هاشمیمصطفی پورمحمدیرده:پوزیشنهای جنسیقرارداد کرسنتجام ملتهای اروپا ۲۰۲۴سید محمد خاتمیانتخابات ریاستجمهوری ایران (۱۳۹۲)تب دنگیانتخابات ریاستجمهوری ایران (۱۳۹۶)روشهای آمیزش جنسیسید ابراهیم رئیسیآمیزش جنسی بدون دخوللحظه گرگ و میشرده:فیلمهای سکسی-کمدی آمریکایینامزدهای انتخابات ریاستجمهوری ایران (۱۴۰۳)گرجستانالگو:نمودار مرحله حذفی جام ملتهای اروپا ۲۰۲۴انگشت کردنسید علی خامنهایفرجلیسیانتخابات ریاستجمهوری ایران (۱۳۸۴)آمیزش جنسی دهانیانتخابات ریاستجمهوری ایران (۱۳۸۸)نیما شعباننژادقضیبلیسیخوان کارلوس گاریدوحسن روحانیکیربهکیرمالیآمیزش جنسیجام ملتهای اروپادر انتهای شب (مجموعه نمایش خانگی ۱۴۰۳)