ホーム > ユー ザーサポート > ユーザー向け技術サポート情報(カバレッジマスターwinAMS/ゼネラル)
ユーザー向け技術サポート情報
カバレッジマスターwinAMS ユーザ向け技術サポート情報
カバレッジマスターwinAMS ユーザー向けに、技術情報（各種）を公開しています。
サポート情報サイト内Google検索
疑問点のキーワードを使って、ユーザー向け技術サポート情報内を検索することが出来ま す。
【キーワード例】
カバレッジ | MC/DC
|
定義名リスト |
Word変換 |
OMF変換 |
インライン関数 |
初期設定アドレス |
スタブ関数 |
スタートアップコマンドファイル |
const変数 |
永久ループ |
アセンブラ関数 |
スタティック変数 | MISRA-C
| RL78
|
ホワイトペーパー（機能解説）
カバレッジマスターwinAMSの特定の技術を、ホワイトペーパーとして掲載しています。
高品質ソフトウェアを実現するためのユニットテスト(PDFファイル)
カバレッジマスターwinAMSを用いて、エンジニアの経験や能力に依存しない、効果的かつ適切なテスト設計を行う手法をご紹介します。
MC/DCの測定方法(PDFファイル)
カバレッジマスターwinAMSにおける、機能安全規格に必要となるMC/DC測定の仕組みと、測定の妥当性についてご紹介します。
MBTオプション チュートリアル
MBTオプションは、モデルベース開発における Back-to-BackテストのためのカバレッジマスターwinAMSのオプション機能です。
本チュートリアルは、初めてMBTオプションをご利用になる方向けの解説書です。
基本的な使用方法を学習できるように構成されています。
カバレッジマスター MBTオプション チュートリアル(PDFファイル)カバレッジマスター MBTオプション チュートリアルのためのサンプルプロジェクト（EXE）■チュートリアルの概要
・実習の準備： MBT オプション チュートリアル環境説明
・実習１： 基本的なMBTオプションコマンドを学習
・実習２： 許容誤差の設定手順を学習
・実習３： 自動実行環境の構築を学習（mファイルによる自動実行）
【注意】
・ サンプルプロジェクトは RH850 のマイコンシミュレータを使用した環境です。
・ サンプルプロジェクトを使用するには、下記のライセンスが必要です。
※MBTオプションライセンス、RH850シミュレータエンジン(SX）ライセンス
「カバレッジマスターwinAMSとSanitizerの連携」チュートリアル
Sanitizer機能を有するマイコンモデルのシミュレータで、
メモリ処理の異常動作を動的テストでカバレッジマスターwinAMSで検出できます。
本チュートリアルは、
カバレッジマスターwinAMS と OSS ツールである 「Clang Undefined Behavior Sanitizer(以下、Clang-UBSan)」
の連携したテスト方法の解説書です。本チュートリアルでは、下記の内容をご体験いただけます。
• カバレッジマスターwinAMSの設定とシミュレーション実行
• Sanitizer 警告検出結果[UBSan 実行結果(不具合指摘)]の確認
• レポート機能
• スクリプト動作の概要と手順
「カバレッジマスターwinAMSとSanitizerの連携」チュートリアル「カバレッジマスターwinAMSとSanitizerの連携」チュートリアル 実習環境
カバレッジマスターゼネラル チュートリアル
「カバレッジマスターゼネラル」は「カバレッジマスターwinAMS」のマイコン非依存バージョンです。
(コンパイラで生成したオブジェクトコードは使用致しません。CasePlayer2でテスト用のオブジェクトコードを生成します。）
このチュートリアルは、初めてカバレッジマスターゼネラルをご利用になる方向けの解説書です。
基本的な使用方法を学習できるように構成されています。
チュートリアルは下記WEBページから取得いただけます。
マクロ（シミュレータコマンド）の使い方 ※上級者ユーザー向け
スタートアップコマンドファイルに設定するマクロコマンド（スクリプト）の使用方法を、ご質問の多い例を上げて解説しています。この内容は上級者向けです。カバレッジマスターwinAMSの基本的な使用方法、組込みマイコンの基本的な知識が必要です。
マクロ（シミュレータコマンド）の使い方(PDFファイル)
【目次】
マイコンシミュレータのデバッグ機能
スタートアップコマンドファイル
シミュレータコマンド（マクロ）例
・I/O 制御等で外的要因待ちをしている場合（その１）
・I/O 制御等で外的要因待ちをしている場合（その２）
・Auto 変数の変遷をテスト結果CSV で確認する場合
・レジスタ値をテスト結果CSV で確認する場合
・プログラム中で書き換えられるグローバル変数の値を
テストCSV で指定した値に変更する（戻す）場合
・特定範囲のメモリ内容を初期化する場合
・特定範囲のメモリ内容を、特定範囲のメモリにコピーする場合
・その他の良く使うシミュレータコマンドについて
【サンプル】
マクロの使い方サンプルCソース（main.c）
マクロの使い方サンプルCソース（dummy.c）
マクロの使い方サンプルマクロ （スタートアップコマンドファイルサンプル）