Pengujian JPEG 2000 Encoder/Decoder dengan Cara Mutasi

Abstract

Pengujian perangkat lunak merupakan aktivitas yang dilakukan untuk menambah kepercayaan pengembang dan pengguna terhadap perangkat lunak yang diuji. Salah satu cara menguji adalah dengan memberikan sederetan kasus uji sebagai masukan program, lalu mengamati apakah program berperilaku seperti yang telah diprediksikan. Terdapat banyak kasus di mana keluaran yang diharapkan tidak diketahui di awal, yang dikenal sebagai persoalan oracle. Pengujian dengan cara mutasi merupakan sebuah pendekatan yang dilakukan untuk mengatasi persoalan tersebut. Ide dasarnya adalah jika parameter-parameter dalam kode program diubah, maka perilaku program juga akan berubah. Tulisan ini merupakan hasil penelitian yang bertujuan untuk mengetahui rasio atau derajat kemampuan relasi-relasi metamorfik dalam menemukan kesalahan pada program yang diuji. Penelitian dilakukan dengan metoda eksperimental. Untuk keperluan penelitian, digunakan empat kelompok relasi metamorfik, 1023 gambar sebagai kasus uji, dan tiga puluh mutan untuk setiap relasi. Perangkat lunak yang digunakan sebagai obyek yang diuji adalah JPEG-2000 encoder/decoder buatan Michael D. Adams.

Kata Kunci : pengujian mutasi, persoalan oracle, relasi metamorfik, mutan