פרק #18בדיקות מבוססות מודל בואו לשמוע את נתנאל הרוש וד"ר מיכאל בר-סיני מחברת Provengo מדברים על בדיקות מבוססות מודל.תקציר

מיכאל הוא ה-CTO של חברת פרובנגו, סטארטאפ ישראלי שיצא מאוניברסיטת בן-גוריון ובונה כלים לבדיקות מבוססות מודל. לפני זה היה חוקר באוניברסיטה, ועבד בחברות וגופים שונים בארץ, באנגליה, ובארצות הברית.בפרק זה נדבר עם ד"ר מיכאל בר-סיני על בדיקות מבוססות מודל (MBT - Model Based Testing). גישה זו מאפשרת לבודקים להתמקד באפיון הפונקציונליות של המערכת הנבדקת במקום בכתיבה ותחזוקה של תסריטי בדיקה. את האפיון עושים בעזרת מודל ממוחשב, ממנו ניתן לייצר תסריטי בדיקה רבים, ואף לבנות חבילות בדיקה באופן אוטומטי עבור מטרות שונות (למשל חבילת רגרסיה, חבילת smoke tests, או חבילה המתמקדת בסט פונקציונליות מסויים).בנוסף, מודלים כאלו מאפשרים להבין דרישות מערכות בצורה טובה - למשל על ידי יצירת שרטוטים שלהם, המאפשרים למצוא בדרישות סתירות אפילו לפני שהמערכת נכתבת. כך בודקים יכולים לעזור לאנשי המוצר לגבש את האפיון לפני שהפיתוח מתחיל בכלל לעבוד.

מראיין: נתנאל הרוש.