https://wikijoo.ir/index.php?action=history&feed=atom&title=%D8%B5%D8%AD%D8%AA_%28%D8%B1%D8%A7%DB%8C%D8%A7%D9%86%D9%87%29صحت (رایانه) - تاریخچهٔ نسخهها2026-04-13T00:37:46Zتاریخچهٔ نسخهها برای این صفحه در ویکیMediaWiki 1.41.0https://wikijoo.ir/index.php?title=%D8%B5%D8%AD%D8%AA_(%D8%B1%D8%A7%DB%8C%D8%A7%D9%86%D9%87)&diff=1293924&oldid=prevMohammadi2 در ۲۴ ژوئیهٔ ۲۰۱۹، ساعت ۰۵:۲۳2019-07-24T05:23:50Z<p></p>
<p><b>صفحهٔ تازه</b></p><div><br />
صحّت (رایانه)(correctness)<br />
<br />
(یا: درستی) دفاع از درستی یک الگوریتم زمانی امکانپذیر است که بتوان گفت الگوریتم با توجه به شرایط و مشخصات، درست کار میکند. صحت تابعی<ref>functional correctness</ref> به وضعیت و رفتار ورودی/خروجی الگوریتم<ref>input & output behavior</ref> اشاره میکند (به این معنا که برای هر ورودی، خروجی صحیح و مناسب تولید شود). تفاوتهایی بین صحت کلی<ref>total correctness</ref> یعنی شرایطی که در آن الگوریتم با موفقیت بهپایان میرسد با صحت جزئی<ref>partial correctness</ref> که بهطور ساده نیازمند این است که تنها یک پاسخ برگردانده شده صحیح باشد، وجود دارد. مادام که راه حل عمومی جهت حل مشکل توقف برنامه<ref>halt problem</ref> وجود نداشته باشد، ادعای دستیابی به صحت کلی در الگوریتم، ادعایی دور از دسترس خواهد بود.<br />
<br />
&nbsp;<br />
<br />
----<br />
<br />
[[Category:رایانه]] [[Category:(رایانه)اصطلاحات]]</div>Mohammadi2