Automatic Test Case Generation for Critical Embedded Systems
Guy Durrieu, Odile Laurent, Christel Seguin, Virginie Wiels · 2004
This paper presents a research project on the feasability of automatic test generation from formal specification in an industrial context. Airbus has used SCADE for several years to specify critical avionics systems. We have experimented automated test generation tools from SCADE specifications and defined a coverage criterion adapted to SCADE specifications. 1.