本文へスキップ

〒654-0152 兵庫県神戸市須磨区東落合3-14-25

E-mail. toiawase(at)formaltech.co.jp

設計モデル検査ツールの開発ECRUIT

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

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

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

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


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



サービス一覧へ