הלבה-fastmodels מכיל קוד ברמה נמוך לניהול מודלים מהירים בLAVA & nbsp;. נכון לעכשיו הוא נועד לנהל mounts NFS, הקמת מערכת הקבצים השורש (יצוא tarball סיפק לנקודת העגינה, וברכתו עם מהיר דגם ספציפי שינויים, במידת צורך). הוא מכיל גם קוד להתחלת הריצה הדגם המהיר,...

PyUseCase

PyUseCase 3.5.1

PyUseCase היא תוכנת בדיקות GUI עבור PyGtk.בדיקות לתחזוקה GUI עם שימוש מקרה מקליט הקלטת הכוונה ולא את המכניקההדרך הטבעית ביותר ליצירת בדיקות באמצעות ממשק משתמש היא פשוט לבצע את הפעולות שברצונך לבצע ויש לי כלי שיכול להקליט אותם ולאחר מכן לשחזר אותם מאוחר...

KOJAK

KOJAK 3.3

קוג'אק (ערכה לדין אובייקטיבי ואיתור מבוסס ידע של ביצועי צווארי בקבוק) היא קבוצה של רכיבי כלי גנרי ויכולת פעולה הדדית המיועדים לניתוח ביצועים של יישומים מקבילים.הפונקציונליות שלהם מתייחסת לתהליך הניתוח כולו כולל מכשור, postprocessing של נתוני ביצועים,...

inFusion

inFusion 1.7.2

עירוי הוא יישום מסחרי, המבוסס על Eclipse נכתב ב- Java, המאפשר למפתחים לשלוט באופן מלא באיכות ארכיטקטורת תוכנה, כמו גם איכות עיצוב.להיות מסוגל להתמודד עם Java, C ++ & nbsp; ופרויקטי C, המטרה העיקרית של העירוי היא להפוך את בקרת האיכות של פרויקטים מורכבים...

YourKit Java Profiler

YourKit Java Profiler 2015 Build 15068 מעודכן

YourKit Java Profiler הוא תוכנת מעבד והזיכרון Profiler מסחרית המאפשרת למשתמשים לפתור מגוון רחב של מעבד וזיכרון הקשורים לבעיות ביצועים בקלות.YourKit Java Profiler כולל זיהוי אוטומטי דליפה, כלים רבי עוצמה לניתוח של חלוקת זיכרון, דפדפן ערימת אובייקט, מבחני...

Ahven

Ahven 2.3

Ahven היא ספרייה פשוטה בדיקה יחידה (או מסגרת) לשפת תכנות עדה 95. הפרויקט הוא המודל באופן רופף לאחר JUnit וכמה רעיונות לקוחים מAUnit.Ahven הוא תוכנה חופשית מופץ תחת רישיון ISC מתירנית וצריכה לעבוד עם כל מהדר עדה 95 תכונות :. API פשוט גודל קטן (1.2...

HOL

HOL 7

HOL קצר מלהזמין Logic הגבוה הוא סביבת תכנות שבניתן להוכיח משפטים ויישמו כלים הוכחה.נהלי החלטה מובנים וprovers המשפט יכולים באופן אוטומטי להקים רבים משפטים פשוטים. מנגנון אורקל מאפשר גישה לתוכנות חיצוניות כגון מנועי SAT וBDD.HOL 4 מתאים במיוחד כפלטפורמה...

ContiPerf

ContiPerf 2.3.0

ContiPerf הוא כלי בדיקה קל המאפשר למשתמש למנף JUnit 4 מקרי מבחן כמו בדיקות ביצועים לדוגמא בקלות . לבדיקת ביצועים רציפה & nbsp; הוא בהשראת של JUnit 4 תצורת בדיקה קלה עם ביאורים ועל ידי הרעיון של JUnitPerf עטיפת בדיקות יחידה לבדיקות ביצועים, אבל חזק יותר...