本章では、テストケースエディターを使用し、"FlowAnalysis"プロジェクトのソースファイルである" nullPointerDerefBenchmark.c"に実装されている"static int noFalseViolation1()"関数が仕様に則って動作するかをテストする手順を記載します。
テスト対象関数である"static int noFalseViolation1()"関数は下記のような仕様となります。
|
- 第一引数が4以上であれば、staticなグローバル変数iの値を戻り値とします。
|
単体テストの実施
下記の単体テスト手順にしたがってテストを実施します。手順は2章で説明した手順に沿っています。
単体テスト対象のソースに対してテストスイートを作成
- テスト対象のソースファイルを選択し、
の右側にある▼ボタンを選択します。 - 展開されたメニューから[テストの実行] > [ユーザー定義] > [01.テストスイートの作成]を実行します。
Image Modified
- テストコンフィギュレーションが正常に完了することを確認します。
| アンカー |
|---|
| _Toc459396098 |
|---|
| _Toc459396098 |
|---|
|
テストケースの作成- [Parasoft] > [ビューの表示] > [テストケース エクスプローラー]メニューを選択します。
[テストケース エクスプローラー]が表示されることを確認します。
 Image Modified
|
- [テストケース エクスプローラー]の右上（※Visual Studioでは左上）にある▽を選択し、下記4つを有効にします。
...
...
...
...
- [テストケース エクスプローラー]から、テストケースを追加するテストスイートを右クリックします。
- [新規追加] > [エディターを使用したテストケース…]メニューを選択します。
Image Modified
[テスト ケース名]に、"test_noFalseViolation1_editor"を入力した後、[OK]を選択します。
Image Modified
- 表示されるエディター画面上の[次のテスト ケースを作成]ドロップダウンメニューを選択します。
- ドロップダウンメニューから"int noFalseViolation1(int)"を選択し、右側の
ボタンを押下します。
Image Modified
- データソースの選択で、[外部データ ソース]を選択します。
- データソースの設定内容を示すウィンドウで[OK]を選択します。
- ご利用のPCでcsvを開くアプリケーションが起動します。
（本チュートリアルではExcelを例としております）
Image Modified - [5.1 テスト対象関数の仕様]をテストするために使用するパラメーターだけ残します。
Image Modified
- テストデータを一つ入力します。
Image Modified
- テストデータをCSVとして保存します。
- データソースを開いたまま、エディターに戻ります。
Image Modified
- [説明]欄にあるボックスにテストケースに対するコメントを入力します。
（図では例として"tutorial_1"と入力しています）
Image Modified
- 今回は、noFalseViolation1()の返り値をテストするため、[アサーション]欄の不要な2行目と3行目を削除します。
- エディターの中で、Ctrl + Sキーを押下しテストケースを保存します。
- エディター画面上部にある" TestSuite_nullPointerDerefBenchmark_c.c"リンクを選択します。
Image Modified - エディターで入力した情報が保存され、テストケースのソースコードに反映されていることを確認します。
※このコードを直接編集することはありません。
Image Modified - [テストケースエクスプローラー]から作成したテストケースを選択し、[Parasoft]>[テストの実行]から、[03.単体テスト実行（File Scope）]を実行します。
- テストケースに緑のチェックが付き、テストが成功することを確認します。
Image Modified
| アンカー |
|---|
| _Toc459396099 |
|---|
| _Toc459396099 |
|---|
|
単体テスト対象のソースに対してシンボル情報を収集- [Parasoft]メニュー> [ビューの表示] > [スタブ]を選択します。
Image Modified
- [スタブ]ビューが表示されることを確認します。
- テスト対象のソースファイルを選択し、 ボタンの右側にある▼ボタンを選択し、[テストの実行]>[ユーザー定義]>[02.シンボル情報収集 (File Scope)]メニューを選択します。
- シンボルデータが[スタブ]ビューに表示されます。
Image Modified
| アンカー |
|---|
| _Toc459396100 |
|---|
| _Toc459396100 |
|---|
|
スタブの作成今回のテスト対象の関数は、他の関数の呼び出しが無いためスタブは作成しません。
| アンカー |
|---|
| _Toc459396101 |
|---|
| _Toc459396101 |
|---|
|
テストデータの編集- [テストケース エクスプローラー]で、作成したテストケースの上にある[データソース] > [CSV:・・・]を選択し、右クリック後[データ ファイルを開く]を選択します。
- テストデータを追加します。
Image Modified
- 変更を保存します。
...
- [テストケース エクスプローラー]からテストケースを選択し、 ボタンの右側にある▼ボタンを選択します。
- [テストの実行] > [ユーザー定義] > [03.単体テスト実行（File Scope）]メニューを選択します。
| アンカー |
|---|
| _Toc459396103 |
|---|
| _Toc459396103 |
|---|
|
単体テストの結果を確認- [テストケース エクスプローラー]右上（※Visual Studioでは左上）にある▽ボタンを選択し、[表示] > [データソース]と[表示] > [詳細]を有効にします。
Image Modified
- [テストケース エクスプローラー]右上にある▽ボタンを選択し、[統計]>[コンパクト ビュー]と[統計]>[統計の表示]を有効にします。
- 結果の詳細を確認します。
Image Modified
- [Parasoft]>[ビューを表示]>[カバレッジ] メニューを選択します。
Image Modified - [カバレッジ]ビュー右上にある▽ボタンを選択し[タイプ]から表示したいカバレッジを選択します。
Image Modified