Validasi Perangkat Lunak dengan Metode Hybrid Berbasis UML

Abstract

Kecermatan proses verifikasi dan validasi perangkat lunak merupakan kunci keberhasilan penjaminan mutu (kualitas) perangkat lunak. Proses validasi model dinamis perangkat lunak sangat menentukan kehandalan perangkat lunak, karena validasi pada tahapan analisis dan desain akan dapat mengurangi resiko kesalahan yang fatal pada tahap implementasi. Keberhasilan validasi model dinamis ditentukan oleh kecermatan analisis dengan dukungan metode formal dan kakas verifikasi dan validasi model perangkat lunak. Arah perkembangan validasi model perangkat berbasis UML menjadi kajian utama, dimana potensi perpaduan dengan metode formal yang berorientasi objek (antara lain Object-oriented Petri Net dan Object Z) berpeluang untuk dikembangkan menjadi metode formal yang bersifat hybrid.