Research on Safety Level DCS Automated Test Method Based on Symbolic Execution

Nuclear power plant safety-level DCS (Distributed Control System) is the central nerve of the entire nuclear power plant, ensuring the safety and reliability of safety-level DCS application software is crucial. The safety-level DCS has to deal with different working conditions, and the corresponding DCS software has to perform different signal processing processes, and each processing process forms a software path. The safety-level DCS serves as a safety protection for nuclear power plants and requires the desired results for each path. Testing the path is an important way to ensure software reliability. This paper uses symbolic execution to do automated path testing of nuclear safety-level DCS application software, and gives a complete automated testing methods. This gives a new idea to automated testing of DCS software paths.