Testing Critical Software: A Case Study for an Aerospace Application

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