このチュートリアルは、初めてカバレッジマスターwinAMSをご利用になる方向けの解説書です。
初めてカバレッジマスターwinAMSをご利用になるときは、まずチュートリアルから始められることをお勧めします。
チュートリアルのドキュメントとサンプルソースは、下記WEBページからそれぞれ取得いただけます。
技術・サポート情報
はじめてのカバレッジマスターwinAMS
はじめに
本ページは、カバレッジマスターwinAMSをご購入いただいたお客様への導入ガイドです。
本ページには、インストール手順や基本的な使い方について掲載されています。
カバレッジマスターwinAMSをご利用いただく前に、お客様の環境が動作条件に合っているかを、下記「動作環境」ページからご確認ください。
ライセンスの準備
カバレッジマスターwinAMSをご利用いただくには、事前にライセンスの準備が必要です。
ライセンスの詳細／インストール／FAQについては、下記のページをご覧ください。
カバレッジマスターwinAMSのインストール
最新版カバレッジマスターwinAMSのインストーラは、下記ページの「最新版カバレッジマスターwinAMS インストーラ」から取得してください。
最新版カバレッジマスターwinAMS/ゼネラル ダウンロード下記４種類のプロダクトをインストールする必要があります。
・シミュレータエンジン（System-G、又は SX）※お客様ご利用のマイコンエンジンを選択してください。
・シミュレータカーネル（XAIL）
・カバレッジマスターwinAMS（実行制御モジュール）
・CasePlayer2
※ツール認証取得バージョンについては、「カバレッジマスターwinAMS/CasePlayer2ツール認証取得バージョン ダウンロード」から取得してください。
カバレッジマスターwinAMS チュートリアル
- ●カバレッジマスターwinAMS チュートリアル（PDF） PDF閲覧
- ●カバレッジマスターwinAMS チュートリアルのためのサンプルソース（ZIP） zipファイルダウンロード
動画で見るカバレッジマスターwinAMS
体験1：カバレッジマスターの基本機能(26分59秒)
一連のテスト作業を体験します。テスト入力CSVファイルの作成方法と、入出力テスト結果、C0カバレッジ結果の確認方法が体験できます。
体験2：ポインタ変数を持つ関数の単体テスト(14分02秒)
ポインタ変数が指す実体をwinAMS側で確保して、テストCSVからテストデータを与える、という方法を体験します。
体験3：サブ関数コールを持つ関数の単体テスト(14分06秒)
関数コールを含む関数の単体テスト方法について体験します。
WinAMSには、テスト対象関数からの子関数呼び出しを代替関数(スタブ関数)呼び出しに動的に切り替える機能があります。
これによってテスト対象関数の入出力を制御した単体での評価が可能になります。
体験4：テストデータ自動作成機能を使った単体テスト(23分03秒)
CasePlayer2との連携で、カバレッジテストを効率的に行う方法について学習します。
CasePlayer2と連携することで、WinAMSから「テストデータエディタ(ATDEditor)」を使用することができるようになります。
ホワイトボックス的観点で、C0, C1, MC/DCカバレッジ計測に適したテストデータを効率的に生成できるようになっています。