צילום מסך תוכנה:
פרטי תוכנה:
פרויקט
ESC / Java2 הקדמי מנתח קוד מקור 1.4 Java ו- Java bytecode 1.5 לעץ תחביר מופשט, שניתן להשתמש לבדיקה סטטית מורחבת.
בודק המורחב סטטי עבור Java גרסה 2 (ESC / Java2) הוא כלי תכנות שמנסה למצוא שגיאות זמן ריצה משותפות בתוכניות Java מבוארת-JML על ידי ניתוח סטטי של קוד התוכנה וההסברים הרשמיים שלה. משתמשים יכולים לשלוט בכמות וסוגים של בדיקה שESC / Java2 מבצע על ידי הוספת הערות התוכניות שלהם עם הערות מבנה מיוחד הנקראות pragmas.
ESC / Java2 זמין בשתי צורות:
תגובות לא נמצא