安全功能越来越多地在电气、电子或可编程电子系统中得到实现。这些系统一般都是非常复杂的，这就使得在实际中完整地判断每个失效模式(failure mode)或测试所有可能的行为成为了不可能完成的任务。虽然预测其安全方面的性能非常困难，但测试仍然是非常有 ...