Bu derste yazılım doğrulama ve sağlama alanındaki temel kavramlar, metotlar, stratejiler ve teknikler işlenmektedir. Ders kapsamındaki konular şöyledir: yazılım kalite güvencesi kavramları, sorunları ve prensipleri; uç değer testleri; eşdeğerlik sınıfı testleri; karar tablosu tabanlı testler; test kapsama metrikleri; birim testleri; iz testleri; kontrol ve veri akışı testleri; kullanım tabanlı istatistiksel testler; tümleştirme testleri; kombinasyon testleri; model tabanlı testler; regresyon testleri; statik ve dinamik program analizleri; yazılım denetleme ve adım adım inceleme; sürekli tümleştirme; hata analizleri ve raporlaması; hata ayıklama.