値と限界をテストするホワイトボックス:http://www.kailesoft.com/help/TestBox/WhiteShort.htm
ホワイトボックスは、ソフトウェア内部論理構造が表示され、透明なボックスソフトウェアとして測定されます。
テスターは、目標としているテストケースの設計、プログラムのカバレッジテストを。
基本的なホワイトボックステスト方法:
・ロジック・カバレッジ・テスト。
・パスカバレッジテスト。
3.1ロジックカバレッジテスト
プログラムロジック構造の動的ホワイトボックス法基づきます。
・異なる標準試験強度をカバーすることは同じではありません。
3.1.1ステートメントカバレッジ
•ステートメントを実行することができ、各プログラムが少なくとも一度実行される必要です。
・弱いカバレッジ基準。
・プログラムの結果のみに関心かかわらず、ブランチカバレッジの、文をカバー。
・低欠陥検出能力。
3.1.2分岐カバレッジ(被覆決意)
・各条件における要件プログラムは、結果文の真の値を決定し、偽の結果は、少なくとも一回登場しています。
3.1.3条件カバレッジ
・各条件の各プログラム文の必要条件は、少なくとも一つの真の値と偽の値をとるように決定されます。
3.1.4条件/決定カバレッジ
・必要な真理値決定結果の各プログラム文の条件と結果が少なくとも一度は偽であり、各条件の決意文は少なくとも一度は各条件の値がtrueとfalseで撮影しました。
3.1.5固定条件/決定カバレッジ
・コンディション/デシジョンカバレッジ。
・テストケースを満たすために:
各入口及び出口ポイント①プログラムは、少なくとも一回実行されます。
各条件は、②独立に条件変更決意結果の値を変更するように、すなわち、他の条件の場合には、不変のままで、決意の結果に影響を与えています。
・説明:
①まず、達成するために必要な 条件カバレッジ、デシジョンカバレッジを各条件Cのために、以下の条件が必要の存在、これに基づいて、 2つの計算を :
②ここで、条件Cで決定された全ての条件は、条件Cに加えて、他の条件の値は同一です。
代わり③条件C値、
代わり④決意結果、
・使用方法とグレイコードのように感じます。
3.1.6カバレッジ条件の組み合わせ
・各条件は、条件文の少なくとも1つの存在は値の様々な組み合わせを決定する必要があり、
•分岐決定文は二つの条件が含まれている場合は、私たちがする必要がある 「真-真」 、 「真-偽」 、 「偽-真」 、 「偽-偽」 。
・プアーズ実用性。(オプションの補正条件/決定カバレッジ)
3.2パスカバレッジテスト
3.2.1リングの複雑さ(離散数学)
・「シンプルで信頼性があります。」
・コストも高くなっているの開発と保守のために必要なソフトウェアの複雑性が高いです。
・プログラムの複雑さ メトリクス。
・実装:
①領域NUM(領域)の数に基づいて計算:V = NUM(面積)
②ノードの数に基づいて計算され、NUM(エッジ)とNUM(ノード)エッジ:V = NUM(エッジ) - NUM(ノード)+ 2。
③NUM(node_branch)計算ノードの数に基づいて決定:V = NUM(node_branch)+ 1。
3.2.2基本的なパスカバレッジ
①建設プログラムの 制御フローグラフ、記述されたプログラム構造の流れを制御します。
②計算リングの複雑さ、設定パスの数の独立したパスの上限を決定するための基本的な手順。
③環の複雑 独立パスのセットを決定。
④各独立パスのための 設計のテストケース。
3.2.3メインパスカバレッジ
・プログラム設計・テスト・ケース、すべての主要なパスをカバーするテスト手順。
・メインパス:シンプルなパスの他のサブパスにないシンプルなパス。
・シンプルなパス:
・異なる開始及び終了が、経路ノード繰り返し存在しません。
・同一の開始点と終了点が、存在しない繰り返し、他のノードの経路と
3.2.4テストサイクル構造
・テストループ変数の境界値は、その正しさを検証します。
・異なるループ構造のために我々は、具体的に対応する試験方法を設計する必要があります。
簡単なテスト・サイクル;
•テスト・サイクルを接続します。
・ネストされたループテスト。
非構造サイクル試験。