La présentation est en train de télécharger. S'il vous plaît, attendez

La présentation est en train de télécharger. S'il vous plaît, attendez

Christophe Guittet – ALL4TEC Génie Logiciel "Modélisation du comportement des systèmes embarqués par un modèle d'usage issu des chaînes de Markov" Journée.

Présentations similaires


Présentation au sujet: "Christophe Guittet – ALL4TEC Génie Logiciel "Modélisation du comportement des systèmes embarqués par un modèle d'usage issu des chaînes de Markov" Journée."— Transcription de la présentation:

1 Christophe Guittet – ALL4TEC Génie Logiciel "Modélisation du comportement des systèmes embarqués par un modèle d'usage issu des chaînes de Markov" Journée du 2 février 2006 ENST – PARIS

2 Christophe Guittet – ALL4TEC Génie Logiciel PRESENTATION DALL4TEC

3 Christophe Guittet – ALL4TEC Génie Logiciel PRESENTATION DALL4TEC : UN INDUSTRIEL DU DÉVELOPPEMENT LOGICIEL *Création en 1998 autour de 2 métiers : le forfait et le conseil en amélioration de processus. *Présent à PARIS, LAVAL et TOULOUSE *1ere société européenne a être évaluée CMM4 en 2000 *Création en 2004 dALL4TEC Génie Logiciel (R&D et commercialisation produit MATELO) *Création du pôle de compétence « sûreté de fonctionnement » au travers de la filiale MATHIX. *40 ingénieurs et consultants *Plus de 100 hommes.an d'expérience en savoir faire logiciel

4 Christophe Guittet – ALL4TEC Génie Logiciel PRESENTATION DALL4TEC : OFFRES ET ACTIVITES *Ingénierie au forfait qDéveloppement de systèmes embarqués *Activités d'expertise qDiminution du temps de test et Suppression des défauts critiques qRetro engineering (documentation, industrialisation de logiciel, …) qAmélioration continue des processus (CMMI, SPICE, Cleanroom) qAmélioration de la productivité logicielle et maîtrise des coûts logiciels qEtudes de sûreté de fonctionnement (avec Mathix) *Activités de R&D au travers dALL4TEC Génie Logiciel qProjet européen AIRNET du 6éme PCRD (système anti-collision) qProduit MATELO issu dun projet du 5ème PCRD qCommercialisation de MATELO

5 Christophe Guittet – ALL4TEC Génie Logiciel UN LARGE PANEL DE CLIENTS *TELECOM qALCATEL ABS qBOUYGUES TELECOM qFRANCE TELECOM qCELLon qNEC qPHILIPS qST MICROELECTRONICS qWAVECOM *AEROSPATIAL - DEFENSE qAdP qAIRBUS Industries qALENIA SPAZIO qARTUS qCNES qEADS Space Transportation qEUROCONTROL qEUROCOPTER qGIAT INDUSTRIES qROCKWELL COLLINS France qSAGEM DEFENSE qTHALES Communications - ATM - Optronique - Underwater System *AUTOMOBILE qGroupe DELPHI qMAGNETI MARELLI qPSA qRENAULT qSAGEM qSIEMENS-VDO qVALEO *AUTRES qEDF qIRSN qRATP qDE DIETRICH qSNCF qBOMBARDIER qSCHNEIDER

6 Christophe Guittet – ALL4TEC Génie Logiciel Introduction Notre approche du test

7 Christophe Guittet – ALL4TEC Génie Logiciel Introduction : Notre approche du test *CONSTAT : qla maîtrise de la phase de test d'un système est essentielle car le coût de cette phase peut atteindre 50% du temps total qUn système livré avec des défauts résiduels engendre des coûts élevés qUn bug détecté en spécification coûte 1000 fois moins cher quun bug détecté en exploitation *ALL4TEC a basé sa stratégie de validation sur des méthodologies reconnues : qLe CMMI (Capability Maturity Model Integrated) : amélioration continue des processus qCleanroom : approche incrémentale basée sur le test statistique d'usage (SUT) qLe Test à Géométrie Variable (méthode TGV) préconisée par Mathix, notre filiale experte en Sûreté de Fonctionnement

8 Christophe Guittet – ALL4TEC Génie Logiciel MaTeLo : un projet ambitieux *Pourquoi MaTelo : qA lorigine, lidée était de mesurer la fiabilité des systèmes quALL4TEC livrait à ses clients, et de donner un critère darrêt des tests. qDepuis 1998, ALL4tec exploite la pertinence des chaînes de Markov dans ses modèles de spécification de tests. qLintérêt des industriels étant très fort, un consortium est né pour faire un projet ambitieux, à envergure Industrielle et Internationale. *Le consortium : qnait en 2002 pour une commercialisation de Matelo depuis 2004 qComprend : Magneti Marelli, Nec, Philips, Aliena Spazio, IAI, Lucent Technologie, lUnion Européenne, le ministère de lindustrie française et plusieurs universités européennes (IRISA, Lund en Suède, Erlangen en Allemagne). qBudget de 5,5 milions deuros

9 Christophe Guittet – ALL4TEC Génie Logiciel Le nouveau moteur de la validation des systèmes Trophée de linnovation 2005 au salon

10 Christophe Guittet – ALL4TEC Génie Logiciel MATELO dans le cycle de développement *MATELO teste en « boîte noire » et vérifie la conformité avec la spécification Expression des besoins Spécification fonctionnelle Conception du système Conception des composants Validation des besoins Validation fonctionnelle Test dintégration Implémentation Test des composants Editeur Matelo Testeur Matelo Modèle dusage Plan de test Analyse de la campagne de test

11 Christophe Guittet – ALL4TEC Génie Logiciel MATELO : Modélisation et génération de tests MATELO comprend 2 modules principaux : q1 éditeur de modèles dusage (Matelo Editor) ÞQui représente les comportements du système q1 générateur de cas de tests (Matelo Testor) ÞQui génère automatiquement lensemble des scénarios de test nécessaire à la validation de vos systèmes ÞQui analyse la campagne de test (couverture fonctionnelle, MTTF)

12 Christophe Guittet – ALL4TEC Génie Logiciel LEDITEUR DE MODELES DUSAGE MATELO

13 Christophe Guittet – ALL4TEC Génie Logiciel LEDITEUR MATELO : écriture du modèle dusage *Capture en entrée les éléments de spécification UML (XMI), SDL ou autre forme de spécification *Réalisation du modèle : qCréation des états stables du système qDéfinition de toutes les actions possibles dans un état donné, puis on réalise le modèle qIntégration des données dentrée et des résultats attendus qPose des fréquences dusage qGénération des cas de test « à blanc » pour valider le modèle qSauvegarde le modèle en XML pour en faciliter lexploitation Métrique : 0,5 à 3 jours par KLOC pour la réalisation du modèle dusage.

14 Christophe Guittet – ALL4TEC Génie Logiciel MATELO EDITOR : lIHM

15 Christophe Guittet – ALL4TEC Génie Logiciel LE GENERATEUR DE CAS DE TESTS MATELO

16 Christophe Guittet – ALL4TEC Génie Logiciel Efficacité des cas de test *20 objectifs de test atteints pour 100 pas de test effectués Start Target Close Approche combinatoire (déterministe) Start Close *80 objectifs de test atteints pour 100 pas de test effectués Approche prédictive en largeur (non déterministe)

17 Christophe Guittet – ALL4TEC Génie Logiciel Stratégie de test *Pour valider un logiciel, il est efficace dalterner des phases de focalisation (en profondeur ou sur la couverture), et des approches en largeur, qui explorent les différentes combinaisons denchaînement des fonctions Approche en profondeur Start Close Approche de couverture Start Close Approche en largeur

18 Christophe Guittet – ALL4TEC Génie Logiciel MATELO TESTOR : Génération de tests *Matelo génère automatiquement lensemble des scénarios de test nécessaire à la validation de vos systèmes : ÞTests de début de validation ÞTests dusage ÞTests de couverture ÞTests aux limites *Matelo permet une exécution des tests manuelle (HTML) ou automatique via les automates du marché (type TestStand, TTCN3 ou autres via lexport XML) *Matelo génère une analyse de la campagne de test (couverture fonctionnelle, MTTF)

19 Christophe Guittet – ALL4TEC Génie Logiciel MATELO TESTOR : Cas de test HTML

20 Christophe Guittet – ALL4TEC Génie Logiciel MATELO TESTOR Qualimétrie de la campagne de test *Enregistrement des résultats de test *Mise en place des critères darrêt des tests *Analyse de la campagne de test

21 Christophe Guittet – ALL4TEC Génie Logiciel Mesure de performance ( Retour dexpérience sur une base de 60 projets de 2 à 200 KLOC) En moyenne, la validation avec MATELO ne nécessite que 4 jours par KLOC avec une fiabilité de 110 défauts résiduels par million de loc : 1,5 jour de modélisation Matelo / 1,5 jour dexécution / 1 jour de correction

22 Christophe Guittet – ALL4TEC Génie Logiciel SYNTHESE CARACTERISTIQUES -AVANTAGES *Travail croisé entre les spécificateurs et les valideurs *Dès la spécification, 5 à 20 défauts, par futures Kloc, sont trouvés *Matelo atteint plus dobjectifs de tests quune méthode traditionnelle *Génération de tests non intuitifs et très variables *Automatisation de lexécution des Tests *Matelo fournit des métriques : critère darrêt des tests, MTTF *Campagne de tests facile à regénérer *+ de spécifications : 0,5 à 3 jours par KLOC pour la réalisation du modèle dusage Matelo. *Génération de cas de test optimisés *Création dun reporting *Modèle facile à maintenir

23 Christophe Guittet – ALL4TEC Génie Logiciel CONCLUSION : LES BENEFICES Des résultats très significatifs et rapides : *Matelo permet déconomiser jusquà 40 % du temps de la validation et 20 % du projet total. *Le ROI moyen chez nos clients est de 6 mois

24 Christophe Guittet – ALL4TEC Génie Logiciel OFFRE COMMERCIALE *Validation dun projet au forfait *Un pack licence, formation, accompagnement Et en complément, loffre de la première société de service évaluée CMM4 en Europe… Contact Technique : Contact commercial :


Télécharger ppt "Christophe Guittet – ALL4TEC Génie Logiciel "Modélisation du comportement des systèmes embarqués par un modèle d'usage issu des chaînes de Markov" Journée."

Présentations similaires


Annonces Google