By Topic

Issues on software testing for safety-critical real-time automation 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
$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

1 Author(s)
Wang, L. ; Virginia Univ., Charlottesville, VA, USA

Software quality indicates how well the software product complies with the user requirements. The challenge in software testing is how to uncover the difficult-to-find software problems. Networked and embedded real-time automation software in safety-critical applications such as avionics software poses unique concerns about software quality due to its demanding requirements on system performance. The benefits of the rigorous software development and verification processes include both functional and nonfunctional software performance assurance. The heart of safety-critical software development lies in processes and techniques for software validation and verification. The effective software testing can ensure the software quality as well as make the developer garner, the customer kudos for the high software quality.

Published in:

Digital Avionics Systems Conference, 2004. DASC 04. The 23rd  (Volume:2 )

Date of Conference:

24-28 Oct. 2004