Utilising bttrace visualiser and ltl formulae patterns for analysing counterexample./ Irene Ully Havsa
Irene Ully Havsa;
(Fakultas Ilmu Komputer Universitas Indonesia, 2013)
|
The aim of this paper is to demonstrate the utilisation of a Behavior Tree trace visualiser called BTTrace and generalised LTL formulae patterns to help system analysts analyse counterexamples and generate valuable ones. Counterexample generated by SAL model checker from a Behavior Tree model and an LTL formulae is translated into a BTTrace file. This file is rendered by BTTrace to visualise the counterexample on Behavior Tree diagram in animated fashion. Generalised LTL formulae patterns are exploited using a particular technique to assist analyst on constructing new yet meaningful property formulas. These formulas are used to obtain different and valuable counterexamples for further analysis. It is shown that BTTrace and LTL formulae patterns give significant support for analysing counterexamples of Behavior Tree model.Tujuan dari makalah ini adalah untuk menunjukkan pemanfaatan dari visualisasi jejak Behavior Tree yang disebut BTTrace dan generalisasi pola formula LTL untuk membantu analis sistem menganalisis counterexample dan menghasilkan counterexample yang berharga. Counterexample dihasilkan oleh SAL model checker dari model Behavior Tree dan formula LTL diterjemahkan ke dalam sebuah file BTTrace. File ini kemudian di-render oleh BTTrace untuk memvisualisasikan counterexample diagram Behavior Tree dalam mode animasi. Pola formula LTL yang sudah digeneralisasi kemudian dieksploitasi dengan menggunakan teknik tertentu untuk membantu analis untuk membangun formula properti baru namun bermakna. Formula ini digunakan untuk mendapatkan counterexample yang berbeda dan berharga untuk analisa lebih lanjut. Pada makalah ini ditunjukkan bahwa BTTrace dan pola formula LTL memberikan dukungan yang signifikan untuk menganalisis counterexample dari model Behavior Tree. |
No. Panggil : | |
Entri utama-Nama orang : | |
Subjek : | |
Penerbitan : | [Place of publication not identified]: Fakultas Ilmu Komputer Universitas Indonesia, 2013 |
Sumber Pengatalogan : | LibUI eng rda |
ISSN : | 25029274 |
Majalah/Jurnal : | Jurnal Ilmu Komputer dan Informamsi |
Volume : | Vol. 6 No. 1 2013: Hal. 11-16 |
Tipe Konten : | text |
Tipe Media : | computer |
Tipe Carrier : | online resource |
Akses Elektronik : | http://jiki.cs.ui.ac.id/index.php/jiki/article/view/212 |
Institusi Pemilik : | Universitas Indonesia |
Lokasi : |
No. Panggil | No. Barkod | Ketersediaan |
---|---|---|
03-17-887999764 | TERSEDIA |
Ulasan: |
Tidak ada ulasan pada koleksi ini: 20448243 |