صحت (رایانه)

صحّت (رایانه)(correctness)

(یا: درستی) دفاع از درستی یک الگوریتم زمانی امکان‌پذیر است که بتوان گفت الگوریتم با توجه به شرایط و مشخصات، درست کار می‌کند. صحت تابعی به وضعیت و رفتار ورودی/خروجی الگوریتم اشاره می‌کند (به این معنا که برای هر ورودی، خروجی صحیح و مناسب تولید شود). تفاوت‌هایی بین صحت کلی یعنی شرایطی که در آن الگوریتم با موفقیت به‌پایان می‌رسد با صحت جزئی که به‌طور ساده نیازمند این است که تنها یک پاسخ برگردانده شده صحیح باشد، وجود دارد. مادام که راه حل عمومی جهت حل مشکل توقف برنامه وجود نداشته باشد، ادعای دستیابی به صحت کلی در الگوریتم، ادعایی دور از دسترس خواهد بود.

 

---