ESC/Java2

ESC/Java2 2.0 Beta 5

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

3 Jun 15 בתוך כלי פיתוח, אבטחת איכות ובדיקות תוכנה
Linux
קרא עוד
ESC/Java2 Frontend

ESC/Java2 Frontend 2.0.5

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

3 Jun 15 בתוך תוכנה חינוכית ומדע, תוכנת מתמטיקה
Linux
קרא עוד
תוכנה פופולרית