| Item type |
SIG Technical Reports(1) |
| 公開日 |
2026-03-02 |
| タイトル |
|
|
言語 |
ja |
|
タイトル |
UE5 Blueprintのゲームスクリプトを対象としたモデル検査による自動検証環境の開発 |
| タイトル |
|
|
言語 |
en |
|
タイトル |
Development of an Automatic Verification Environment for Game Scripts Created by UE5 Blueprint |
| 言語 |
|
|
言語 |
jpn |
| 資源タイプ |
|
|
資源タイプ識別子 |
http://purl.org/coar/resource_type/c_18gh |
|
資源タイプ |
technical report |
| 著者所属 |
|
|
|
岡山県立大学 |
| 著者所属 |
|
|
|
岡山県立大学 |
| 著者所属 |
|
|
|
岡山県立大学 |
| 著者所属 |
|
|
|
南山大学 |
| 著者所属 |
|
|
|
愛媛大学 |
| 著者所属 |
|
|
|
岡山県立大学 |
| 著者所属(英) |
|
|
|
en |
|
|
Okayama Prefectural University |
| 著者所属(英) |
|
|
|
en |
|
|
Okayama Prefectural University |
| 著者所属(英) |
|
|
|
en |
|
|
Okayama Prefectural University |
| 著者所属(英) |
|
|
|
en |
|
|
Nanzan University |
| 著者所属(英) |
|
|
|
en |
|
|
Ehime University |
| 著者所属(英) |
|
|
|
en |
|
|
Okayama Prefectural University |
| 著者名 |
茅野,立
横川,智教
須田,元太郎
天嵜,聡介
阿萬,裕久
有本,和民
|
| 論文抄録 |
|
|
内容記述タイプ |
Other |
|
内容記述 |
本研究では，UE5 Blueprintで記述されたゲームロジックにモデル検査を適用するため，ノードグラフをSMVプログラムへ自動変換する変換器を提案・実装した．ノードグラフから得られるテキストダンプ（ノードテキスト）から抽出したメタ情報と，ノード種別ごとのセマンティクス定義を入力として，実行フローとデータフローを遷移として表現することでSMVプログラムとしてのモデル化を行う．特に，ノードセマンティクスをJSONとして外部化し，ノードの追加・変更をプログラム本体から分離することで拡張性を高め，検証上重要でないノードは実行フローのみに着目して抽象化を行った．開発したツールの有効性を確認するため，変換器を用いて典型的なバグをもつノードグラフからSMVプログラムを生成し，モデル検査ツールNuSMVによる検証を行った．その結果，バグを検出するとともに反例トレースが得られ，自動生成したモデルが正しくバグを検出できることを確認した． |
| 論文抄録(英) |
|
|
内容記述タイプ |
Other |
|
内容記述 |
In this study, we proposed and implemented a converter that automatically transforms node graphs into SMV programs to apply model checking to game logic written in UE5 Blueprints. The converter models the logic as an SMV program by representing execution and data flows as transitions, using meta-information extracted from text dumps (node text) of node graphs and semantic definitions for each node type as inputs. In particular, we enhanced extensibility by externalizing node semantics as JSON files, separating node additions and modifications from the main program. Additionally, nodes that are not critical for verification were abstracted by focusing solely on their execution flow. To confirm the effectiveness of the developed tool, we generated SMV programs from node graphs containing typical bugs using the converter and performed verification with the model checking tool NuSMV. As a result, we successfully detected the bugs and obtained counterexample traces, confirming that the automatically generated models can correctly identify defects. |
| 書誌レコードID |
|
|
収録物識別子タイプ |
NCID |
|
収録物識別子 |
AN10112981 |
| 書誌情報 |
研究報告ソフトウェア工学（SE）
巻 2026-SE-222,
号 18,
p. 1-8,
発行日 2026-03-02
|
| ISSN |
|
|
収録物識別子タイプ |
ISSN |
|
収録物識別子 |
2188-8825 |
| Notice |
|
|
|
SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc. |
| 出版者 |
|
|
言語 |
ja |
|
出版者 |
情報処理学会 |
IPSJ-SE26222018.pdf (1.1 MB)
