By Topic

Testing Critical Software: A Case Study for an Aerospace Application

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

6 Author(s)
Denis S. Loubach ; Brazilian Aeronautical Institute of Technology (ITA) ; Joao C. S. Nobre ; Adilson M. Da Cunha ; Luiz A. V. Dias
more authors

This paper reports an academic experience at the Brazilian Aeronautical Institute of Technology using automated software testing tools applied to a critical real time embedded systems. The work uses a problem-based learning $PBL teaching methodology, a Rational unified process - RUP tailoring, and the IBM-Rational Quality Architect RealTime and the IBM-Rational Test Real Time tools. This academic experience has been originated on the needs and specifications of the Brazilian Aeronautics and Space Institute - IAE and the Brazilian National Institute for Space Research - INPE. The case study is based upon three ongoing realistic software projects, all of them using real time embedded software respectively named unmanned aerial vehicles - UAV, student satellite - SSAT, and ground control station - GCS. This experience has involved 15 senior computer engineering undergrads and 18 graduate students to develop, test, verify, and validate the system, in just 17 academic weeks, and four aggregation levels: computer software units -CSU, computer software components - CSC, computer software configuration items $CSCI in just one computer software system - CSS demanding software engineering state-of-the-art processes, and real time notations and tools. The major contribution of this paper is the proper utilization of available tools to perform automated testing, improving deliverable software quality, reliability and safety, and increasing the expertise of involved professionals, as well as reducing the necessary time to perform unit, integration and system testing

Published in:

2006 ieee/aiaa 25TH Digital Avionics Systems Conference

Date of Conference:

15-19 Oct. 2006