Title :
An Approach for Automated Safety Testing of Safety-Critical Software System Based on Safety Requirements
Author :
Yu, Gang ; Xu, Zhong Wei ; Jun wei Du
Author_Institution :
Sch. of Electron. & Inf. Eng., Tongji Univ., Shanghai, China
Abstract :
Safety is a very important property for safety-critical software systems. We introduce an approach to test safety-critical software systems based on safety requirement by using model-based testing. The model is extracted from the safety requirement and system under test. In our approach, we use model checking techniques to generate test cases. To find appropriate test cases in less time, we divide the states spaces of model into different subsets. By using the approach, we have designed an automatic testing framework and developed an automatic testing platform, which has been used for testing the safety of high speed train control system in China.
Keywords :
automatic test software; formal verification; program testing; safety-critical software; China; automated safety testing; high speed train control system; model checking techniques; model-based testing; safety requirement; safety-critical software system; Aerospace safety; Application software; Automatic testing; Control systems; Electronic equipment testing; Information technology; Software safety; Software systems; Software testing; System testing;
Conference_Titel :
Information Technology and Applications, 2009. IFITA '09. International Forum on
Conference_Location :
Chengdu
Print_ISBN :
978-0-7695-3600-2
DOI :
10.1109/IFITA.2009.18