חייב להיות אבטחת איכות ובדיקות תוכנה עבור Linux

. גאר הוא תוסף האף שמביא בדיקות הקשר ספציפי דרישות : פייתון ...

תנין-בדיקות היא אפליקציה המספקת בדיקות כדי לבדוק את שד מודול התנין ותנין על Linaro משחרר דרישות :. ...

GCViewer הוא יישום מבוסס-Swing שמדמיין את תפוקת איסוף אשפה המפורט שנוצרה על ידי IBM וSun Java המכונות הוירטואליות (-verbose: GC / -Xloggc: -flags).ניתן גם לייצא את הנתונים כקובץ CSV לעיבוד forther עם יישום גיליון אלקטרוני. לדמיין את הנתונים יכול לעזור...

תסריט gprof2dot.py יכול להמיר את הפלט מgprof לגרף נקודה. זה נכון יכול לנתח שמות פונקצית תבנית ++ C, מאפשר לך לגזום צמתים וקצוות מתחת לסף מסוים, יכול לנתח gprof הסימון המיוחד משתמש בפונקציות הדדיות רקורסיבית, משתמש בצבע ביעילות למשוך תשומת לב לנקודות חמות,...

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

GUnit היא מסגרת בדיקות יחידה C ברוח JUnit. מסגרת GUnit משלבת GUI קל לשימוש המבוסס על ספריות GNOME, כמו גם תמיכה בממשק משתמש Hildon (maemo.org).התקנה:1. `CD" לספרייה המכילה את קוד המקור של החבילה והסוג ./configure '' כדי להגדיר את החבילה עבור...

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

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

importchecker הוא כלי שורת הפקודה כדי למצוא יבוא שאינו בשימוש במודולים Python.הפלט שלה הוא "כמו grep-" (ובכך "Emacs ידידותי"), דיווח שני הקבצים של מודול ומספרי קו שבו שמות מיובאים שאינם acually שימוש במודול.Importchecker לא כל שינוי של קבצי המקור. אם...

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