صحت (رایانه)

از ویکیجو | دانشنامه آزاد پارسی

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

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

 


  1. functional correctness
  2. input & output behavior
  3. total correctness
  4. partial correctness
  5. halt problem