ACADSTAFF UGM
| Title | : | Pencarian Distributed Concurrency Bug Pada Ethereum dengan Menggunakan Model Checking |
| Author | : | |
| Date | : | 0 2019 |
| Abstract | : | Karena alasan skalabilitas, saat ini semakin banyak perangkat lunak yang dikembangkan sebagai sistem terdistribusi berbasis peer-to-peer. Perangkat-perangkat lunak seperti ini rentan terhadap kesalahan-kesalahan logika yang merupakan konsekuensi dari keterdistribusian, yang sangat sulit untuk dideteksi dengan mekanisme-mekanisme pengujian perangkat lunak konvensional. Dalam penelitian ini, Ethereum, sebuah lingkungan sistem terdistribusi peer-to-peer berbasis blockchain, akan diuji dengan menggunakan prinsip-prinsip model checking untuk menemukan beberapa distributed concurrency bug di dalamnya. Pengujian dilakukan menggunakan model checker yang bekerja pada level source code, yaitu Semantic-Aware Mode Checker (SAMC). Bug-bug tersebut kemudian akan direproduksi pada lingkungan Ethereum yang sebenarnya untuk mendemonstrasikannya. |
| Group of Knowledge | : | Ilmu Komputer |
| Original Language | : | Bahasa Indonesia |
| Level | : | Nasional |
| Status | : |
| No | Title | Action |
|---|