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