| דרק טעויות סטטי אם תוכנית Java שלך נבדק היטב, אך עדיין נוטה שגיאה, Analyzer Wasp יכול לעזור לזהות שגיאות זמן ריצה עדין ונקודות חלשות בתוכנית שלך. סוגים הבאים עשויים להיות |
הורד עכשיו |
דרק טעויות סטטי דירוג וסיכום
- אתר האינטרנט של המוציא לאור:
דרק טעויות סטטי תגים
דרק טעויות סטטי תיאור
Analyzer Analyzer מבחינה סטטיסטית מזהה שגיאות זמן ריצה עדינות ונקודות חלשות בקוד המקור של Java. ניתן לזהות את הטעויות הבאות: NULL מצביע חריגה, יצוק בלתי מוגבל, מערך מחוץ לתחום, חלוקה מאת אפס, וכו ' ניתן לזהות את הסוגים הבאים של נקודות חלשות: שימוש במשתנה uninitialised, סניף בלתי נגיש בהצהרה מותנית או מתג, גוף לולאה בלתי נגיש או לתפוס סעיף, הקצאת משתנה שערכם מעולם לא נעשה שימוש, השלמה חריגה של שיטה, וכו ' WASP מייצרת גרף שיחה מפורטת ומדויקת. שיטת שיחה גרף של תוכנית מסייע לדעת על כל שיטה איזו שיטות בפועל נקראות בגוף. כמו כן, עבור כל שיטה ייתכן שתדע איפה שיטה זו עשויה להיקרא. שיטת שיחה גרפים המיוצרים כלים קיימים אחרים אינם מדויקים כדי ניתוחים חלשים מוחל. בהשוואה לנתחי שגיאה סטטי, צרעה יש שני יתרונות חשובים. צרעה מסוגלת להבחין בין שגיאה מוגדרת, שגיאה אפשרית (אזהרה), ומצב שוטף פוטנציאלי. במקרה האחרון, WASP מייצרת הודעה שנקראה שגיאה מותנית כי בפועל נראה לציין שגיאה בערך במקרה אחד מחמש. צרעה מבצעת ניתוח זרימת נתונים רגיש הקשר, אז הוא מסוגל לזהות שגיאה שמופיעה רק עבור כמה שיחות של השיטה המכילה אותו, אבל לא עבור אחרים. לכן, צרעה מטפל במצבים של מורכבות גבוהה. כל הידוע לנו analyzers סטטי (למשל QStudio Java, ביקורת metamata, וכו ') כי מבחינה בטוחה שגיאות זמן ריצה עשוי לייצר רק רשימות ארוכות של אזהרות כי הם לא ניתן לזהות שגיאות מוגדרות בתוכנית עקב חלש ניתוחים מוחלים. משתמש צריך לבזבז זמן רב כדי לנתח את כל האזהרות. צרעה הוכיחה את יכולתו למצוא באגים עדינים בתוכניות אפילו לאחר באגים ובדיקות שלבי פיתוח כי צרעה מזהה מצבים של מורכבות אמיתית.
דרק טעויות סטטי תוכנה קשורה