カバレッジマスターの特定の技術を、ホワイトペーパーとして掲載しています。
技術・サポート情報
カバレッジマスターwinAMS/ゼネラル ユーザー向け技術サポート情報
ホワイトペーパー
チュートリアル
MBTオプション チュートリアル
MBTオプションは、モデルベース開発における Back-to-BackテストのためのカバレッジマスターwinAMSのオプション機能です。
本チュートリアルは、初めてMBTオプションをご利用になる方向けの解説書です。
基本的な使用方法を学習できるように構成されています。
■チュートリアルの概要
・実習の準備： MBT オプション チュートリアル環境説明
・実習１： 基本的なMBTオプションコマンドを学習
・実習２： 許容誤差の設定手順を学習
・実習３： 自動実行環境の構築を学習（mファイルによる自動実行）
【注意】
・ サンプルプロジェクトは RH850 のマイコンシミュレータを使用した環境です。
・ サンプルプロジェクトを使用するには、下記のライセンスが必要です。
※MBTオプションライセンス、RH850シミュレータエンジン（SX）ライセンス
「カバレッジマスターwinAMSとSanitizerの連携」チュートリアル
Sanitizer機能を有するマイコンモデルのシミュレータで、 メモリ処理の異常動作を動的テストでカバレッジマスターwinAMSで検出できます。
本チュートリアルは、 カバレッジマスターwinAMS と OSS ツールである 「Clang Undefined Behavior Sanitizer（以下、Clang-UBSan）」 の連携したテスト方法の解説書です。本チュートリアルでは、下記の内容をご体験いただけます。
• サンプルプログラムのビルド
• カバレッジマスターwinAMSの設定とシミュレーション実行
• Sanitizer 警告検出結果[UBSan 実行結果(不具合指摘)]の確認
• レポート機能
• スクリプト動作の概要と手順
- ●「カバレッジマスターwinAMSとSanitizerの連携」チュートリアル PDF閲覧
- ●「カバレッジマスターwinAMSとSanitizerの連携」チュートリアル 実習環境 zipファイルダウンロード
カバレッジマスターゼネラル チュートリアル
「カバレッジマスターゼネラル」は「カバレッジマスターwinAMS」のマイコン非依存バージョンです。(コンパイラで生成したオブジェクトコードは使用致しません。CasePlayer2でテスト用のオブジェクトコードを生成します。）
このチュートリアルは、初めてカバレッジマスターゼネラルをご利用になる方向けの解説書です。
基本的な使用方法を学習できるように構成されています。
- ●カバレッジマスターゼネラル チュートリアル PDF閲覧
- ●カバレッジマスターゼネラル チュートリアルのためのサンプルプロジェクト zipファイルダウンロード
はじめてカバレッジマスターを使う方
カバレッジマスターをはじめて使う方に向けた資料を掲載しています。
はじめてのカバレッジマスターマクロ（シミュレータコマンド）の使い方 ※上級者ユーザー向け
スタートアップコマンドファイルに設定するマクロコマンド（スクリプト）の使用方法を、ご質問の多い例を上げて解説しています。この内容は上級者向けです。
カバレッジマスターの基本的な使用方法、組込みマイコンの基本的な知識が必要です。
- ●マクロ（シミュレータコマンド）の使い方 PDF閲覧
【目次】
マイコンシミュレータのデバッグ機能
スタートアップコマンドファイル
シミュレータコマンド（マクロ）例
・I/O 制御等で外的要因待ちをしている場合（その１）
・I/O 制御等で外的要因待ちをしている場合（その２）
・Auto 変数の変遷をテスト結果CSV で確認する場合
・レジスタ値をテスト結果CSV で確認する場合
・プログラム中で書き換えられるグローバル変数の値を
テストCSV で指定した値に変更する（戻す）場合
・特定範囲のメモリ内容を初期化する場合
・特定範囲のメモリ内容を、特定範囲のメモリにコピーする場合
・その他の良く使うシミュレータコマンドについて