בדיקות תוכנה

יצירת מערכי כיסוי המפעילים כל צירוף בדרגה t של פרמטרי הקלט.

בניית גרפי זרימת בקרה מקוד המקור וניתוח קריטריוני כיסוי — כיסוי צמתים, קשתות, תנאים ומסלולים.

המחשת היררכיית ההכלה בין קריטריוני כיסוי: מתי סיפוק קריטריון אחד מבטיח את סיפוקו של אחר.