Model-Based Safety Test Automation of Safety-Critical Software

Model-based test is the very useful method to verify software safety. But the traditional technology of model-based test is not suitable for safety test of safety-critical software system. This paper addresses a new approach to perform safety test of safety-critical system based on safety automaton model, which can express safety properties. By using the method, we have developed an automatic testing platform for train control center system safety test.