Abstract
Nuclear power plant safet-level DCS (Distributed Control System) is the core control system to ensure the normal operation of nuclear reactors. The reliability of DCS system software is of vital importance. The DCS software performs different signal processing processes, each of which represents a different operating condition, corresponding to each control path in the software system. The safety level DCS provides safety protection for the reactor and each control path should meet the expected value. Efficient testing of the path becomes an issue that needs to be studied. Based on the automated test method based on symbolic execution, this paper designs a constraint optimization method based on special variables in safety level DCS software system such as parameter variables and preset variables, which provides a new way for efficient path constraint solving of DCS software system.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Analysis of the standard system for software verification and validation of digital control system in nuclear power plant. Process Autom Instrum (2017)
Binhao, J., Jiaping, W.U., Jin, Y., et al.: Test case design of NPP DCS engineering application software. Energy Res. Manag. (2014)
Integration test method for application software of reactor protection system. Nucl. Electron. Detect. Technol. (2017)
Zhan, Xu, Danyang, Xia: Software integration test for DCS safety related system of nuclear power plant[J]. Autom. Panor. 6, 103–105 (2015)
Jing, S.U.N., Shuo, L.I., Huiqun, Z.H.A.O.: Research on automatic generation of basic path test cases. CEA 54(20), 48–53 (2018)
Hui-Qun, Z., Fei, L.U.: Automatic generation of basis path set based on model algebra. Comput. Sci. (2017)
Analysis and optimization of Angr in dynamic software test application. Comput. Eng. Sci. 40(S1), 167–172
Edalat, E., Sadeghiyan, B., Ghassemi, F.: ConsiDroid: a concolic-based tool for detecting SQL injection vulnerability in android apps (2018)
King, J.C.: Symbolic execution and program testing. Commun. ACM 19(7), 385–394 (1976)
Alston, A.: Concolic execution as a general method of determining local malware signatures (2017)
Kouwe, E.V.D., Giuffrida, C., Tanenbaum, A.S.: Finding fault with fault injection: an empirical exploration of distortion in fault injection experiments. Softw. Qual. J. 24(1), 7–36 (2016)
Zuo, C., Lin, Z.: SMARTGEN: exposing server urls of mobile apps with selective symbolic execution. In: International Conference on World Wide Web. (2017)
Robere, R., Kolokolova, A., Ganesh, V.: The proof complexity of SMT solvers (2018)
Cadar, C., Koushik: Symbolic execution for software testing: three decades later. Commun. ACM 56(2), 82–90 (2013)
Martin, A., Raponi, S., Combe, T., et al.: Docker ecosystem—vulnerability analysis. Comput. Commun. (2018)
Moura, L.D., Bjørner, N.: Z3: An efficient SMT solver (2008)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2020 Springer Nature Singapore Pte Ltd.
About this paper
Cite this paper
Dai, YJ., Wu, ZQ., Liu, J., Chen, Z., Xiao, AH., Zeng, H. (2020). A Safety Level DCS Symbol Execution Test Optimization Method. In: Xu, Y., Sun, Y., Liu, Y., Wang, Y., Gu, P., Liu, Z. (eds) Nuclear Power Plants: Innovative Technologies for Instrumentation and Control Systems. SICPNPP 2019. Lecture Notes in Electrical Engineering, vol 595. Springer, Singapore. https://doi.org/10.1007/978-981-15-1876-8_30
Download citation
DOI: https://doi.org/10.1007/978-981-15-1876-8_30
Published:
Publisher Name: Springer, Singapore
Print ISBN: 978-981-15-1875-1
Online ISBN: 978-981-15-1876-8
eBook Packages: Physics and AstronomyPhysics and Astronomy (R0)