Fungsi carian sedang dalam pembinaan.
Fungsi carian sedang dalam pembinaan.

The original paper is in English. Non-English content has been machine-translated and may contain typographical errors or mistranslations. ex. Some numerals are expressed as "XNUMX".
Copyrights notice

The original paper is in English. Non-English content has been machine-translated and may contain typographical errors or mistranslations. Copyrights notice

Formal Verification for Node-Based Visual Scripts Using Symbolic Model Checking Pengesahan Formal untuk Skrip Visual Berasaskan Nod Menggunakan Pemeriksaan Model Simbolik

Isamu HASEGAWA, Tomoyuki YOKOGAWA

  • pandangan teks lengkap

    0

  • Petikan Ini

Ringkasan:

Bahasa skrip visual dengan antara muka berasaskan nod lazimnya digunakan dalam industri permainan video. Kami meneliti pangkalan data pepijat yang diperoleh dalam pembangunan FINAL FANTASY XV (FFXV), dan mendapati bahawa beberapa jenis pepijat disebabkan oleh salah huraian mudah skrip visual dan oleh itu boleh dikesan secara mekanikal. Kami mencadangkan kaedah untuk pengesahan automatik skrip visual untuk meningkatkan produktiviti pembangunan permainan video. Kaedah kami boleh mengesan pepijat tersebut secara automatik dengan menggunakan pemeriksaan model simbolik. Kami menunjukkan algoritma terjemahan yang secara automatik boleh menukar skrip visual kepada model input untuk NuSMV yang merupakan pelaksanaan semakan model simbolik. Untuk penilaian awal, kami menggunakan kaedah kami pada skrip visual yang digunakan dalam pengeluaran untuk FFXV. Keputusan penilaian menunjukkan bahawa kaedah kami boleh mengesan pepijat skrip dan berfungsi dengan baik dalam masa yang munasabah.

Jawatankuasa
IEICE TRANSACTIONS on Information Vol.E105-D No.1 pp.78-91
Tarikh penerbitan
2022/01/01
Diumumkan
2021/09/29
ISSN dalam talian
1745-1361
DOI
10.1587/transinf.2021EDP7063
Jenis Manuskrip
PAPER
kategori
Sistem Perisian

Pengarang

Isamu HASEGAWA
  SQUARE ENIX CO., LTD.
Tomoyuki YOKOGAWA
  Okayama Prefectural University

Kata kunci

Contents [show]