北京广利核系统工程有限公司

北京广利核系统工程有限公司 张运涛，何玮，曹宗生，孟广国

摘要：可编程逻辑器件在核电数字化仪控设备中的应用越来越广泛。对可编程逻辑器件进行功能仿真是验证其正确性及安全性的重要手段。核电标准明确提出要对可编程逻辑进行充分的仿真验证。代码覆盖率是功能仿真验证的重要指标，但代码覆盖率有局限性，较高的代码覆盖率下仿真测试不一定完备。本文首次将功能覆盖率统计技术用于核电DCS产品可编程逻辑验证。文中功能覆盖率统计技术结合了受约束的随机激励方法来减小定向测试用例的工作量，并且采用断言进行自动检查提高了对结果正确性检查的效率。在达到同等代码覆盖率的基础上，通过采用功能覆盖率统计技术达到了对被测对象的功能高覆盖，进而保障了仿真验证的充分性。目前功能覆盖率统计技术已应用于DCS系统设备接口模块的优选逻辑验证。

关键词：核电DCS；可编程逻辑；功能覆盖率

在线预览：功能覆盖率统计用于核级可编程逻辑仿真验证

摘自《自动化博览》2017年6月刊