提高系统可靠性 测试( testing)或仿真( simulation) 以运行系统(模型)为主要手段发现系统错误。 验证( Verification) 建立系统模型,确认系统模型是否存在错误。 质量管理 在系统开发过程中加强管理,防止可能出现的错误。提高系统可靠性 • 测试（testing）或 仿真（simulation） 以运行系统（模型）为主要手段发现系统错误。 • 验证（Verification） 建立系统模型，确认系统模型是否存在错误。 • 质量管理 在系统开发过程中加强管理，防止可能出现的错误