1. ホーム
  2. ソリューション
  3. モデルベーステストサービス
ソリューション

CATS Okinawa Center(COC)のモデルベーステストサービスは、状態遷移モデル設計ツール(ZIPC V10)を活用した、状態遷移モデル設計からテストシナリオ生成を支援するツールの適用コンサルテーションサービスです。

状態遷移モデル設計により、早期の不具合発見ができ、テスト工程に活用することができます。

お客様の課題をCOCのサービスが解決します

お客様の課題

COCが提供するモデルベーステストサービスの特長

  • モデルベース開発により開発が見える化するため、担当者依存を解消します
  • ニアショア価格でモデルベース開発ソリューションを提供します
  • モデルベース開発により手戻りが減少して工数を削減できます
  • ニアショア開発なので言語や法律による影響はありません

サービス内容

モデルベース設計サービス
(Model-base Design Service)
仕様書、設計書、コードから状態遷移モデルを設計するサービスです。
状態遷移モデル化することで設計が見える化します。
モデルベース検証サービス
(Model-base Validation Service)
モデルベース設計サービスで開発した設計書をシミュレーションするサービスです。シミュレーションにより、早期に不具合を発見できます。
また、シミュレーション結果を後工程のテストに活用することができます。
モデルベース教育サービス
(Model-base Training Service)
モデルベース開発に関する教育セミナーを実施して、技術者を育成します。
また、沖縄の枠組みを活用することで低コストで技術者を育成できます。

本サービスに関するお問合せ/関連リンク はこちら

↑ページTOPへ