LDS A ASTRIUM SAS Eric Conquet Division Produits et Intégration Avionique
Sommaire 1 Introduction Problématique 2 Les expériences opérationnelles DDV, COF-VTC, SRI Ariane5 3 Projet SPACES Génération automatique de code et de test 4 Les perspectives 2 FERIA/SITEF 2000-19 Octobre 2000
INTRODUCTION 1 3 juillet2000 Astrium
Développer un logiciel est complexe! Complexité du comportement Développement logiciel Taille des équipes de développement Le logiciel est abstrait 4 FERIA/SITEF 2000-19 Octobre 2000
Des méthodes de développement ont été introduites... MAIS Elles n adressent pas complètement la dynamique du logiciel (ex:hood), Elles facilitent la communication mais ne descendent pas jusqu au bon niveau de représentation, Ne permettent pas une validation au plus tôt. 5 FERIA/SITEF 2000-19 Octobre 2000
Ce que peut nous apporter la modélisation... Vérification du comportement Modélisation du logiciel Communication 6 FERIA/SITEF 2000-19 Octobre 2000 Automatisation des phases de codage/tests
LDS pour modéliser des systèmes temps-réels. Sys B1 B2 P1 P2 P3 LDS = Langage de Description et de Spécification. Un standard international (ITU) Un modèle LDS = ensemble d automates communiquants. Supportée par des outils commerciaux: - Edition de modèles, - Simulation, - Génération Code/tests. 7 FERIA/SITEF 2000-19 Octobre 2000
EXPERIENCES OPERATIONNELLES 2 8 Juillet 2000 Astrium
Du choix d un formalisme à son utilisation Choix DDV LDS Test de la techno Disponibilité, Support outil, Applicabilité Communication En // Utilisable Opérationnel risque minimal Utilisation VTC_COF Confiance dans la conception Communication Les MSCs pour plan de tests d intégration. Valider Opérationnel SRI AR5D Détection de 93 erreurs en spec Éviter les ambiguïtés dans la description Veille techno SPACES 9 FERIA/SITEF 2000-19 Octobre 2000
PROJET SPACES 3 10 mai 2000 Astrium
LES AXES Modèle LDS d un système réel Génération de code Génération de test coût pour de Intégration Pour définir un Exécution des symboles l embarqué code externe plan de test sur cible Prédire Evaluation de perfos Intégrer 11 FERIA/SITEF 2000-19 Octobre 2000
POURQUOI CES AXES? LES COUTS 20% design 60% 20% codage test Réduire les TUs Automatiser les TIs Automatiser les TVs 12 FERIA/SITEF 2000-19 Octobre 2000
Synoptique du fonctionnement Génération de code TU fait qu une fois Pattern de code intégration instanciation Pattern de code Modèle LDS Code Exécutable L intégration se limite au code externe instanciation Nécessité de faire la validation des communication inter-tâches Architecture dynamique Intégration 13 FERIA/SITEF 2000-19 Octobre 2000
Activité de tests: coût important. Génération de test Beaucoup de tâches manuelles... Définition des objectifs de test Ecriture des scripts Exécution des tests Analyse des résultats Couverture à priori??? 14 FERIA/SITEF 2000-19 Octobre 2000
Comment réduire le coût du test? Génération de test Eliminer les tests! Mais le système doit être validé! Réduire les tests: mais quels tests retirer? Une autre solution?? 15 FERIA/SITEF 2000-19 Octobre 2000
OUI!! ==> Automatiser le test. Génération de test Assister au maximum le testeur. Automatic Définition des objectifs Ecriture des scripts Exécution des tests Analyse des résultats. Modèle LDS 16 FERIA/SITEF 2000-19 Octobre 2000
Une approche de test automatisé avec LDS. Génération de test Objectifs générés utilisateur Système (Modèle LDS) Cas de tests Génération de code Code externe Exécution sur cible code Validation en continu. 17 FERIA/SITEF 2000-19 Octobre 2000
Nos résultats sur le test automatisé. Génération de test Capacité de génération des tests liée à la taille/complexité du modèle Test automatisé Les scripts de tests sont automatiquement générés Les tests sont exécutés automatiquement et les rapports de tests faciles à lire. 18 FERIA/SITEF 2000-19 Octobre 2000
CONCLUSION 4 19 mai 2000 Astrium
Automatisation des tests Choix DDV LDS Test de la techno Utilisable VTC_COF Génération automatique Exécution automatique Opérationnel risque minimal ATV? En // Géné de tests Validée Utilisation Opérationnel Veille techno? Co-design, reuse 20 FERIA/SITEF 2000-19 Octobre 2000