Loading article…
決定から決定へのパス、またはDD パスは、2 つの決定間の実行パス (通常は、フロー チャートなどのプログラムを表すフロー グラフ経由) です。この概念の最近のバージョンでは、決定自体も独自の DD パスに含まれています。

意味
黄の1975年の論文[1]では、決定から決定へのパスは、プログラムのフローチャート内のパスとして定義され、次のすべてが成り立ちます(論文から引用)。
- 最初の構成エッジはエントリノードまたは決定ボックスから発生します。
- 最後の構成辺は決定ボックスまたは出口ノードで終了し、
- 両端にあるものを除いて、パス上には決定ボックスはありません
ジョルゲンセンの最近の教科書では、プログラムのフローグラフ(この教科書では「プログラムグラフ」と呼ばれています)という観点からこれを言い換えています。[2]まず、チェーンと最大チェーンという予備的な概念を定義します。チェーンは、次のパスとして定義されます。
- 始点と終点が区別され、
- すべての内部ノードは入次数 = 1、出次数 = 1 です。
最大チェーンとは、より大きなチェーンの一部ではないチェーンです。
DDパスは、プログラムグラフ内のノードの集合であり、次のいずれかが成り立つ(Jorgensenの番号を引用し、括弧内にコメントを追加):[2]
- 入次数 = 0 の単一ノード(初期ノード)で構成される
- 出力次数 = 0 の単一ノード(終端ノード)で構成される
- 入次数≥2または出次数≥2の単一ノード(決定/マージポイント)で構成される
- これは、入次数 = 1、出次数 = 1の単一のノードで構成されています。
- 長さが 1 以上の最大チェーンです。
Jorgensen (2013)によると、英国とISTQBの文献では、同じ概念が線形コードシーケンスとジャンプ(LCSAJ)と呼ばれています。[2] [疑わしい–議論する]
プロパティ
後者の定義(Jorgensen による)から、次の結論を導き出すことができます。
- プログラムのフロー グラフ上の各ノードは 1 つの DD パスに属します。
- DD パス上の最初のノードがトラバースされると、そのパス上の他のすべてのノードもトラバースされます。
- DD パス グラフは、テスト用の独立したパスを見つけるために使用されます。
- プログラム内のすべてのステートメントが少なくとも 1 回は実行されています。
DDパステスト
ジョルゲンセンの2013年の教科書によると、DDパステストは最もよく知られているコードベースのテスト方法であり、多くの商用ツールに組み込まれています。[2]
DDパステストはC2テストやブランチカバレッジとも呼ばれます。[3] [4]
参照
参考文献
- ^ Huang, JC (1975 年 9 月). 「プログラムテストへのアプローチ」.コンピューティング調査. 7 (3): 118–119. doi :10.1145/356651.356652. そこで示されている定義は、「Fortran 自動検証システム レベル 1 - ユーザー ガイド、プログラム検証プロジェクト、General Research Corp.、1974 年 10 月」を引用しています。
- ^ abcd Paul C. Jorgensen (2013).ソフトウェアテスト: 職人のアプローチ、第4版。CRC Press。pp. 136–137。ISBN 978-1-4665-6068-0。
- ^ Judith A. Clapp、Saul F. Stanten、WW Peng、DR Wallace、Deborah A. Cerino、Roger J. Dziegiel Jr. (1995)。ソフトウェア品質管理、エラー、分析。William Andrew。pp. 347–348。ISBN 978-1-4377-4484-2。
- ^ JC Huang (2009).テストと分析によるソフトウェアエラー検出. John Wiley & Sons. pp. 164–165. ISBN 978-0-470-46405-2。
外部リンク
- http://www.eecs.yorku.ca/course_archive/2011-12/W/4313/slides/11-Paths.pdf
