Improving QA/QC process for video game development based on automatic verification of node graphs

• Project/Area Number: 23K11382
• Research Category: Grant-in-Aid for Scientific Research (C)
• Allocation Type: Multi-year Fund
• Section: 一般
• Review Section: Basic Section 62040:Entertainment and game informatics-related
• Research Institution: Okayama Prefectural University
• Principal Investigator: 横川 智教 岡山県立大学, 情報工学部, 准教授 (50382362)
• Co-Investigator(Kenkyū-buntansha): 天嵜 聡介 岡山県立大学, 情報工学部, 准教授 (00434978) ; 阿萬 裕久 愛媛大学, 総合情報メディアセンター, 教授 (50333513)
• Project Period (FY): 2023-04-01 – 2026-03-31
• Project Status: Granted (Fiscal Year 2023)
• Budget Amount: ¥4,680,000 (Direct Cost: ¥3,600,000、Indirect Cost: ¥1,080,000); Fiscal Year 2025: ¥1,560,000 (Direct Cost: ¥1,200,000、Indirect Cost: ¥360,000); Fiscal Year 2024: ¥1,430,000 (Direct Cost: ¥1,100,000、Indirect Cost: ¥330,000); Fiscal Year 2023: ¥1,690,000 (Direct Cost: ¥1,300,000、Indirect Cost: ¥390,000)
• Keywords: モデル検査 / ビデオゲーム開発 / ノードグラフ / 自動検証

Outline of Research at the Start

本研究ではビデオゲーム開発の QA/QC プロセスを効率化するため，ノードグラフとして記述されたゲームロジックをモデル検査により自動検証するための枠組みを開発する．具体的には，以下の3つの実現を目指す．
(1) ノードグラフからのモデル作成を自動化するための「ノードセマンティクス」の段階的詳細化技術の開発
(2) ノードグラフの自動検証を高速化するための近似処理に基づくモデルサイズ削減技術の開発
(3) ゲーム開発プロジェクトへの適用実験を通した効果の検証
これにより，モデル検査を用いてゲームロジックのバグを自動的に検出することが可能となり，QA/QC プロセスの大幅な効率化を達成できる．