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

Research on the Logical Automated Testing of Nuclear Power 1E DCS Application Software

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

The application software logic test is an important part of the V&V activity of the nuclear power plant security level DCS application software.The test method is long,the test efficiency is low and the human error can not be avoided through the smear confirmation test method.A logical automation test method is studied in this paper.By optimizing the test case,the automatic test tool can be tested.Security level DCS application software logic test case.Combined with the practical experience of multiple nuclear power project application software logic testing,it is proved that the application software automation logic testing method not only improves the testing efficiency,but also reduces the human error rate.It provides a reference for the later DCS application software logic testing similar to nuclear power project.