Safety Requirements Model-Based Safety Test Automation of Train Control System of High Speed Railway in China

Abstract:

Train control system is a safety-critical system, which requires a thorough safety testing before they are deployed. But the traditional technology of test automation is not sound for safety test of safety-critical software system because of its just aiming at the system functional requirements. Focusing on the safety requirements, this paper addresses a new method to perform safety test of safety-critical system based on safety requirement by using model-based test. The method presents safety automata to express safety properties in term of safety requirements and extract safety model from the safety requirements. It also provides a new technique for automatic generation of safety test case suite. By using the method, we have designed an automatic testing framework and developed an automatic testing platform, which has been applied to standard testing the product of train control system in term of the requirements of Ministry of railways in china, and implement effectively the functional and safety test of the product of train control system in china.

• Periodical: Applied Mechanics and Materials (Volumes 29-32)
• Pages: 2768-2774
• DOI: https://doi.org/10.4028/www.scientific.net/AMM.29-32.2768
• Online since: August 2010
• Authors: Gang Yu, Zhong Wei Xu
• Keywords: Safety Test, Safety-Critical, Train Control System (TCS)

References

[1] Nancy G. Leveson. Safeware: System Safety and Computers. Addison Wesley, (1995).

[2] H.M. Hǒ rcher. Improving software tests using Z specifications. In ZUM'95: 9th International Conference of Z Users, LNCS 967. Springer Verlag, (1995).

[3] H.M. Hǒ rcher and J. Peleska. The role of formal specifications in software test (tutorial). In Proceedings of FME'94, (1994).

[4] E. Mikk. Compilation of Z specifications into C for automatic test result evaluations. In J.P. Bowen and M.G. Hincher, editors, ZUM'95: 9th International Conference of Z Users, LNCS 967. Springer Verlag, (1995).

[5] M. Mǔ llerburg. Systematic testing: a means for validating reactive systems. In EuroSTAR '94: Proceedings of the 2nd European Intern. Conf. on Software Testing, Analysis & Review. British Computer Society, (1994).

[6] C. Y. Charles, B. W. Johnson and A. Joseph. Safety Issues in the Comparative Analysis of Dependable Architectures. IEEE Transactions on Reliability, Vol. 316-322 (2005), p.46.

[7] Ibrahim K. El-Far and James A. Whittaker. Model-based software testing. In Encyclopedia on Software Engineering (edited by J.J. Marciniak). Wiley, (2001).

[8] YU Gang, XU Zhong-wei, DU Jun-wei. Research on scenario-event-driven simulation test script language for safety-critical software system. Journal of Computer Applications, Vol. 374-379 (2010), p.30.

DOI: 10.3724/sp.j.1087.2010.00374