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.

Mahasiswa mampu memilih metode verifikasi dan melakukan verifikasi kebutuhan perangkat lunak serta mampu melakukan validasi kebutuhan perangkat lunak

Engel, Avner. 2010. Verification, Validation, and Testing of Engineered Systems. Wiley Publisher.

Roache, Patrick J. 2009. Fundamentals of Verification and Validation.

Oberkampf, William L., Roy, Christopher J. 2010. Verification and Validation in Scientific Computing. Cambridge University Press.

Stoker, Edward. 2014. Verification, Validation and Testing: Theory and Practice.