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

databene benerator היא מסגרת ליצירת נתונים מציאותיים ותקפים בנפח גבוה בדיקה, המשמשים לבדיקה (יחידה / אינטגרציה / עומס) והתקנת חלון ראווה.אילוצי Metadata מיובאים ממערכות ו / או קבצי תצורה. ניתן לייבא נתונים וממיוצאים לקבצים ומערכות, אנונימי או שנוצרו...

דטרמיניסטי-כלי היא עטיפה פשוטה מאוד סביב ספריית Dingus לפשט בדיקה שהתוצאה של נבדק היא התוצאה של קריאה לפונקציה עם טיעונים מסוימים. דרישות : ...

dfuzz הוא fuzzer תצורת דמון האוטומטי & nbsp;. במקום להיות fuzzer עצמו, dfuzz היא מעטפת עבור fuzzers פשוט אחר לפתרון כמה פגמים נפוצים שהופך את בדיקות אוטומטיות קצת קשה.למרות שמטרותיה העיקריות הם קבצי תצורה, ניתן להשתמש dfuzz לפלומה כל קבצי קלט.הבעיות...

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

להשבית-docstring הוא תוסף האף שאומר לי unittest לא להשתמש docstrings בדיקת שמות בדיקה & nbsp;. במקום זאת הוא משתמש בשמו של המבחן עצמו. התקנה: PIP להתקין disabledoc שימוש: --disable-docstring -v nosetests דרישות : פייתון ...

פרויקט DoctorJ הוא יישום המנתח תיעוד Java לעמידה בתקן ולדיוק נגד הקוד, מעבר למה שjavadoc עושה.בין מה שהוא...

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

DTest היא מסגרת בדיקה, דומה לחבילת unittest הסטנדרטי המסופקת על ידי פייתון. הערך מוסף לDTest, לעומת זאת, הוא שביצוע בדיקת הליכי, באמצעות שימוש בחבילת eventlet. חבילת DTest מספקת גם את הרעיון של "תלות" בין בדיקות וגופי בדיקה - ובכך "D" ב" DTest "- שיבטיח...

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

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