יצירת תוכניות מורכבת מכמה שלבים, הנקראים מחזור החיים. בדיקה היא אחד השלבים החשובים ביותר, שכן היא קודמת למסירת התוכנה ללקוח ולהזמנתה. יש לזכור שמטרת הבדיקה אינה לוודא שהתוכנית פועלת כראוי ונכון, אלא לאתר שגיאות, לזהות כשלים בעת יצירת מצבים לא טיפוסיים או סיום חריג.
נחוץ
- - תוכנית נבדקה עם קוד מקור;
- - תיעוד תכנית;
- - תוכנית מבחן;
- - מספר קבוצות של נתוני קלט (נכונים ושגויים במכוון);
- - אנשים בעלי דעות דומות המיוצגות על ידי עמיתים.
הוראות
שלב 1
השלב הראשון בבדיקה הוא ניפוי באגים. ניפוי באגים, ככלל, מתבצע על ידי מתכנת שכתב תוכנית או מכיר את שפת התכנות של המוצר הנבדק. בשלב הבאגים, קוד המקור של התוכנית נבדק אם הוא נמצא בשגיאות תחביר. השגיאות שזוהו בוטלו.
שלב 2
השלב הבא באגים הוא בדיקה סטטית. בשלב זה נבדק כל התיעוד שהתקבל כתוצאה ממחזור החיים של התוכנית. זו משימה טכנית, ומפרט, וקוד המקור של התוכנית בשפת תכנות. כל התיעוד מנותח בהתאם לעמידה בתקני התכנות. כתוצאה מבדיקה סטטית, נקבע כיצד התוכנית עומדת בקריטריונים ודרישות הלקוח המפורטות. ביטול אי דיוקים ושגיאות בתיעוד הוא ערובה לכך שהתוכנה שנוצרה איכותית.
שלב 3
השלב הבא בבדיקה הוא שימוש בשיטות דינמיות. שיטות דינמיות מיושמות בתהליך ביצוע ישיר של התוכנית. נכונותו של כלי תוכנה נבדקת מול קבוצה של בדיקות או קבוצות של נתוני קלט מוכנים. במהלך כל בדיקה נאספים ומנותחים נתונים על כשלים ותקלות בתוכנית.
שלב 4
ישנן שיטות בהן התוכנית נחשבת כ"קופסה שחורה ", כלומר. נעשה שימוש במידע אודות הבעיה שיש לפתור, ובשיטות בהן התוכנית נחשבת כ"קופסה לבנה ", כלומר נעשה שימוש במבנה התוכנית.
שלב 5
המטרה של בדיקת קופסאות שחורות דינמיות של תוכניות היא לזהות את המספר המרבי של שגיאות במבחן אחד באמצעות תת קבוצה קטנה של נתוני קלט. כדי לבצע בדיקות בשיטה זו, יש צורך להכין שתי קבוצות של תנאי קלט. קבוצה אחת צריכה להכיל את הקלטים הנכונים עבור התוכנית, הקבוצה השנייה צריכה להכיל תשומות שגויות בהתבסס על מפרט הכניסות השגויות. לאחר הפעלת התוכנית על נתוני הקלט משתי הקבוצות, נקבעים פערים בין ההתנהגות האמיתית של הפונקציות לבין הצפוי.
שלב 6
שיטת "הקופסה הלבנה" מאפשרת לך לחקור את המבנה הפנימי של התוכנית. מערכת מבחנים המבוססת על עיקרון זה במכלול אמורה להבטיח שכל מפעיל יעבור לפחות פעם אחת. החלוקה לקבוצות של תנאי קלט צריכה להיות ממוקדת בבדיקת המעבר של כל מסלולי התוכנית: תנאים, ענפים, לולאות.
