■

• Checking

• Validation

妥当性検証
動的にしかできない

Validation: "Are we trying to make the right thing?", i.e., is the product specified to the user's actual needs?

Are we building the right product? （正しい製品を作っているか）

• Verification

検証

Verification: "Have we made what we were trying to make?", i.e., does the product conform to the specifications?

Are we building the product right? （正しく製品を作っているか）

• References

http://en.wikipedia.org/wiki/Formal_verification
http://en.wikipedia.org/wiki/Verification_and_Validation
http://blues.se.uec.ac.jp/mt/swtest/archives/000055.html