Invarian adalah istilah yang digunakan dalam komputasi yang mengacu pada elemen yang tidak berubah seiring waktu atau sebagai respons terhadap pengaruh luar. Ini adalah konsep yang digunakan dalam rekayasa perangkat lunak, pemodelan data, dan desain algoritma, untuk menggambarkan dan membuktikan sifat-sifat tertentu dari suatu sistem atau subsistem dalam suatu sistem.
Invarian memberikan cara penting untuk secara efektif mempertimbangkan perilaku suatu sistem, karena invarian menunjukkan objek yang akan tetap sama terlepas dari perilaku independen objek lain atau pengaruh eksternal. Invarian digunakan dalam berbagai bahasa pemrograman, model, dan pendekatan, mulai dari logika predikat hingga pemrograman berorientasi objek.
Invarian menyediakan cara yang berguna untuk memverifikasi kebenaran desain perangkat lunak atau sistem. Mereka juga dapat digunakan untuk menemukan bug yang dapat menyebabkan masalah dalam pelaksanaan suatu program. Dalam melakukan debug suatu sistem misalnya, invarian dapat membantu mengisolasi suatu bug, seolah-olah invarian tersebut tidak terpenuhi, maka bug tersebut pasti disebabkan oleh bagian sistem yang terkena dampaknya.
Invarian juga penting dalam spesifikasi sistem formal, karena dapat digunakan untuk membuktikan bahwa sistem tertentu mempunyai sifat tertentu yang diinginkan seperti kebenaran, keselamatan, keamanan, atau keandalan. Invarian digunakan untuk mendeskripsikan aspek apa pun dari sistem yang properti tertentunya konstan, termasuk fungsi program atau warna entitas dalam antarmuka pengguna grafis.
Invarian sering digunakan dalam kombinasi dengan teknik lain untuk memeriksa kebenaran dan keandalan perangkat lunak, termasuk yang melibatkan pemeriksaan pernyataan dan pembuktian teorema. Pemeriksaan invarian banyak digunakan dalam kompiler, karena dapat membantu memverifikasi kode program secara statis sebelum runtime. Hal ini juga digunakan dalam pengembangan sistem yang lebih andal, karena dimungkinkan untuk menyatakan beberapa invarian sistem dan kemudian memverifikasi bahwa properti ini dipertahankan.
