זוהי אפליקציית לינוקס בשם Equals Checker אשר את המהדורה האחרונה שלה ניתן להוריד כ-ICSM-2011-Tool-Demo.zip. ניתן להפעיל אותו באופן מקוון בספק האירוח החינמי OnWorks עבור תחנות עבודה.
הורד והפעל באינטרנט את האפליקציה הזו בשם Equals Checker עם OnWorks בחינם.
בצע את ההוראות הבאות כדי להפעיל את האפליקציה הזו:
- 1. הורד את היישום הזה למחשב שלך.
- 2. הזן במנהל הקבצים שלנו https://www.onworks.net/myfiles.php?username=XXXXX עם שם המשתמש שאתה רוצה.
- 3. העלה את היישום הזה במנהל קבצים כזה.
- 4. הפעל את האמולטור המקוון של OnWorks Linux או Windows מקוון או אמולטור מקוון של MACOS מאתר זה.
- 5. ממערכת ההפעלה OnWorks Linux שזה עתה התחלת, עבור אל מנהל הקבצים שלנו https://www.onworks.net/myfiles.php?username=XXXXX עם שם המשתמש הרצוי.
- 6. הורד את האפליקציה, התקן אותה והפעל אותה.
שווה בודק
Ad
תיאור
בודק סטטי שמודל בודק את יישום השוויון עבור פרויקט Eclipse Java.
תכונות
- זיהוי שגיאות ברמה נמוכה באמצעות ניתוח זרימת נתונים רגיש לנתיבים.
- זיהוי שגיאות סמנטיות הקשורות ליחסי שקילות באמצעות פותר האילוצים Alloy.
- אתר עדכון תוסף Eclipse זמין (ראה דף הבית של הפרויקט).
קהל
מפתחים, הנדסה, מדע/מחקר
ממשק משתמש
לקוי
שפת תכנות
Java
זוהי אפליקציה שניתן להביא גם מ-https://sourceforge.net/projects/eqchecker/. זה התארח ב-OnWorks על מנת להפעיל אותו באינטרנט בצורה הקלה ביותר מאחת ממערכות ההפעלה החינמיות שלנו.