Publications

Version: 1.0 Approved

LDO-ID 2013-05-24-03

Title FITNESS: a Framework for Automatic Testing of ASTERIX Based Software Systems

Abstract

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.

Authors Manetti Vittorio, Petrella Luigi Martin

Type Paper for Seminar/Symposium/Conference

Media ISSTA 2013 - International Symposium on Software Testing and Analysis (15-20 July 2013, Lugano, Switzerland)

Web site

Anno 2013

Cancel