טענת נכונות

מתוך ויקיפדיה, האנציקלופדיה החופשית
קפיצה אל: ניווט, חיפוש

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

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