Verifikasi adalah proses pembuktian bahwa sesuatu itu benar atau lengkap. Dalam komputasi, verifikasi melibatkan pemeriksaan suatu sistem memenuhi serangkaian kriteria yang telah ditentukan untuk memastikan sistem berfungsi dengan baik dan memenuhi spesifikasi desain. Verifikasi merupakan langkah penting dalam pengembangan dan pemeliharaan sistem perangkat lunak dan perangkat keras untuk memastikan keandalan dan kebenarannya.
Verifikasi biasanya dibagi menjadi dua bagian: fungsional dan struktural. Verifikasi fungsional menilai kebenaran perilaku sistem. Ini memastikan bahwa sistem berfungsi dengan benar dengan melakukan serangkaian pengujian yang telah ditentukan dan memeriksa nilai masukan dan keluaran untuk memastikannya sesuai dengan yang diharapkan. Verifikasi struktural menilai kebenaran struktur internal suatu sistem. Hal ini memastikan bahwa sistem dibangun sedemikian rupa sehingga tidak menimbulkan kesalahan dan desainnya bagus.
Verifikasi adalah bagian penting dari proses pengembangan perangkat lunak. Ini memastikan bahwa sistem memenuhi persyaratan pengguna dan dapat diandalkan serta aman. Verifikasi juga memastikan bahwa setiap perubahan atau perbaikan yang dilakukan pada sistem tidak menimbulkan kesalahan apa pun.
Verifikasi juga dapat digunakan di bidang lain seperti keamanan sistem dan keamanan informasi. Proses verifikasi dapat digunakan untuk memastikan bahwa keamanan sistem komputer tidak terganggu, dan informasi rahasia aman dari akses yang tidak sah.
Verifikasi adalah proses berkelanjutan yang memastikan bahwa sistem memenuhi hasil yang diinginkan, dapat diandalkan dan aman, serta siap digunakan di lingkungan yang diinginkan. Ini merupakan bagian integral dari rekayasa perangkat lunak dan penting untuk memastikan bahwa sistem berfungsi seperti yang diharapkan dan melakukan tugasnya dengan andal dan aman.
