自動化ツールとして、テストハーネスの生成、テストのシミュレーション、結果の比較、カバレッジの測定などのプロセスを通じて、モデルの動的検証を支援します。これにより、モデルのルールチェックを効果的にサポートします。

簡単なテストケース編集

  • Excel形式のテストケースエディタを提供します
  • ドラッグによる便利な自動入力サポート
  • 信号データの一括変更機能を提供します

モデルカバレッジ測定

  • 意思決定(Decision)/条件(Condition)[MC/DC]、ルックアップテーブル(Lookup Table)を含む13種類のカバレッジの測定を行います
  • 測定されたカバレッジをモデル上で可視化し、表示します
  • 相互接続されたモデルリンクのダイアログボックスを通じて、カバレッジの詳細を提供します

競合と差別化できる要因

  • 目的
    • 動的モデル検証ツールモデルコアカバレッジ測定
  • パフォーマンス
    • 解析速度/テストケース生成
  • 利便性
    • 便利なExcel形式のテストケース編集
  • カスタムズ
    • カスタマイズ可能なレポート(別途ご相談ください)

製品の強み

  • ツールの品質
    • ツールとモデル間の簡単な接続
  • 国際認証
    • SGS・TÜVの認証
    • ツール認証による提供
  • ツールの統合
    • モデルデータの自動抽出
    • 実車データのインポート対応
  • 柔軟性
    • 独自に開発・提供
    • 顧客のニーズに迅速対応

想定される導入メリット

  • モデルが自動コードと一貫していることを確認
  • ユーザー中心のインターフェースを提供
  • テストケースの編集および管理機能
  • 要件に応じたテストケース管理
  • テスト自動化環境の構築

01. 機能安全認証

  • ミッションクリティカルな領域では、安全性と信頼性の認証(ISO 26262)が要求される

02. モデル動的検証プロセスについて

  • テストケース生成方法を選択
    • さまざまなテストデータ生成方法に対応
    • 便利なExcel形式のエディターを提供
  • テストケースの実行結果を確認
    • 期待値と結果値を自動比較
    • 入出力信号のダイアグラムを提供
  • モデルのカバレッジを測定
    • モデルのカバレッジ情報を提供
    • カバレッジの詳細確認機能

03. テストケースを自動生成

  • 各システムまたは、サブシステムに対して、テストケースを自動生成(4種類のテストケース生成方法を提供:ペア/ランダム/検索/空のテストケース)
  • テストデータは、テストデータ生成方法および入力制約に従って生成されます
  • パラメータ設定:モデルで参照される変数値は、スクリプトファイルとして管理でき、テストケースに適用してテストすることができます
  • テストを実行する前に実行されるパラメータファイルを設定

04. 簡単にテストケース編集

  • テストケースに関連する要件、カテゴリ、パラメータ、エラー許容設定をサポート
  • Excel形式のテストデータ編集をサポート
  • シグナルテンプレートのサポート
    • テストケース編集を容易にするため、7種類のシグナルテンプレート(サイン波、パルス波、三角波、矩形波など)をサポート

05. マルチテストモード

  • MIL、SIL、およびバック・トゥ・バックテストの自動実行
    • 期待値の比較、MILおよびSILシミュレーション、バック・トゥ・バックテストをサポートし、モデルとコードの一貫性を検証

06. モデルカバレッジの測定

  • 決定、条件、MC/DC、ルックアップテーブルなど、13種類のカバレッジ測定タイプを提供
  • 測定カバレッジを視覚化し、ツール内で詳細なカバレッジ情報を提供

07. テストケースの再利用

  • 実車データのインポート
    • 実際の車両データをMDF形式で分析し、簡単にテストケースを生成
  • 回帰テストケースの作成
    • テストケース結果値を期待値として設定し、回帰テストをサポートするテストケースの作成
  • テストケースの共有
    • さまざまなファイル形式でのテストケースのインポート/エクスポートをサポート
    • Simulink Signal Builderブロック内のテストケースが利用可能

08. 要件ベースのテスト(A-SPICE)

  • プロジェクトとテストケースは、ユニット単位で管理できます
  • テストケースと要件間の双方向トレーサビリティをサポート
項目詳細
対応モデル-Simulink version 2011b or above
-TargetLink version 3.3 or higher
-Embedded Coder
オペレーティングシステムWindows 7 +
UI言語英語・韓国語
稼働設備CPURAMHDD
パソコンDual Core 2GHz or m  ore2GB or more50 GB
モデル動的検証

モデルの動的検証プロセス

モデル動的検証

マルチテストモード

モデル解析
品質保証

外部製品紹介リンク