By Topic

An automatic test case generator for testing safety-critical software systems

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
$33 $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

2 Author(s)
Mehdi Malekzadeh ; Faculty of Computer Science and IT, University of Malaya, Kuala Lumpur, Malaysia ; Raja Noor Ainon

This paper presents the development of an automatic test case generator (ATCG) for testing safety-critical software systems based on the concepts of specification-based testing. The ATCG receives the specification of system under test in normal specification language form and the causes and effects are automatically extracted and it also will visualize the cause-effect graph specification model. Finally test cases are generated by using cause-effect graph software testing methods in detail combined with Boolean operator techniques. Often in ATCGs too many test cases are created but the results are not always perfect. In testing our ATCG, experimental results showed that quality test cases are produced and that redundant test cases are ignored.

Published in:

Computer and Automation Engineering (ICCAE), 2010 The 2nd International Conference on  (Volume:1 )

Date of Conference:

26-28 Feb. 2010