Created with Sketch.
FITNESS: a Framework for Automatic Testing of ASTERIX Based Software Systems
As applications are developed, functional tests en sure they continue to function as expected. Nowadays, func tional testing is mostly done manually, with human testers verifying a systems functionality themselves, following hand written instructions: this make testing of software components one of the most expensive phases in the software development cycle, either in terms of time as well as human effort. This is particularly true for safety criticai systems, for which it's always necessary to be taken complete and rigorous security test and evaluation among development team and/or by third-party security certification organization. However, such software testing is usually time consuming, cost consuming and boresome and thus technologies of software testing automation have alluring application foreground in that field: making the execution of test cases automatic allows to reduce costs and to improve software quality from a dependability point of view. In this paper we present FITNESS, a framework for the automation of testing procedures for complex software systems with strict safety and quality requirements, and in particular we have focused on Air Traffic Contro! (ATC) application who rely on ASTERIX standard as data exchange format with the intent to propose a flexible solution to automate testing procedure for a generic system that use such communication standard. We also present a quantitative study that analyze the effectiveness of the proposed approach using our framework to test a Secondary Surveillance Radar system and showing that most of manual test steps can be automatically converted to automated test steps with no human intervention.
Manetti Vittorio, Petrella Luigi Martin
Paper for Seminar/Symposium/Conference
ISSTA 2013 - International Symposium on Software Testing and Analysis (15-20 July 2013, Lugano, Switzerland)
Inserisci il testo di ricerca