Action Spécifique no. 23 Techniques avancées de tests des systèmes complexes

Le coût de la validation d'un système informatique représente au moins la moitié de son coût total de développement, et peut atteindre les trois quarts pour les systèmes fortement critiques. Cette activité fait appel à différentes techniques dont les plus connues sont l'analyse statique, le model-checking, la preuve et le test. Bien qu'il soit une technique de vérification partielle, le test restera toujours incontournable, car il permet d'observer le comportement dynamique de l'implémentation finale.

Les méthodes de test ont notamment été marquées par des avancées et de nombreux travaux pour la vérification de conformité par rapport à une spécification, dans un contexte de test boîte noire, blanche ou grise. Un problème encore peu étudié concerne cependant le test de la robustesse d'un système par rapport à des sollicitations quelconques - y compris erronées ou inopportunes - de son environnement.

Le test de robustesse est donc le verrou technologique que cette action spécifique se propose d'aborder. Les systèmes informatiques visés sont des systèmes à logiciel prépondérant, critiques ou embarqués.

Animateurs :	Richard Castanet (Richard.Castanet@labri.u-bordeaux.fr)
	Hélène Waeselynck (Helene.Waeselynck@laas.fr)

 

Introduction

Test de robustesse : position du problème

Equipes participant à l'Action Spécifique