「モデル検査のゲームシナリオへの適用」を執筆中

夜行バスで無事に帰ってきました。昨日のモデル検査のセッションはおつかれさまでした。

昨日のモデル検査のセッションと関連して、「モデル検査のゲームシナリオへの適用」というページを執筆中です。モデル検査の技術のうち、ゲームのシナリオスクリプトへ直接適用する、という応用に限定して、できるだけシンプルに解説していく予定です。

モデル検査は、物語重視ゲームのシナリオスクリプトとの相性が抜群によい自動テスト技術です。日本語で解説を書くことで、少しでも、多くの開発者の皆さまに興味を持っていただけることを願いつつ……。

また、分かりにくい部分などありましたら、どしどしご指摘くださいませ。

さて、これから出社です……。