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

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

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

EXQUIRES - תמונת כמותית העריך וeXtensible מחדש ההרחבה Suite תיעוד והוראות אנא בקר באתר: http://exquires.rivetsforbreakfast.comהוראות התקנה Basic ניתן להתקין מPyPI EXQUIRES באמצעות פיפס:PIP להתקין exquires -Uאו להוריד את הפצת המקור מPyPI, מהארכיון,...

Py.Saunter הוא פרויקט מבוסס כיום על האף & nbsp;. זה יהיה מבוסס על Py.Test ממש בקרוב. התקנה כדי להפיק את המרב של סלניום וPython; ולהשתמש בקוד הדוגמא כאן, אתה צריך& Nbsp; sudo פיפס להתקין האף& Nbsp; sudo פיפס להתקין unittest2& Nbsp; sudo פיפס להתקין ספינקס&...

noseOfYeti הוא תוסף עבור האף, בהשראת http://github.com/fmeyer/yeti, אשר עושה שימוש בסגנון codec כדי לספק סגנון RSpec DSL BDD עבור בדיקות Python. דרישות : Python ...

לבה-לוח מחוונים הוא מאגר לתוצאות בדיקה.תיעוד חבילה דרישות : ...

האף-שקע-לבן הוא תוסף האף שתיקוני socket.getaddrinfo לשקעים שאינם מקומיים, מה שמאפשרים לך גם להיכנס לכל המופעים או לגרום לבדיקה הפוגע להיכשל.socketwhitelist.plugins.LoggingSocketWhitelistPlugin& Nbsp; יומני הבדיקה (ים) שבו שקעים נפתחים, הדפסת דוח summaray...

eutester היא מסגרת מבחן לעננים תואמים AWS.תיעוד חבילה דרישות : Python boto ...

jstestnetlib הוא מודול Python נועד לבצע בדיקות JavaScript נגד שרת JavaScript TestNet. תקן באמצעות PIP לבצע:PIP להתקין git + git: //github.com/kumar303/jstestnetlib.git#egg=jstestnetlibבדיקות הפעלה ניתן לבצע בדיקות JavaScript באמצעות האף. למשל:nosetests...

pyfix הוא מודול פייתון תוכנן במיוחד עבור כתיבת פונקציות בדיקה. תקן & Nbsp; פיפס להתקין pyfix שימוש הנה דוגמא חשובה:מבדיקת יבוא pyfix, עיקרימassert_that יבוא pyasserttestensure_that_two_plus_two_equals_four def ():& Nbsp; assert_that (2 + 2) .equals...