本章では、テストケースエディターを使用し、"FlowAnalysis"プロジェクトのソースファイルである" nullPointerDerefBenchmark.c"に実装されている"static int noFalseViolation1()"関数が仕様に則って動作するかをテストする手順を記載します。
テスト対象関数である"static int noFalseViolation1()"関数は下記のような仕様となります。

単体テストの実施

下記の単体テスト手順にしたがってテストを実施します。手順は2章で説明した手順に沿っています。

単体テスト対象のソースに対してテストスイートを作成

1. テスト対象のソースファイルを選択し、 の右側にある▼ボタンを選択します。
2. 展開されたメニューから[テストの実行] > [ユーザー定義] > [01.テストスイートの作成]を実行します。
   
   
3. テストコンフィギュレーションが正常に完了することを確認します。

テストケースの作成

1. [Parasoft] > [ビューの表示] > [テストケース エクスプローラー]メニューを選択します。

2. [テストケース エクスプローラー]が表示されることを確認します。
3. [テストケース エクスプローラー]の右上（※Visual Studioでは左上）にある▽を選択し、下記4つを有効にします。
   • [表示] > [データ ソース テスト]
   • [表示] > [詳細]
   • [統計] > [コンパクト ビュー]
   • [統計] > [統計の表示]
4. [テストケース エクスプローラー]から、テストケースを追加するテストスイートを右クリックします。
5. [新規追加] > [エディターを使用したテストケース…]メニューを選択します。
   
   
   

6. [テスト ケース名]に、"test_noFalseViolation1_editor"を入力した後、[OK]を選択します。
   
   

7. 表示されるエディター画面上の[次のテスト ケースを作成]ドロップダウンメニューを選択します。
8. ドロップダウンメニューから"int noFalseViolation1(int)"を選択し、右側の ボタンを押下します。
   
   
   
9. データソースの選択で、[外部データ ソース]を選択します。
10. データソースの設定内容を示すウィンドウで[OK]を選択します。
11. ご利用のPCでcsvを開くアプリケーションが起動します。
    （本チュートリアルではExcelを例としております）
    
    
12. [5.1 テスト対象関数の仕様]をテストするために使用するパラメーターだけ残します。
    
    
    
13. テストデータを一つ入力します。
    
    
    
14. テストデータをCSVとして保存します。
15. データソースを開いたまま、エディターに戻ります。
    
    
    
16. [説明]欄にあるボックスにテストケースに対するコメントを入力します。
    （図では例として"tutorial_1"と入力しています）
    
    
    
    
17. 今回は、noFalseViolation1()の返り値をテストするため、[アサーション]欄の不要な2行目と3行目を削除します。
18. エディターの中で、Ctrl + Sキーを押下しテストケースを保存します。
19. エディター画面上部にある" TestSuite_nullPointerDerefBenchmark_c.c"リンクを選択します。
    
    
20. エディターで入力した情報が保存され、テストケースのソースコードに反映されていることを確認します。
    ※このコードを直接編集することはありません。
    
    
21. [テストケースエクスプローラー]から作成したテストケースを選択し、[Parasoft] > [テストの実行]から、[03.単体テスト実行（File Scope）]を実行します。
22. テストケースに緑のチェックが付き、テストが成功することを確認します。
    
    
    

単体テスト対象のソースに対してシンボル情報を収集

1. [Parasoft]メニュー> [ビューの表示] > [スタブ]を選択します。
   
   
   
2. [スタブ]ビューが表示されることを確認します。
3. テスト対象のソースファイルを選択し、 ボタンの右側にある▼ボタンを選択し、[テストの実行] > [ユーザー定義] > [02.シンボル情報収集 (File Scope)]メニューを選択します。
4. シンボルデータが[スタブ]ビューに表示されます。
   
   

スタブの作成

今回のテスト対象の関数は、他の関数の呼び出しが無いためスタブは作成しません。

テストデータの編集

1. [テストケース エクスプローラー]で、作成したテストケースの上にある[データソース] > [CSV:・・・]を選択し、右クリック後[データ ファイルを開く]を選択します。
2. テストデータを追加します。
   
   
   
3. 変更を保存します。
4. [テストケース エクスプローラー]からテストケースを選択し、 ボタンの右側にある▼ボタンを選択します。
5. [テストの実行] > [ユーザー定義] > [03.単体テスト実行（File Scope）]メニューを選択します。

単体テストの結果を確認

1. [テストケース エクスプローラー]右上（※Visual Studioでは左上）にある▽ボタンを選択し、[表示] > [データソース]と[表示] > [詳細]を有効にします。
   
   
   
2. [テストケース エクスプローラー]右上にある▽ボタンを選択し、[統計] > [コンパクト ビュー]と[統計] > [統計の表示]を有効にします。
3. 結果の詳細を確認します。
   
   
   
4. [Parasoft] > [ビューを表示] > [カバレッジ] メニューを選択します。
   
   
5. [カバレッジ]ビュー右上にある▽ボタンを選択し[タイプ]から表示したいカバレッジを選択します。