Mata kuliah ini membahas teori, teknik, dan praktik dalam verifikasi dan validasi (V&V) perangkat lunak untuk memastikan kualitas perangkat lunak sesuai dengan spesifikasi yang diharapkan. Materi meliputi pengujian perangkat lunak (software testing), metode inspeksi, teknik analisis statis dan dinamis, strategi pengujian, hingga otomatisasi pengujian. Pendekatan project-based learning diterapkan, di mana mahasiswa bekerja dalam tim untuk mengembangkan, menguji, dan mengevaluasi perangkat lunak melalui siklus pengembangan berbasis proyek nyata. Mata kuliah ini bertujuan untuk meningkatkan kemampuan mahasiswa dalam mengidentifikasi cacat perangkat lunak, mendokumentasikan hasil pengujian, dan memberikan rekomendasi perbaikan yang efektif.