核电站安全级DCS应用软件逻辑的自动化测试研究

摘要

应用软件逻辑测试是属于核电站安全级DCS应用软件V&V活动的一个重要环节,通过涂抹确认的测试方法测试周期长、测试效率低、无法避免人因失误.本文研究了一种逻辑自动化测试方法,通过优化测试用例,使自动化测试工具可以测试安全级DCS应用软件逻辑测试用例.结合多个核电项目应用软件逻辑测试的实践经验,证明了应用软件自动化逻辑测试方法不仅提高了测试效率,同时降低了人因失误率.为后续核电项目安全级DCS应用软件逻辑测试提供参考意义.