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

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

openstack.nose_plugin הוא תוסף המספק תפוקת האף nosetests לחקות את הפלט של run_tests.py של OpenStack. התקנה & Nbsp; פיפס להתקין openstack.nose_plugin שימוש האפשרויות הבאות מידוות:& Nbsp; - עם-OpenStack& Nbsp; אפשר תוסף OpenStack: גנרטור פלט סגנון נובה...

expecter עוזר לך לכתוב טענות. לעולם לא יהיה לך לשכוח את אשר צפוי ואשר הוא בפועל!ציפיות בסיסיות קלות:& Nbsp; >>> מיבוא expecter מצפה& Nbsp; >>> מצפה (+ 'דבר' 'כמה') == 'משהו'& Nbsp; מצפה ('משהו')& Nbsp; >>> מצפה (1)> 100&...

noseenv הוא תוסף האף להוסיף אפשרויות של הטופס "--env ENVIRONMENT_VARIABLE = VALUE".- PyPI: http://pypi.python.org/pypi/noseenv- טראביס CI: http://travis-ci.org/#!/msabramo/python-noseenvRequirements:Python...

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

פרויקט Pulse הוא לבנות אוטומטי (או אינטגרציה מתמשכת) שרת שנועד לעבוד איתך כדי להבטיח את השלמות של הקוד שלך.דופק בודק באופן קבוע את קוד המקור שלך החוצה מSCM שלך, בונה את הפרויקטים שלך, ותודיע על התוצאות תכונות :. בנייה כל פרויקט:. להפעיל פקודות...

להעיד מהווה תחליף למודול unittest של פייתון והאף.להעיד הוא במתכונת unittest, ובדיקות שנכתבו עבור unittest יפעל תחת להעיד עם מינימום של התאמות, אבל יש לו תכונות מעל ומעבר unittest:& Nbsp; * שיטות התקנה ברמת הכיתה ומתקן פירוק שמנוהלים על פעם אחת בכל לסט שלם...

-Bugzilla pytest-מרקר הוא תוסף py.test לשילוב Bugzilla & nbsp; תוסף זה כרגע מניח את העבודה הבאה.:bug_status ב[ 'חדש', 'מוקצה', 'ON_DEV'] פירוש באג ידוע, והוא עובד על ולכן המבחן צריך להיות דילג ויהיה.bug_status לא ב[ 'חדש',...

מרתון היא מסגרת המספקת תמיכה לכל רכיבי Java / Swing, כולל שפות scripting סטנדרטיים & ndash; רובי ופייתון.גם מרתון ניתן להשתמש כדי להקליט ובדיקת תסריטים ומתעד את פעולות סמנטיות על רכיבים ולא פעולות גלם תכונות :. גמיש Intelligent סקריפט מקליט גישוש...

TestLink הוא קוד פתוח מערכת מעקב ביצוע ניהול TestCase מבוסס אינטרנט ונוצרו באמצעות PHP, MySQL, ומספר טכנולוגיות קוד הפתוח אחרות.TestLink מאפשר Q & A & nbsp; (אבטחת איכות) צוותי לנהל בקלות וליצור מקרי המבחן שלהם, כמו גם לארגן אותם לתוכניות בדיקה, המאפשרים...