טענת נכונות

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

תכנות