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