תוכן עניינים:
הגדרה - מה המשמעות של סמנטיקה אקסיומטית?
סמנטיקה אקסיומטית הינה ביטויים סמנטיים ליחסים הטמונים בקטע קוד. ביטויים אלה יכולים להועיל בתיאור כיצד פיסת תוכנה מסוימת עובדת.
Techopedia מסביר את הסמנטיקה האקסיומטית
דבר מעניין בסמנטיקה אקסיומטית בניגוד לסוגים אחרים של ביטויים הוא שהם די אגנוסטיים מתוצאות ותנאים ספציפיים. במקום זאת, סמנטיקה אקסיומטית מתארת את אופן פעולתה של מערכת. אחת הדרכים לחשוב על זה היא להשתמש במילת השורש, אקסיומה, שמשמעה איזו טרוניות רחבה יותר לגבי מערכת. לדוגמה, אמירה סמנטית אקסיומטית לגבי פונקציה מסוימת תאר מה היא אמורה לעשות, איזה סוג של טיעון היא נוקטת ואיזה סוג של תוצאה היא מחזירה. זה לא ידרוש ידע על המשתנים בפועל המעורבים.
