テスト技法「同値分割」を信頼していいのかわからなくなった - 若くない何かの悩み

これまで同値分割を信頼できる手法だと信じてきました。最近になってどうして同値分割が信頼できる方法なのかその理由を私が説明できないことに気づきました。この原因は2つあります： 同値分割の分割の基準が不明確であること 後述するいくつかの仮定を満たさない場合、ある同値パーティションの代表値の出力が正しければその同値パーティションの他の値の出力も正しいといえる根拠に乏しいこと この2つから、不明確な基準の同値分割はその信頼性の説明ができないこと、同値テストは後述するいくつかの仮定が満たされたときのみ有効な手段でありいずれかの仮定が満たされない場合はさして信頼できないことが導かれます。 この記事ではこの結論に至るまでの過程について詳しく説明していきます。なお誤りのご指摘は大歓迎です。ぜひ皆さんで議論しましょう。 同値分割とは 後述する複数の文献の同値分割の説明に共通しているのは以下の2点です： 入力

[devorgachem]

書きました。

[nihonbuson]

同値分割の解説の多くはブラックボックステストとして用いており、同じ方法で処理していることを「期待している」に過ぎないので、ホワイトボックス的な目線で見ると、書いてあるような結論に確かになりそう。

[amedama41]

大体のテスト技法はパターンを減らすための駆け引きだと思っていて、どの技法にも穴はあるよね。 同値分割がちゃんと機能しているかどうかはカバレッジからなんとなく分かりそうな気もする

[Error401]

正しく同値でグルーピングできるかどうかと、同値分割テストの意義をごっちゃにしてます。前者は「正しいとは証明できない」後者は「このテストはコードの正しさを証明する必要条件であり十分条件ではない」です。

[wkwkhautbois]

同値分割がブラックボックステストと知り疑問に思ったところだった、なんとなくわかった。/でも、全入力パターンとstateの組(無限かもしれない)を試さない限り、どんなテストも幾らか仮定を含みそうとも思ったり？