V&V
from 形式手法
妥当性検証
validation
ほしかったものがちゃんとできているか
正当性検証
仕様を正しいとみなしたときに、その仕様通りに設計、実装ができているか
verification
正当性関係は推移率が成り立つ
仕様→設計、設計→プログラムが正しいとき、仕様→プログラムも正しいになる
自動テストとは全く違うくて、無限の入力に対する正しさを示せる