| Item type |
SIG Technical Reports(1) |
| 公開日 |
2021-11-18 |
| タイトル |
|
|
タイトル |
UE4 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 |
|
|
Okayama Prefectural University |
| 著者名 |
和山, 一樹
横川, 智教
井川, 直
有本, 和民
|
| 論文抄録 |
|
|
内容記述タイプ |
Other |
|
内容記述 |
本論文では，Unreal Engine4 Blueprint（以下，Blueprint）で作成されたゲームプログラムに対してモデル検査を適用するためのモデル化手法について検討を行っている．Blueprint では様々な処理を行うノードを組み合わせることでゲームロジックを視覚的に記述できるが，その規模が大きくなるにつれて，ゲームの進行不可バグなどの不具合を発見・修正することが困難になる．そこで本論文では，形式検証技術であるモデル検査を用いて，ゲームロジックのバグを自動的に検出する．本論文では，Blueprint で作成されたゲームプログラムをモデル検査ツール NuSMV の入力モデルへと変換することで，NuSMV による検証を実現する．適用実験として，Blueprint で作成したゲームプログラムに提案手法を適用してモデル化および NuSMV による検証を行っている． |
| 書誌レコードID |
|
|
収録物識別子タイプ |
NCID |
|
収録物識別子 |
AN10112981 |
| 書誌情報 |
研究報告ソフトウェア工学（SE）
巻 2021-SE-209,
号 4,
p. 1-8,
発行日 2021-11-18
|
| ISSN |
|
|
収録物識別子タイプ |
ISSN |
|
収録物識別子 |
2188-8825 |
| Notice |
|
|
|
SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc. |
| 出版者 |
|
|
言語 |
ja |
|
出版者 |
情報処理学会 |
IPSJ-SE21209004.pdf (1.3 MB)
