תוכן עניינים:
הגדרה - מה המשמעות של אימות סטטי?
אימות סטטי הוא ניתוח של קוד מחשב בכדי להבטיח שמירה על נהלי קידוד סטנדרטיים ללא צורך להפעיל את התוכנית. ניתוח מתבצע בכמה גרסאות של קוד המקור ומספק דרך למתכנתים לבצע ניפוי של קוד חדש ולאיתור שגיאות אפשריות בקוד הידור.
Techopedia מסביר אימות סטטי
אימות סטטי נמצא בשימוש נרחב בתוכנה למערכות מחשב קריטיות לבטיחות. טכנולוגיות המפתח המשמשות באימות סטטי הן ניתוח תזמון סטטי ובדיקת שקילות. תזמון ואימות פונקציונלי בזרימת אימות סטטית מופרדים ופועלים במקביל. ניתוח תזמון סטטי מספק בדיקות תזמון, בעוד שבדיקת שקילות מאמתת את השוויון הפונקציונאלי של שתי גרסאות של אותו מעגל כמו סולמות תכנון באמצעות טרנספורמציות שונות כמו סידור מחדש של שרשרת סריקה, ניתוב ומיקום.
כמה טכניקות יישום לאימות סטטי הם ניתוח זרימת נתונים, בדיקת מודלים, פרשנות הפשטה ושימוש בקביעה.
כלים המשמשים בדרך כלל לאימות סטטי כוללים סונאר, יאסקה, גלאי העתקה / הדבקה, Stylecop, FxCop, BLAST, Clang, Lint ו- Checkstyle.
