טענת נכונות

בתכנות מחשבים, טענת נכוֹ‏נוּ‏ת (באנגלית: Assertion) היא פסוק המוצב בתוכנית כדי לציין שהטענה צריכה להיות נכונה באותו המקום. טענת נכונות נגזרת לרוב ממפרט התוכנה ונכתבת כהערה בקוד המקור של התוכנית, או, בשפות תכנות התומכות בכך, כחלק מהתוכנית עצמה. השימוש בטענות נכונות מסייע להגברת אמינות, קריאוּ‏ת ותחזוקתיות התוכנה.

ערך זה הוא קצרמר בנושא מחשבים. אתם מוזמנים לתרום לוויקיפדיה ולהרחיב אותו.