パステスト

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

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

パステストの前提：

• 仕様は正確です

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

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

パステスト手法：

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

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

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