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