LDS A ASTRIUM SAS. Eric Conquet Division Produits et Intégration Avionique

Transcription

1 LDS A ASTRIUM SAS Eric Conquet Division Produits et Intégration Avionique

2 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 Octobre 2000

3 INTRODUCTION 1 3 juillet2000 Astrium

4 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 Octobre 2000

5 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 Octobre 2000

6 Ce que peut nous apporter la modélisation... Vérification du comportement Modélisation du logiciel Communication 6 FERIA/SITEF Octobre 2000 Automatisation des phases de codage/tests

7 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 Octobre 2000

8 EXPERIENCES OPERATIONNELLES 2 8 Juillet 2000 Astrium

9 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 Octobre 2000

10 PROJET SPACES 3 10 mai 2000 Astrium

11 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 Octobre 2000

12 POURQUOI CES AXES? LES COUTS 20% design 60% 20% codage test Réduire les TUs Automatiser les TIs Automatiser les TVs 12 FERIA/SITEF Octobre 2000

13 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 Octobre 2000

14 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 Octobre 2000

15 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 Octobre 2000

16 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 Octobre 2000

17 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 Octobre 2000

18 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 Octobre 2000

19 CONCLUSION 4 19 mai 2000 Astrium

20 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 Octobre 2000