提高可信度的途径 测试( testing)或仿真( simulation) 无法回答系统一定没有错误这样一类问题 ■验证( Verification) 可以从某一个角度回答系统一定没有错误这样一类问题, 从而进一步提高我们对系统可靠性的可信度提高可信度的途径 ◼ 测试（testing）或 仿真（simulation） 无法回答系统一定没有错误这样一类问题 ◼ 验证（Verification） 可以从某一个角度回答系统一定没有错误这样一类问题， 从而进一步提高我们对系统可靠性的可信度