אימות שבבים – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
Lotankantor (שיחה | תרומות) אין תקציר עריכה |
Lotankantor (שיחה | תרומות) אין תקציר עריכה |
||
שורה 38:
# בונים רכיב הנקרא scoreboard שמבצע השוואה עם הטרנזקציה שיוצאת כדי לוודא שכל השדות של הטרנזקציה אכן מתאימים לתכנון.
== שיטות וריפיקציה ==
ישנן שתי שיטות עיקריות לוריפיקציה:
# וריפיקציה רנדומלית
# וריפיקציה ישירה
בוריפיקציה רנדומלית(random verification) מנסים להתגבר על העובדה שמספר המצבים שבהם יכול להמצא הרכיב הנבדק הוא אדיר ולא ניתן להגיע לכל המצבים(בהנתן יכולת מחשוב מוגבלת וזמן מוגבל). הרעיון הוא להביא את הרכיב למקרי הקצה שבהם עלולים להיות באגים מבלי שהמהנדס יצטרך לחשוב בעצמו על כל מקרה באופן פרטני. המהנדס צריך להגדיר בסביבת הוריפיקציה את כל המקרים האפשריים וכאשר הסביבה רצה אז היא תגיע למקרים הבעייתיים.
בשיטת הוריפקציה ישירה(direct testing) כותבים test עבור כל אירוע שרוצים לבדוק. סביבת הבדיקה בנויה ממספר טסטים אשר כל אחד מהם נועד לבדוק מקרה אחר.
במרבית הפרויקטים ייעשה שילוב של שתי השיטות, השיטה הישירה היא יותר פשוטה ומתאימה במיוחד למקרים מאוד ספציפיים אשר אינם קורים במהלך עבודה רגיל של הרכיב, כמו כן בשלב הראשוני של הפרויקט הרבה יותר מהיר וקל לכתוב טסטים בודדים. לעומת זאת הוריפיקציה הרנדומלית עשויה למצוא באגים יותר מורכבים אשר קשה למצוא אותם בטסטים הפשוטים.
[[קטגוריה:בדיקות תוכנה]]
| |||