FITNESS: A Framework for Automatic Testing of ASTERIX Based Software Systems

As applications are developed, functional tests ensure they continue to function as expected. Nowadays, functional test-ing is mostly done manually, with human testers verifying a system’s 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. Con-cerning in particular safety critical systems, such as the ones belonging to the Air Traffic Management field, for which it is always necessary to be taken complete and rigorous se-curity test and evaluation among development team and/or by third-party security certification organization, perform-ing automatic tests on such systems become a very tricky process considering that the goal is to verify not only th