ドキュメント雛形

Size: px

Start display at page:

Download "ドキュメント雛形"

あけなおひがき
2 years ago
Views:

1 ダミー関数を使った検証カバレッジマスター winams Ver3.3 以降 Revision Revision ガイオテクノロジー株式会社 GAIO TECHNOLOGY Page: 1/10

2 History Rev. Date Description PREPARED Status 初版サンプルコードを差し替え Foreword 本ドキュメントは一部のマイコン開発環境で検証対象関数の制御やテスト変数の設定が不可能になる場合にダミー関数を使用してその制約を回避する方法を具体的なサンプルコードを用いて説明するものです GAIO TECHNOLOGY Page: 2/10

3 Contents 1 ダミー関数テストデータの作成カバレッジ計測結果と結果報告書について... 9 GAIO TECHNOLOGY Page: 3/10

4 1 ダミー関数 winams で検証を行うアプリケーション (C プログラム ) は通常単体テスト用にプログラムを変更する必要はありませんが一部のマイコン開発環境ではオブジェクトファイルに含まれるデバッグ情報が System-G で取り扱う情報と合わないため winams プロセスから検証対象とする関数の実行制御 ( 関数 CALL や関数の終了判断 ) が不可能な場合や関数の引き数にテストデータを設定出来ないことがありますこのようなケースでも検証を実現するためにダミー関数 ( デバッグ用 ) による検証手法を提供していますダミー関数では検証対象とする関数を呼び出す関数を作成します winams はモジュールテスト用 CSV を使用してダミー関数のテストを実施する事で評価対象の関数をテストします GAIO TECHNOLOGY Page: 4/10

5 ダミー関数の作成方法ダミー関数はプログラムソースに直接記述しても構いませんが実ソースファイルに手を入れることは品質を保持する上であまり好ましいことではありませんデバッグ用のソースファイル ( 例 : dummy.c) をプログラムソースファイルとは別に作成してその中にダミー関数を記述することをお勧めします下記は検証対象となる関数 func1() をダミー関数 dummy_for_func1() を使用して検証する場合の例ですプログラムソースファイル (test.c) #include "test.h" ULL func1(ull a, int b) { ULL retval; if (a.h < a.l) { retval.h = 0; retval.l = 0; } else { retval.h = a.h; retval.l = a.l + (unsigned long)b; } } return retval; ダミー関数用ソースファイル (dummy.c) #include "test.h" unsigned long higher; unsigned long lower; int bbb; unsigned long ret_h; unsigned long ret_l; ULL func1(ull a, int b); void dummy_for_func1(void) /* ダミー関数 */ { ULL aaa, ret; } aaa.h = higher; aaa.l = lower; ret = func1(aaa, bbb); ret_h = ret.h; ret_l = ret.l; GAIO TECHNOLOGY Page: 5/10

6 共通ヘッダファイル (test.h) #ifndef _TEST_H_ #define _TEST_H_ typedef { } ULL; struct T_ULL unsigned long l; /**< 下位 32bit( 符号なし ) */ unsigned long h; /**< 上位 32bit( 符号なし ) */ #endif /* _TEST_H_ */ GAIO TECHNOLOGY Page: 6/10

"func1" はカバレッジ測定対象関数に設定します "INPUT/OUTPUT" にはアプリケーションで定義している変数シンボルの一覧が表示されていますのでここから "func1"

7 2 テストデータの作成ダミー関数を使用するときはモジュールテスト用 CSV を使用しますモジュールテスト用 CSV の作成モジュールテスト用 CSV 雛型作成ダイアログを使用してダミー関数や検証する関数名の選択や入出力変数を選択します操作手順ダミー関数 dummy_for_func1 を関数名ボックスに設定しますテストドライバを使ったテストのチェックボックスを ON にします検証対象関数 "func1" はカバレッジ測定対象関数に設定します "INPUT/OUTPUT" にはアプリケーションで定義している変数シンボルの一覧が表示されていますのでここから "func1" 関数の入力となる変数シンボルを選択して INPUT へ出力となる変数シンボルを選択して OUTPUT へそれぞれ登録します今回の例では "func1" 関数の入出力が登録できませんのでダミー関数で定義している代行グローバル変数を使用します GAIO TECHNOLOGY Page: 7/10

モジュールテスト用 CSV 1 行目 : "mod" はモジュールテスト用 CSV であることを示す識別子 ( ツール予約語 ) です "dummy_for_func1" はダミー関数名です "3" は入力変数シンボルの数を表しています "2" は出力変数シンボルの数を表しています func1 は検証対象関数名です

8 モジュールテスト用 CSV 1 行目 : "mod" はモジュールテスト用 CSV であることを示す識別子 ( ツール予約語 ) です "dummy_for_func1" はダミー関数名です "3" は入力変数シンボルの数を表しています "2" は出力変数シンボルの数を表しています func1 は検証対象関数名です 2 行目 : "lower","higher", bbb は検証対象関数の引き数 "a", b をダミー関数で代行した変数です ret_h, ret_l は検証対象関数の戻り値 ret をダミー関数で代行した変数です 3/4 行目 : テスト変数に与えるテストデータです GAIO TECHNOLOGY Page: 8/10

9 3 カバレッジ計測結果と結果報告書についてダミー関数を実行しますが検証対象の関数はカバレッジ測定対象関数となりますのでカバレッジ計測結果と結果報告書ともに検証対象の関数がエビデンスに表示されます GAIO TECHNOLOGY Page: 9/10

10 著作権情報免責事項本テキストの内容は予告無く変更される場合があります本書記載の誤りにより生ずる問題や損失に対して弊社は責任を負いませんまた本テキストの無断使用転載は認めておりません本テキストおよび本プログラムの一部または全部は外国為替及び外国貿易管理法に規定する物資技術に該当する為輸出する場合は同法に基づく輸出許可が必要ですダミー関数を使った検証 (Ver3.3 以降 ) 会社名商品名は各社の商標または登録商標です本資料の無断転載複写は禁止しておりますガイオテクノロジー株式会社ユーザーサポートのご案内使用方法に関するお問い合わせ方法お問い合わせはユーザーサポート窓口をご利用くださいユーザーサポート窓口へのお問い合わせにはユーザー ID が必要です GAIO TECHNOLOGY Page: 10/10

目次目次... 1 はじめに... 3 マイコンシミュレータのデバッグ機能... 3 スタートアップコマンドファイル... 5 シミュレータコマンド ( マクロ ) 例... 6 I/O 制御等で外的要因待ちをしている場合 ( その1)... 6 I/O 制御等で外的要因待ちをしている場合 ( そ

目次目次... 1 はじめに... 3 マイコンシミュレータのデバッグ機能... 3 スタートアップコマンドファイル... 5 シミュレータコマンド ( マクロ ) 例... 6 I/O 制御等で外的要因待ちをしている場合 ( その1)... 6 I/O 制御等で外的要因待ちをしている場合 ( そマクロ ( シミュレータコマンド ) の使い方 2017 年 05 月 11 日第 1.4.3 版 - 1 - 目次目次... 1 はじめに... 3 マイコンシミュレータのデバッグ機能... 3 スタートアップコマンドファイル... 5 シミュレータコマンド ( マクロ ) 例... 6 I/O 制御等で外的要因待ちをしている場合 ( その1)... 6 I/O 制御等で外的要因待ちをしている場合