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