Efficiency analysis & safety assessment of automatic testing for safety-critical software [railway control]

In order to ensure the quality of safety-critical software in the field of railway safety control and protection, safety test and assessment are of great importance besides functional test. The system structure and application of a testing and assessment platform for railway computer or microprocessor interlocking software are described in this paper. Sufficient testing data and its analysis are presented to discuss the assessment of safety-critical software.