Testing of On-Board Mission-Critical Software
A. Santarelli, F. Di Pace · 1991
The paper describes the DATAMAT experience gathered in testing on-board critical applications and focuses on the approach adopted to manage the testing activities. The experience led to the definition of a formal approach to testing, whose characteristics were derived not only from the theoretical approach, but mainly from the knowhow drawn from the testing activities carried out within the Mission Critical Programs in which DATAMAT has been involved since late seventies. The approach, aimed to the formalization of the test procedures, to their automation and to the standardization of the test documentation, and the tools developed to implement it are described. The benefits obtainable using this approach are discussed. Then a description of the experience drawn in implementing the above approach is given, focusing on the testing of the EHlOl (Anti-Submarine Warfare Anglo-Italian Helicopter) Mission Software/Mission System Integration and on the testing of the Hermes (European Spaceplane) OnBoard Mission Software Mock-Up.