PyModel היא מסגרת בדיקות המבוססת על מודל קוד פתוח בפייתון.
בבדיקות יחידה, קודי מתכנת מקרי מבחן, וגם טענות שקודים לבדוק אם כל מקרה מבחן עבר. בבדיקות המבוסס על מודל, קודי מתכנת "מודל" שיוצר מקרי מבחן רבים ככל רצוי ופועל גם כאורים והתומים שבודק את המקרים.
מודל מבוסס בדיקות מומלצת שבי מקרי מבחן כל כך הרבה יש צורך שזה לא ריאלי לכל קוד אותם ביד. צורך זה מתעורר כאשר בודק התנהגויות שמפגינות היסטוריה-תלות וnondeterminism, וריאציות כך שרבים (ערכי נתונים, interleavings, וכו ') צריך להיבדק לכל תרחיש (או להשתמש במקרה). דוגמאות כוללות פרוטוקולי תקשורת, יישומי אינטרנט, מערכות בקרה, וממשקי משתמש.
PyModel תומך בדיקות על-the-fly, שיכול ליצור בדיקות nonrepeating ארוכות ללא הגבלת זמן כמבחן לרוץ מבצע. PyModel יכול להתמקד מקרי מבחן בתרחישים של ריבית על ידי הרכב, טכניקה תכליתית המשלבת מודלים ידי סנכרון פעולות משותפות וinterleaving פעולות כבירות. PyModel יכול להדריך את כיסוי בדיקות על פי אסטרטגיות לתכנות מקודדות על ידי המתכנת.
PyModel מספק שלוש תוכניות:
- מנתח pymodel pma.py: מייצר מכונה סופית מדינה (FSM) ומחשב נכסים על ידי לחקור תכנית מודל, FSM, שירותים מבחן, או מוצר של אלה.
- גרפיקת pymodel pmg.py: יוצר קובץ של פקודות גרפיות מFSM.
- בוחן pymodel pmt.py: עקבות מציגה, מייצרת בדיקות מחובר, מבצע בדיקות מחובר, או יוצר ומבצע בדיקות על-the-fly.
השתמש PMA וPMG לדמיין ולצפות בתצוגה מקדימה של התנהגות PMT. כל דרך דרך הגרף שנוצר על ידי PMA (וצויר על ידי PMG) היא סימן (מבחן לרוץ) שעלול להיוצר על ידי PMT, כאשר PMA וPMT הם מופעלים באמצעות אותם הנימוקים.
PyModel מושפע Nmodel, אבל אינו תרגום או מחדש יישום
דרישות :.
- פייתון
תגובות לא נמצא