By Topic

An Approach for Automated Safety Testing of Safety-Critical Software System Based on Safety Requirements

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

3 Author(s)
Gang Yu ; Sch. of Electron. & Inf. Eng., Tongji Univ., Shanghai, China ; Zhong wei Xu ; Jun wei Du

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.

Published in:

Information Technology and Applications, 2009. IFITA '09. International Forum on  (Volume:3 )

Date of Conference:

15-17 May 2009