טענת נכונות – הבדלי גרסאות

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