パステスト

パステストとは何ですか?

パステストは、仕様に基づくのではなく、ソースコードまたはアルゴリズムに基づく構造テスト方法です。さまざまなレベルの粒度で適用できます。

パステストの前提:

  • 仕様は正確です

  • データが定義され、適切にアクセスされている

  • 制御フローに影響を与えるもの以外にシステムに存在する欠陥はありません

パステスト手法:

  • Control Flow Graph (CFG) - プログラムは、コードをノード、領域、およびエッジに表すことにより、フローグラフに変換されます。

  • Decision to Decision path (D-D) - CFGは、さまざまな決定から決定へのパスに分割してから、個々のノードに折りたたむことができます。

  • Independent (basis) paths - 独立パスは、DDパスグラフを通るパスであり、他の方法では他のパスから再現できません。