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

AceUnit (מתקדם C ויחידה משובץ): מסגרת בדיקה יחידה קוד C נוחה. AceUnit הוא סגנון JUnit 4.x, קל, מודולרית וגמיש.פרויקט זה יכול לשמש בסביבות אילוץ משאב, למשל מוטבע פיתוח תוכנה מה חדש בהודעה זו:. גרסה זו מיישמת סוויטות אוטומטיות. זה אומר שאתה עכשיו...

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

ניתוח אף מכיל תוספים ניסיוניים שונים לאף.זה שחזה כי אלה יהיו סופו של דבר ימוזגו לתוך קוד האף העיקרי (אם הם יתבררו למעשה להיות שימושיים) דרישות :. Python ...

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

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

Hamcrest הוא מסגרת פייתון לכתיבת אובייקטי Matcher, מאפשרת לך להגדיר במוצהר כללי "התאמה" & nbsp;. יש מספר המצבים שבם matchers הם לא יסולא בפז, כגון אימות ממשק משתמש, או סינון נתונים, אבל זה ב אזור של כתיבת בדיקות גמישות שmatchers הנפוץ ביותר המשמשות. הדרכה...

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

AutobahnTestSuite הוא WebSocket מבוסס Twisted / חבילת בדיקות יישום פרוטוקול WAMP.AutobahnTestSuite מספק חבילת בדיקות אוטומטית לחלוטין כדי לאמת את יישומי השרת ולקוח של פרוטוקול WebSocket.חבילת הבדיקות תבדוק יישום על ידי עושה שיחות בסיסיות WebSocket, אימות...

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

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