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