机构名称：
¥ 1.0
仿真是核电站基于 PLC 的数字 I&C 系统的 FBD 程序广泛使用的功能验证方法。然而，在没有任何明确的评估指标的情况下，很难评估模拟的彻底性（即有效性或质量）。本文提出了两套 FBD 模拟的结构覆盖充分性标准，即切换覆盖率和修改后的条件/决策覆盖率，它们可以评估 FBD 程序模拟场景的彻底性，这是国际功能安全标准所建议的。我们开发了两个支持工具来生成大量模拟场景并自动测量场景的覆盖率。我们对五个 FBD 程序进行的实验结果表明，这些指标和工具可以帮助软件工程师评估彻底性并定量改进模拟场景。© 2020 韩国核学会，由 Elsevier Korea LLC 出版。这是一篇根据 CC BY-NC-ND 许可协议 ( http://creativecommons.org/licenses/by-nc-nd/4.0/ ) 开放获取的文章。
C 系统 - KoreaScience
主要关键词
相关文件推荐
