ABSTRAK Nama : Ricky Timothy Gultom Program Studi : Magister Ilmu Komputer Judul : Abstract Behavioral Specification-based Testing Method for Software Product Lines Metode pengujian perangkat lunak untuk Software Product Lines (SPL) yang efisien merupakan salah satu permasalahan yang belum terjawab di bidang rekayasa perangkat lunak. Banyaknya produk yang dapat diciptakan dari SPL adalah salah satu alasan yang mengakibatkan pengujian memerlukan usaha yang amat besar tetapi masih kurang dan sering kali terdapat duplikasi di dalamnya. Beberapa usaha telah dilakukan untuk menyelesaikan masalah ini. Salah satunya adalah dengan menggunakan delta-oriented testing. Dengan metode tersebut, beban pengujian menjadi berkurang akibat tidak harusnya membuat test case dari awal untuk masingmasing produk. Penelitian ini mencoba mengembangkan cara tersebut dengan bantuan Abstract Behavioral Specification (ABS). ABS merupakan bahasa pemodelan berorientasi objek yang dapat dieksekusi dan menggunakan delta modeling untuk mengembangkan SPL. Dengam mengombinasikan delta oriented testing dan ABS, tesis ini membuat sebuah plugin untuk Eclipse IDE(Integrated Development Environment) dan metodologi pengujian untuk SPL. Sebuah studi kasus dipilih untuk menunjukkan bagaimanana plugin dan metodologi ini bekerja.