Abstract
Abstract:
This paper presents a study aiming at improving the cost and the thoroughness of testing process of avionic applications developed at Airbus. The proposed approach aims at generating automatically functional tests from formal detailed specification and a functional test objective. This automatic test data generation is guided by the specification structure and the functional test objective. This approach deals with the SCADE development environment and it is illustrated on an Airbus case study.