検証とテストは同じではない
検証とテストは似た言葉として使われることがありますが、厳密には同じものではありません。
両者の関係を簡潔に言えば、テストは検証の一部です。
つまり、検証という大きな活動の中に、テストという具体的な方法が含まれます。
検証は「ある主張が正しいかどうかを確かめること」です。
一方、テストは「条件を与えて結果を観察することによって確かめること」です。
したがって、検証は目的であり、テストはその目的を達成するための手段の一つだと整理できます。
検証とは何か
検証とは、ある命題、主張、仮説、設計、説明などが正しいかどうかを確かめる活動全体を指します。
たとえば、次のような主張があるとします。
「このシステムは要求どおりに動く」
「この橋は100トンに耐えられる」
「この説明は論理的に成り立っている」
これらの主張が本当に正しいかどうかを確かめることが検証です。
検証の方法は一つではありません。実際に動かして確認する場合もあれば、設計書を確認する場合もあります。計算によって確かめることもあれば、第三者のレビューによって妥当性を確認することもあります。
つまり、検証とは「正しさを確かめるための広い活動」です。
テストとは何か
テストとは、特定の条件を設定し、その条件のもとで実際にどうなるかを観察する方法です。
たとえば、電卓アプリについて考えてみます。
「この電卓アプリは正しい計算ができる」
という主張がある場合、次のような確認がテストです。
「1＋1」を入力して「2」と表示されるか。
「100×5」を入力して「500」と表示されるか。
「0で割る」操作をしたとき、適切なエラーが出るか。
このように、入力や条件を与え、期待される結果と実際の結果を比較することがテストです。
テストは非常に重要な確認方法ですが、それだけで検証のすべてを尽くしたとは言えません。
検証はテストより広い
検証には、テスト以外の方法も含まれます。
電卓アプリの例で言えば、実際に計算を入力して確認するのはテストです。
しかし、検証はそれだけではありません。
ソースコードを読む。
計算ロジックを確認する。
設計書と仕様書を照合する。
数学的に処理の正しさを確認する。
第三者にレビューしてもらう。
これらもすべて検証に含まれます。
つまり、実際に動かして確認する方法がテストであり、動かさずに確認する方法も含めた全体が検証です。
橋の安全性で考える
もう一つ、橋の安全性を例に考えてみます。
「この橋は100トンに耐えられる」
という主張があるとします。
このとき、実際に橋へ100トンの負荷をかけて確認するのはテストです。条件を設定し、その結果を観察しているからです。
しかし、橋の安全性を確かめる方法はそれだけではありません。
設計図を確認する。
構造計算を行う。
使用されている材料の強度を調べる。
施工記録を確認する。
劣化や地震、強風などの条件を想定する。
これらも橋の安全性を確かめるための検証です。
実際に橋へ負荷をかけなくても、設計や計算によって安全性を確認することはできます。したがって、検証はテストよりも広い概念だと言えます。
テストに合格しても、完全に正しいとは限らない
ここで注意すべき点があります。
テストに合格したからといって、その主張が完全に正しいと証明されたわけではありません。
テストでわかるのは、あくまで「その条件では期待どおりの結果が出た」ということです。
たとえば、電卓アプリがいくつかの計算問題に正しく答えたとしても、すべての計算で正しく動くとは限りません。特定の桁数、特殊な小数、異常な入力では誤作動する可能性があります。
橋の場合も同じです。ある条件では問題がなかったとしても、長期使用、劣化、地震、強風、想定外の荷重など、別の条件では問題が起きる可能性があります。
つまり、テストは検証のための重要な証拠にはなりますが、検証そのものと同一ではありません。
検証とテストの関係
検証とテストの関係は、次のように整理できます。
検証は、主張の正しさを確かめる活動全体である。
テストは、条件を設定し、結果を観察することで確かめる方法である。
したがって、両者の関係は次のように表せます。
テスト ⊂ 検証
テストは検証に含まれますが、検証はテストだけではありません。
まとめ
検証とテストは同じものではありません。
検証とは、ある主張や命題が正しいかどうかを確かめる広い活動です。
テストとは、その検証を行うための具体的な方法の一つです。
実際に条件を与えて結果を観察する場合、それはテストです。
一方で、設計書の確認、コードレビュー、構造計算、論理的な確認なども検証に含まれます。
したがって、両者を混同しないためには、次のように捉えるとよいでしょう。
検証は目的であり、テストは手段である。
この区別を持っておくと、何かを「確かめる」ときに、単にテストを行うだけで十分なのか、それともより広い検証が必要なのかを判断しやすくなります。
