カバレッジマスターwinAMS MBTオプション

各種機能

テストハーネスモデル生成機能

検証するモデルのサブシステムを切り出して、サブシステム単体で部分的に検証するためのテストハーネスモデルを作成できます。

I/Oマッピング機能

テストハーネスモデルの情報と、カバレッジマスターwinAMSから出力した変数情報を元に、比較対象の信号と変数のマッピングを行い、マップリストを作成できます。
マップリスト作成時に全体の許容誤差を設定できます。信号個別の許容誤差や固定小数点設定、前回値設定は、マップリストを編集することで設定できます。

テストデータAD/DA変換機能

モデルやソースコードから作成したテストCSVファイルから、コードテスト用CSVファイルと、モデルテスト用CSVファイルを作成できます。
固定小数点設定に従って、モデルから作成した物理値のデータはデジタル値に変換し、コードから作成したデジタル値のデータは物理値に変換します。

MILS実行機能

テストハーネスモデルに、モデルテスト用CSVファイルのデータを入力し、モデル実行結果ログを作成できます。

Back to Backテスト一致判定機能

コード実行結果ログとモデル実行結果ログを比較して、一致判定を行い、比較結果データファイルを作成できます。比較対象の信号と変数ごとに許容誤差を踏まえた誤差評価を行えます。

統合レポート生成機能

比較結果データファイル、モデル実行結果ログ、コード実行結果ログをまとめて、XML、HTMLフォーマットで帳票出力ができます。