サクサク読めて、アプリ限定の機能も多数!
トップへ戻る
iPhone 16
www.epics.jp
はじめに モデル検査は、ゲームシナリオと相性の良い、ツールによる自動テストのための技術です。 シナリオスクリプトをモデル検査ツールに与えることで、様々な性質を、ワンタッチで確実に保証することができます。 モデル検査は、さまざまな性質をワンタッチで確実に検証できる技術 「プレイヤーがどんな選択肢を選んでも、必ずいずれかのエンディングにたどり着ける」 簡単に言えば、ハマるパターンがないということです。 「どんな順序でイベントをこなしても、パーティーに居ないキャラのセリフが表示されることはない」 「Bというイベントが発生する前には、必ずAというイベントをこなしている」 モデル検査は難しい? 日本語の資料が少ない 教科書を何とか英語で読んでも、抽象的すぎて取っつきにくい → 結果として、興味を持っても挫折しやすい しかし実際には、モデル検査(の基本)はかんたんです このページでは、できるだけ具体
( 1 ) 1 モデル検査のゲームシナリオへの適用 清木 昌 大山恵弘 米澤明憲 本論文では,モデル検査理論の応用としてコン ピュータゲームのシナリオスクリプトの検証を行う. RPG (Role Playing Game) やアドベンチャーゲーム と分類される,ユーザの介入により動的にストーリー を変化させることを特徴とする種類のゲームにおい て,そのシナリオを記述しているスクリプトに対し てモデル検査を適用することにより,ゲームの品質テ ストにおいて重要なある種の性質を自動検証できる ことを示す.実験は実際の製品で用いられているデー タを元に行い,初期状態から各ブロックへの到達性や 各状態からエンディングへの到達可能性などを計約 5 分で検証し,実際に到達不能ブロックを発見すること に成功した. 1 はじめに ゲーム業界はソフトウェア産業の中で輸出が輸入を 大きく上回っている,国際競争
Vsion ゲームは新しいビジネスを創造する 私たちはこれまで、 PlayStation/Nintendo/iOS/Android /PC など様々なプラットフォームで100タイトル以上のゲーム制作に関わってきました。 そして子どもの頃から好きだったゲームは、 高度なエンジニアリングと複雑な要素を用意周到に組み立てた非常に魅力的な仕掛けであることを知ったのです。 私たちはこのゲームの持つ魅力や特性を活かして、たくさんの人が愉しくて便利で夢中になれる新しいコンテンツやサービスを常識にとらわれず世の中に創出していくことを実現します。 Commitment 独創的な価値の創造 イノベーションに好奇心をもって挑戦する、 それが私たちのスピリットです。 そして、独創的な価値を追求し、常に未来へ挑戦するプロフェッショナルであることを私たちはお約束します。 Company’s management po
自分のための備忘録です。 Visual Programming やら状態遷移モデル関連やら、 モデル検査の話やら、ゲーム系のさまざまやら。 目次 先行研究 状態遷移モデル プロセス代数 モデル検査 Visual Programming Language 各種スクリプト ゲーム用の何か 先行研究 似たようなことを研究していらっしゃる所の一覧です アクションゲーム記述に特化した言語 筑波大学大学院ビジネス科学研究科の西森さんの研究です。2003年度未踏ソフトウェア事業に採択されています。相互リンク状態になっていますね(^^; こちらのリンク情報を踏まえた上でまとめられているので、ゲームとスクリプト言語に関する情報では西森さんのページのリンク集のほうがご覧のこのページよりお役に立つかと思います。 Actor's Theatre 神戸大学の瀧研究室で開発されている、3Dアニメーション用
このページを最初にブックマークしてみませんか?
『株式会社epics – EPIC VOYAGE TO THE NEXT DIGITAL UNIVERSE』の新着エントリーを見る
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く