EP2188723A2 - METHOD FOR AUTOMATIC SCRIPT GENERATION FOR TESTING THE VALIDITY OF OPERATIONAL SOFTWARE OF A SYSTEM ONBOARD AND AIRCRAFT AND DEVICE FOR IMPLEMENTING THE SAME