メタデータの末尾にスキップ
メタデータの先頭に移動

You are viewing an old version of this content. View the current version.

現在のバージョンとの相違点 View Version History

バージョン 1 次のバージョン »

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

  • 第一引数が3以下であれば、0を戻り値とします。
  • 第一引数が4以上であれば、staticなグローバル変数iの値を戻り値とします。
  • ラベルがありません

Copyright © 2022 TechMatrix Corporation. All rights reserved