Layanan journal yang disediakan oleh Perpustakaan Universitas Gunadarma
| Judul Artikel | : | VERIFlKASI PERANGKAT LUNAK BERBASIS JAVA DENGAN T2 FRAMEWORK DENGAN STUDI KASUS ELECTRONIC VOTES MANAGER SEBAGAI PERANGKAT LUNAK BERBASIS KOMPONEN |
|---|---|---|
| Judul Terbitan | : | Jurnal Ilmu Komputer dan Informasi |
| ISSN | : | 1979-0732 |
| Bahasa | : | IND |
| Tempat Terbit | : | Depok |
| Tahun | : | 0000 |
| Volume | : | Vol. 1 Issue 2 0000 |
| Penerbit | : | Fakultas Ilmu Komputer Universitas Indonesia |
| Frekuensi Penerbitan | : | |
| Penulis | : | Aziz Yudi Prasetyo |
| Abstraksi | : | Verifikasi perangkat lunak merupakan hal yang dilakukan untuk rnemastikan bahwa suatu perangkat lunak adalah valid terhadap spesifikasi yang telah ditetapkan sebelumnya. Proses verifikasi dari suatu perangkat lunak merupakan hal yang terkait pengujian-pengujian yang dilakukan terhadap perangkat lunak yang bersesuaian, baik secara otomatis maupun manual. Dalam penelitian ini dilakukan implemenrasi dan analisis dari verifikasi perangkat lunak berbasis Java, dengan menggunakan T2 Framework sebagai verification tool. Proses implernentasi dilakukan terhadap studi kasus berupa Electronic Votes Manager yang dikembangkan sebagai perangkat lunak berbasis komponen dengan JavaBeans. Implementasi yang dilakukan meliputi definisi terhadap spesifikasi yang telah ditetapkan berikut tahap-tahap pengujian, sementara proses analisis dilakukan terhadap hasil dari eksperimen untuk mengukur kapabilitas dari T2 Framework sebagai sebuah verification tool untuk aplikasi berbasis Java, khususnya dalam proses verifikasi terhadap srudi kasus. |
| Kata Kunci | : | software testing tool; software quality assurance; java; testing |
| Lokasi | : | Depok |
| Terakreditasi | : | belum |