TestManager

TestManager 1.6.1

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

pytest-quickcheck מספק פונקצית pytest.mark.randomize להפקת נתוני בדיקה אקראיות. התקנה & Nbsp; easy_install # pytest-quickcheck או& Nbsp; פיפס להתקין pytest-quickcheck Quick Start רק לעבור את החתימה של פונקציה לאקראי סמן. החתימה מיוצגת tuple מורכבת משם...

HOL

HOL 7

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

pry

pry 0.2.1

פריצה היא מסגרת בדיקות יחידה לPython תכונות :. Built-in ניתוח כיסוי ופרופיל בדיקות מבוססות Assertion - לא failUnless מכוער *, failIf *, וכו 'שיטות מבנה מבחן מבוסס עץ לניהול מתקן טוב יותר אין מופע סמוי של חליפות מבחן ממשק שורת פקודה רבת...

nose-kleenex

nose-kleenex 0.16.0

האף-קלינקס הוא תוסף האף שמנסה לעצור את הכאב הקשורים בחבילת בדיקות גדולה על ידי הפעלה רק הבדיקות ישימות לשינויים ב[ git] הסניף שלך. אודות בהנחת --with-קלינקס, קלינקס הוא פעיל באופן מלא על כל ריצות המבחן. מה שזה אומר, זה ינסה להתחבר למסד נתוני כיסוי...

sst

sst 0.2.2

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

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

CppUnit

CppUnit 1.13.2

CppUnit היא תוכנת שורת הפקודה קוד פתוח מיושמת ב- C ++ כנמל מסגרת הבדיקות היחידה JUnit Java מופעל נוצרה על ידי נוצות מיכאל. זה עובד על הפעלת systems.Features Linux, Windows ו- Macintosh בתכונות glanceKey כולל תמיכה בפלט ב- XML, פלט טקסט כמו מהדר-שיכול...

זה הוא מחולל תנועה. הוא משמש כדי לבדוק מה כמויות עצומות של תעבורה של סוג מסוים תעשה לרשת להתערב.זה לא מנסה למדוד פעמים תפוקה או תגובה. זה נעשה עם השאלה בחשבון: אם 100 לקוחות עושים העברות TCP בו זמנית במשך 2 ימים, ישבור הנתב שלי? או שאני יכול להגדיר את...