Matakuliah ini membahas pengembangan sistematis dan komprehesif dari konsep dasar, prinsip dan prosedur dalam melakukan verifikasi dan validasi dalam bidang pengembangan perangkat lunak. Teknik verifikasi dan validasi yang dibahas dalam matakuliah ini antara lain: Independent Verification andValidation (IV&V) methods, Inductive and Deductive Fault Analysis, Test Benches, Design for Testability, dan Accelerated Test methods and standards.
