文献

J-GLOBAL ID：201702252348780079   整理番号：17A0654040

モデル検査によるゲームシナリオの不具合発見ツールの提案

著者 (2件)： 木間塚達 (芝浦工大) ,  野田夏子 (芝浦工大)
資料名： 情報処理学会研究報告(Web)  (IPSJ Technical Report (Web))
巻： 2017  号： SE-195  ページ： Vol.2017-SE-195,No.13,1-9 (WEB ONLY)  発行年： 2017年03月05日 
JST資料番号： U0451A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： 日本 (JPN)  言語： 日本語 (JA)

抄録/ポイント： ゲーム開発において,シナリオの不具合がないことを発見することは重要である。状態空間の網羅的な検査が可能なモデル検査を用いてゲームシナリオの不具合を発見する研究は過去にもなされているが,シナリオ作成者が実際に適用するには困難さがあった。本研究では,シナリオ作成者が実際に利用できるツールとして,ゲームシナリオとテンプレートに従った簡単な性質記述を入力することによりSPINを利用して不具合を発見するツールを提案する。(著者抄録)

シソーラス用語： *モデル検査 ,  *シナリオ ,  娯楽 ,  空間 ,  型 ,  欠陥 ,  故障検出 ,  *支援プログラム
準シソーラス用語： コンピュータゲーム ,  状態空間 ,  ソフトテンプレート ,  不具合 ,  欠陥検出 ,  ソフトウェアツール

分類 (1件)： 計算機システム開発  (JD02010R)

引用文献 (5件)：

• Clarke, E.M, et.al: Model Checking, MIT Press (1999)
• Holzmann, G.J.: The Model Checker SPIN. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, Vol.23, No.5 (1997)
• 清木昌. ゲームシナリオのモデル検査. 情報処理学会 研究報告 ゲーム情報学, vol. 28, p. 51-56. (2004)
• “吉里吉里 Z”. http://krkrz.github.io/ (参照 2017-01-05)
• “KAG System リファレンス -kikyo.info-/タグリファレンス”. http://devdoc.kikyou.info/tvp/docs/kag3doc/contents/., (参照 2017-01-05)

タイトルに関連する用語 (7件)： モデル検査 ,  ゲーム ,  シナリオ ,  不具合 ,  発見 ,  ツール ,  提案