Pengujian berbasis model menggunakan model untuk menentukan perilaku perangkat lunak/sistem dan strategi pengujian, membantu dalam merancang dan melaksanakan proses pengujian secara efektif. Model-model ini mewakili sistem yang sedang diuji dan lingkungan pengujian, mengoptimalkan perangkat lunak dan pendekatan pengujian sistem.