カバレッジマスターゼネラル

2010.12.08 v1.0

カバレッジマスターゼネラル
概略手順書

ガイオ・テクノロジー（株） 営業部
Copyright © 2009 GAIO TECHNOLOGY CO., LTD. ALL RIGHTS RESERVED.

1

カバレッジマスターゼネラル

カバレッジマスターゼネラルに含まれる製品■ ソース解析ツール「CasePlayer2」• テストデータ作成用解析データの生成• 実定義の無い関数雛形ソースの生成• テスト用オブジェクトのコンパイル機能■ 単体テスト実行ツール「カバレッジマスター」• テストデータ作成― CasePlayer2のソース解析データを用いてテストデータ作成を実施• 単体テストテスト実行• テスト結果/カバレッジ計測

Copyright © 2009 GAIO TECHNOLOGY CO., LTD. ALL RIGHTS RESERVED.

2

カバレッジマスターゼネラル

カバレッジマスターゼネラルの機能構成概要
カバレッジマスターゼネラル

CasePlayer2実施

実定義の無い関数（ライブラリ等）のスタブ関数

解析結果

手作り

カバレッジマスター実施
テスト対象ソース

ソース解析

スケルトン
ソース

テストデータ
支援用データスケルトン
ソース

通常ビルド環境

ソース
ファイル

コンパイル機能テストデータ作成

手作り

クロス
コンパイラ

オブジェクト実機

テスト用
オブジェクト

テストデータ
テストデータ

手作り

テスト実行
スタブ生成

スタブ
ソース

スタブ
ソース
サブルーチン（実定義が存在する関数）のスタブ関数

テスト結果

Copyright © 2009 GAIO TECHNOLOGY CO., LTD. ALL RIGHTS RESERVED.

3

カバレッジマスターゼネラル

ツール手順

Copyright © 2009 GAIO TECHNOLOGY CO., LTD. ALL RIGHTS RESERVED.

4

カバレッジマスターゼネラル

CasePlayer2のプロジェクト作成③ 「OK」ボタンを押す① 任意のプルジェクト名を挿入② 「階層化を有効にする」にチェックを入れる

Copyright © 2009 GAIO TECHNOLOGY CO., LTD. ALL RIGHTS RESERVED.

5

カバレッジマスターゼネラル

対象ソースコードの登録① 「参照」ボタンを押し、テスト対
象ソースコードのパスを設定② ソース構成に合わせて、「サブフォルダを含む」と「ユーザインクルードに追加する」にチェックを入れる③ 「Cソースファイル」と「ヘッダファイル」にチェックを入れる※ゼネラルではアセンブラソー
スを登録することはできません④ 「ファイル構成に合わせてフォルダ付きで登録する」にチェックを入れる⑤ 「ファイル構成に合わせてフォルダ付きで登録する」にチェックを入れる
Copyright © 2009 GAIO TECHNOLOGY CO., LTD. ALL RIGHTS RESERVED.

6

カバレッジマスターゼネラル

プリプロセッサの設定② 「プリプロセッサ」をダブルクリック③ シスムインクルードパスとユーザインクルードパスを指定してください。
指定方法：青枠の部分でインクルードディレクトリを指定し、「追加」ボタンを押してください。

④ 「#define」と「プレインクルード」の設定を行ってください。

① 「設定」 タブをクリック
参考
プリプロセッサの設定をテキストベースで行うことも可能です。
インクルードパスなどをコピーペーストしたい場合には「エキスポート」ボタンを押してください。

⑤ 「OK」ボタンを押す

Copyright © 2009 GAIO TECHNOLOGY CO., LTD. ALL RIGHTS RESERVED.

7

カバレッジマスターゼネラル

仕様書生成（コンパイル）設定① 「仕様書生成」をダブルクリック② 「詳細解析を行う」と「#define一覧」にチェックを入れる④ 「構造体のタグ名にtypedef名を使用する」にチェックを入れる⑤ 「OK」ボタンを押す③ 「winAMS用プログラム解析情報を生成する」と「General」と「スケルトン生成のための情報を生成する」にチェックを入れる

Copyright © 2009 GAIO TECHNOLOGY CO., LTD. ALL RIGHTS RESERVED.

8

カバレッジマスターゼネラル

参考：Ｃオプションパラメータファイルの設定■ ANCI-C以外のCプログラムがある場合に設定が必要です。
「Cオプションパラメータ」をダブルクリック

設定方法はヘルプマニュアルを参照ください。

Copyright © 2009 GAIO TECHNOLOGY CO., LTD. ALL RIGHTS RESERVED.

9

カバレッジマスターゼネラル

コンパイル（1回目）■ 不足している関数や変数情報（スケルトン生成が必要）を解析するためのコンパイルの実施① 「プロジェクト」⇒「全仕様書生成」を選択② テスト用オブジェクト（.xlo）が生成されたことを確認してください。
ｘｘｘｘｘｘｘｘｘｘｘｘｘｘｘｘｘｘｘｘｘｘｘｘｘｘｘｘｘｘｘｘｘｘｘｘｘｘｘｘｘｘｘ
仕様書生成終了.
ｘｘｘｘｘｘｘｘｘｘｘｘｘｘｘｘｘｘｘｘｘｘｘｘｘｘｘｘｘｘｘｘｘｘｘｘｘｘｘｘｘｘｘ
Generalコードのオブジェクトを生成します...
ｘｘｘｘｘｘｘｘｘｘｘｘｘｘｘｘｘｘｘｘｘｘｘｘｘｘｘｘｘｘｘｘｘｘｘｘｘｘｘｘｘｘｘ
C:¥Documents and Settings¥tshima¥デスクトップ¥スケルトン生成¥CP2Project¥CP2Project.xlo が生成されました。

Copyright © 2009 GAIO TECHNOLOGY CO., LTD. ALL RIGHTS RESERVED.

10

カバレッジマスターゼネラル

スケルトンソースの生成（1）■ 実定義の無い関数（ライブラリ等）のスケルトンソースを生成させるための設定ウィンドウを起動します。

① 「プロジェクト」⇒「定義の無い関数のスケルトンを生成」を選択

Copyright © 2009 GAIO TECHNOLOGY CO., LTD. ALL RIGHTS RESERVED.

11

カバレッジマスターゼネラル

スケルトンソースの生成（2）■ スケルトンソースの生成① スケルトンソースが必要な関数を選択し、「追加」ボタンで設定してください。
同様に変数定義が必要な変数を「追加」ボタンで設定してください④ スケルトンソースが追加されたことを確認してください。

② スケルトンソース名と保存先ディレクトリを指定してください③ OKボタンを押してください。

Copyright © 2009 GAIO TECHNOLOGY CO., LTD. ALL RIGHTS RESERVED.

12

カバレッジマスターゼネラル

メイン関数の挿入■ カバレッジマスターゼネラルでは必ずメイン関数が必要なため、先ほどのスケルトンソースファイルに空のメイン関数を作成します。
① スケルトンソースファイルをダブルクリック② 空のメイン関数を挿入（手作業）③ 上書きアイコンで保存

Copyright © 2009 GAIO TECHNOLOGY CO., LTD. ALL RIGHTS RESERVED.

13

カバレッジマスターゼネラル

コンパイル（2回目）■ テスト用オブジェクトの生成① 「プロジェクト」⇒「仕様書生成」を選択

ｘｘｘｘｘｘｘｘｘｘｘｘｘｘｘｘｘｘｘｘｘｘｘｘｘｘｘｘｘｘｘｘｘｘｘｘｘｘｘｘｘｘｘ ② テスト用オブジェクト（.xlo）が生成されたことを確認し仕様書生成終了.てください。

ｘｘｘｘｘｘｘｘｘｘｘｘｘｘｘｘｘｘｘｘｘｘｘｘｘｘｘｘｘｘｘｘｘｘｘｘｘｘｘｘｘｘｘ
Generalコードのオブジェクトを生成します...
ｘｘｘｘｘｘｘｘｘｘｘｘｘｘｘｘｘｘｘｘｘｘｘｘｘｘｘｘｘｘｘｘｘｘｘｘｘｘｘｘｘｘｘ
C:¥Documents and Settings¥tshima¥デスクトップ¥スケルトン生成¥CP2Project¥CP2Project.xlo が生成されました。

スケルトンソースと空のメイン関数を含むオブジェクトが生成されれば、完了です。
Copyright © 2009 GAIO TECHNOLOGY CO., LTD. ALL RIGHTS RESERVED.

14

カバレッジマスターゼネラル

END
最新の製品情報はhttp://www.gaio.co.jp/※会社名・商品名は各社の商標または登録商標です。
※本資料の無断転載、複写はお断りします。
ガイオ・テクノロジー株式会社
日本橋事業所 営業部〒103 東京都中央区日本橋人形町3-12-8
TEL.（03）3662-3041
FAX.（03）3662-3043
Email info＠gaio.co.jp ・・ご質問はこちらにお願いします。

Copyright © 2009 GAIO TECHNOLOGY CO., LTD. ALL RIGHTS RESERVED.

15