本文へスキップ

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

TEL/FAX. 078-796-3104
E-mail. info@formaltech.co.jp

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

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

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

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

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


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



サービス/製品一覧へ