結果 : software verification and validation example