執筆記事

• 

  2017/05/23

  システムの網羅的なテストができるモデル検査　実課題を扱ったモデル検査のコンテスト「MoCCon」を振り返る

  　社会人エンジニア向けの教育プログラム「トップエスイー」での講義や制作結果などからエンジニアの皆さんに対して有用な情報をお届けするコーナーです。今回は、形式手法の1つであるモデル検査について説明します。モデル検査はモデルチェッキングとも呼ばれ、形式手法の中でもツールによる自動化が比較的進んでおり、数学や論理学に詳しくない人でもモデル作成や検査の処理に取り組みやすく、理解しやすい技術です。トップエスイーでは、その有用性に着目してモデル検査に関する講義や演習を充実させるなど、教育に力を入れています。...

  • テスト・品質