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