• 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