|
Le projet Test Automatique basé sur des SCénarios et évaluation Critères Communs est un projet financé par l'Agence Nationale de la Recherche à l'appel ARPEGE 2009, catégorie "Systèmes Embarqués et Grandes Infrastructures" (ANR-09-SEGI-014).
L’objectif stratégique du projet TASCCC est de produire les outils conceptuels, méthodologiques et techniques pour le test de conformité d’un système vis-à-vis des exigences fonctionnelles et des exigences de sécurité qui lui sont assignées. Ces techniques permettront d’accélérer le développement de politique de sécurité de systèmes embarqués et leur test en vue de leur évaluation Critères Communs. En effet, les Critères Communs apportent des exigences fortes sur le développement et le test du produit à évaluer. Répondre à ces exigences peut s’avérer une tâche complexe, notamment avec une duplication des efforts de test, pour la validation fonctionnelle et pour la sécurité. Par ailleurs, l’effort pour l’évaluation du produit vient généralement s’ajouter à l’effort requis pour le développement comme une tâche supplémentaire faite a posteriori. Le projet permettra la mise en place d’un processus outillé pour la validation sécuritaire qui, d’une part, améliorera fortement la productivité des ingénieurs sécurité par des processus automatisés, et, d’autre part, améliorera la qualité des tests produits assurant une meilleure couverture sécuritaire.
Le projet TASCCC propose d’explorer, en amont, les aspects de formalisation des propriétés de sécurité du système, qui seront ensuite utilisées pour la production automatique des scénarios de tests, en aval. Ainsi, un lien pourra être naturellement tracé entre les exigences de sécurité, formalisées dans un langage dédié, et les tests exerçant ces propriétés, issus des scénarios. En ce sens, cette innovation répond à la problématique de traçabilité des tests produits, exigée pour la certification Critères Communs d’un produit. Le projet s’attachera à apporter des solutions techniques permettant de garantir automatiquement la traçabilité des tests produits à partir d’un besoin de test, mais également d’évaluer la pertinence de suites de tests produites indépendamment, vis-à-vis de ces mêmes besoins de tests.
Le projet TASCCC s'appuie sur un partenariat équilibré entre membres industriels et académiques. Trusted-Labs est le leader du projet. Chaque partenaire amène son expertise théorique et/ou technologique au projet. Supélec s'intéresse à la modélisation des propriétés de sécurité au sein d'un langage ad hoc. Le LIFC s'intéresse au traitement des propriétés en vue de la production de scénarios de tests. Le LIG apporte ses solutions technologique pour le dépliage des scénarios et la réduction de suites de tests issues d'un dépliage combinatoire. La société Smartesting fournit la technologie d'animation de modèles UML/OCL au travers de la solution Test Designer. Gemalto fournit l'étude de cas sur laquelle sera appliquée et validée la démarche. Finalement, Serma Technologies évalue les apports de la méthodologie proposée du point de vue des Critères Communs. |
