alliance qualité logiciel – groupe silicomp
DESCRIPTION
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 - PowerPoint PPT PresentationTRANSCRIPT
• AQL
• Critères Communs
• Tests
• CASTLES
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
• AQL
• Critères Communs
• Tests
• CASTLES
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)
• AQL
• Critères Communs
• Tests
• CASTLES
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)
• AQL
• Critères Communs
• Tests
• CASTLES
Critères Communs et niveaux d’évaluation élevés
EAL5 EAL6 EAL7
Conçu avec des méthode semi-
formelles
Conçu et vérifié avec des méthode
semi-formelles
Conçu et vérifié avec des méthode
formelles
Spécification fontionnelles (FSP)
Semi-Formel Semi-Formel Formel
Conception haut niveau (HLD)
Semi-Formel Semi-Formel Formel
Conception bas niveau (LLD)
Semi-Formel Semi-Formel
Implémentation (IMP)
Démonstration de correspondance
(RCR)Semi-Formel Semi-Formel Formel
Modèle de politique de sécurité (SPM)
Formel Formel Formel
Niveau d'évaluation d'assurance
Famille d'assurance
• AQL
• Critères Communs
• Tests
• CASTLES
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 !
• AQL
• Critères Communs
• Tests
• CASTLES
Génération automatique de tests
Administrateur Règles de décomposition
CASTING
Instanciation au
formalisme F
Spécification (états / transitions)
Utilisateur
Hypothèses de test
Suites de tests
Objectifs de couverture
Schémas de test
Stratégie de test
F-CASTING
Représentation interne
Transitions de test
Grammaire du formalisme F
Mesures de couverture
• AQL
• Critères Communs
• Tests
• CASTLES
UML-CASTING
Modèle UML Diagramme de classe + OCL (pré, post..)
Diagramme d’état + OCL (garde, post..)
UML-CASTING
Transitions de test
Tests
Grammaires attribuées - Solveur de contraintes
Objecteering
Objectifs de couverture
Mesures de couverture
Stratégie de test
• AQL
• Critères Communs
• Tests
• CASTLES
Participation au projet CASTLES
SP0Analyse des besoins de certification
Définition des besoins de certification Critères Communs d’une plateforme Javacard
Charges : 3 h.m
T0
T0+6
T0+18
T0+36
T0+30
SP1Lot 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