viii Universitas Indonesia ABSTRAK Nama : Agung Pratama Program Studi : Ilmu Komputer Judul : Implementasi Debugging Tool Pada Behavior Tree Behavior Tree (BT) adalah salah satu model notasi formal pada Behavior Engineering yang didesain agar dapat memodelkan sebuah concurrency system. Perancangan concurrency system merupakan masalah yang rumit dikarenakan harus mempertimbangkan akibat dari eksekusi parallel. Masalah yang mungkin timbul adalah race condition, deadlock, starvation, dan lain-lain. Ada dua pendekatan dalam mendeteksi masalah tersebut: pendekatan teoritis dengan menggunakan metode formal; dan pendekatan praktikal yang biasanya menggunakan metode debug. Dalam merancang sistem yang kritikal, metode pertama lebih banyak dipilih dikarenakan bersifat sound dan complete. Namun hal tersebut membutuhkan pengetahuan yang mendalam tentang metode formal. Bagi kebanyakan software engineer, metode kedua lebih populer karena lebih praktis dan simpel. Tugas akhir ini mengajukan sebuah implementasi yang memakai pendekatan kedua. Implementasi ini, Debugging Tool pada BT, adalah sebuah visual debugging tool. Program ini memproses sebuah input BT Specification dan memvisualisasikannya menjadi diagram menggunakan algoritma tree layouting. Fungsi debugging dilakukan dengan menganimasikan eksekusi BT pada diagram terkait. Demi aspek kemudahan analisis, eksekusi parallel akan disimulasikan secara interleave. Tool ini juga menyediakan fitur untuk merekam simulasi yang telah dijalankan. Debugging Tool pada BT diimplementasikan sebagai sebuah Eclipse Plugin dan telah berhasil dalam melakukan visualisasi dan simulasi terhadap studi kasus Producer Consumer yangt telah didesain sebelumnya. Kata Kunci: Behavior Tree, debugging tool, visual debugging, concurrency system, parallel, interleave, animasi, diagram, scheduling algorithm