1 / 8

Alliance Qualité Logiciel – Groupe Silicomp

Alliance Qualité Logiciel – Groupe Silicomp. AQL : présentation de la société Certification Critères Communs Génération automatique de tests AQL et CASTLES. Présentation de la société. Création en 1988 à Rennes Acquise en 2000 par Groupe Silicomp

fox
Download Presentation

Alliance Qualité Logiciel – Groupe Silicomp

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. Alliance Qualité Logiciel – Groupe Silicomp • AQL : présentation de la société • Certification Critères Communs • Génération automatique de tests • AQL et CASTLES

  2. Présentation de la société • Création en 1988 à Rennes • Acquise en 2000 par Groupe Silicomp • Certifiée ISO 9001 depuis 1992 et ISO 9001:2000 depuis février 2001 • 180 collaborateurs (Rennes, Lannion, Nantes, Le Mans, Paris) • Domaines d’activité : • Architectures de systèmes d’information distribués • Bases de données et du multimédia • Télécommunications et des réseaux • Sécurité (CC, audits, études : 40 personnes)

  3. Critères Communs • CESTI depuis 1999 • Evaluation de produits (firewall, DAB/GAB,masque de cartes, etc.) • Evaluation de systèmes (unité de production de composants de cartes à puce, offre VPN MPLS, etc.) • Evaluation de Profils de Protection • Assistance à la rédaction de fournitures • Formations • Niveaux élevés : routeur sécurisé EAL5+ (politique de sécurité formelle : B)

  4. Critères Communs et niveaux d’évaluation élevés

  5. Génération automatique de tests • 1994-1998 Thèse « Une méthode et un outil pour l'aide à la génération de jeux de tests de logiciels» (CASTING) • Grammaires attribuées et résolution de contraintes. • 1998-2000 Projet européen TWOOutil de génération de jeux de test structurels pour C et C++. • 2000-2002 Projet RNTL COTE : UML-CASTING • 2004-2006 Projet RNRT VERBATIMGénération de tests et vérification d'ergonomie à partir de spécifications semi-formelles et  formelles d'applications multimodales. • Projet RNTL CASTLES !

  6. Génération automatique de tests CASTING Grammaire du formalisme F Instanciation au formalisme F Règles de décomposition Administrateur Utilisateur F - CASTING Spécificati on (états / transitions) Représentation Hypothèses interne de test Stratégie de test Mesures de Transitions de couverture Objectifs de couverture test Suites de tests Schémas de test

  7. UML-CASTING

  8. Participation au projet CASTLES T0 • SP0 Analyse des besoins de certification • Définition des besoins de certification Critères Communs d’une plateforme Javacard • Charges : 3 h.m T0+6 T0+18 SP1 Lot 1.3 : test de conformité pour la certification de la JCVM Proposer et outiller une méthode de génération de tests à partir de spécifications formelles exprimées dans le langage de spécifications JSL: JSL-CASTING ? Charges : 12 h.m T0+30 T0+36

More Related