Safety requirements model-based safety test automation of train control system of high speed railway in China