エントリーの編集
エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
シミュレーションを利用したモデル検証手順-SPINの場合 - ウィリアムのいたずらの、まちあるき、たべあるき
記事へのコメント0件
- 注目コメント
- 新着コメント
このエントリーにコメントしてみましょう。
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
- バナー広告なし
- ミュート機能あり
- ダークモード搭載
関連記事
シミュレーションを利用したモデル検証手順-SPINの場合 - ウィリアムのいたずらの、まちあるき、たべあるき
ウィリアムのいたずらが、街歩き、食べ物、音楽等の個人的見解を主に書くブログです(たま~にコンピュ... ウィリアムのいたずらが、街歩き、食べ物、音楽等の個人的見解を主に書くブログです(たま~にコンピューター関係も) ■シミュレーションを利用したモデル検証手順-概要 動作させてチェックするのでは、チェックしきれないような場合、モデルを作成し、シミュレーションを利用して検証するという モデル検証が行われる(というふうに学者さんは考えている)。 このモデル検証では、性質を調べる。性質には 到達可能性 進行性 安全性 応答性 不変性 などがある。SPINで調べる場合、このうち、到達可能性、進行性、安全性(デッドロックとライブロック)を調べることになる。 これらについて、正常ケースと、非正常ケースについて確認し、さらに成り立つはずのない振る舞いが起こるかどうか確認する。 以下、正常ケースと、そうでないケースに対して、SPINでの調べ方をみていく。 ■シミュレーションを利用したモデル検証手順-SPINの