הנדסת תוכנה מציגה: שיטות חדשות לאימות עבודת מערכות באמצעות הדמייה

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

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