תכנון ובדיקת תוכניות - מספר נקודות

בדיקות תוכנה

על מנת לבדוק שתוכנה עובדת כמו שצריך, נרצה לבדוק אותה.

ישנם שני סוגי בדיקות:

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

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

2. בדיקת הקוד – נימוקים לוגיים למה הקוד שנכתב נכון. בדיקה זו נקראת "קופסה לבנה" - White Box.
   
   למשל – בדוגמת המחשבון, נביט בקוד ונראה שבאמת בדקנו את מקרה החלוקה באפס, או נבדוק בקוד שבפעולת חיבור לא התעלמנו מ-carry וכו'.

את הבדיקה הראשונה קל יותר לבצע, אולם אנחנו יכולים לפספס מקרי קצה שלא בדקנו. את הבדיקה השניה קשה יותר (ולפעמים לא אפשרי) לבצע.