Safety assessment of interlocking software based on black-box testing and risk metric

• 基于黑箱测试及风险度量的联锁软件安全性评估