設計プロセスにおけるモデル検査を自動化するツールの開発を承ります。

• 設計モデル検査では、設計 → モデル検査 → 改修 → 確認のサイクルを繰り返して
  システム開発の上流プロセスでの品質向上を図ります。
• 御社が採用している設計手法（設計ツール）に合わせて開発します。
• 以下の機能を実現します。
  　-> モデル検査ツールNuSMVの専用言語のモデルの自動生成
  　-> 検査式の自動生成と作成支援
  　-> NuSMVの高速化＆省メモリ化（チューンナップ）
  　-> 反例の解析支援（一覧表示／シミュレーション実行など）
• モデルの自動生成については多くの実績があります。

　　=> 設計モデル検査ツールの開発（PDF 345KB）

　　=> UMLのステートマシン図をモデル検査した事例（外部サイト）

　　=> モデル検査のユースケース（外部サイト）


お問い合わせ より御社の状況とご要望をお聞かせください。

サービス一覧へ