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