Description
Date depot: 1 janvier 1900
Titre: Une approache complémentaire de test de robustesse basée sur l'injection de fautes et le test passif
Directrice de thèse:
Ana CAVALLI (SAMOVAR)
Domaine scientifique: Sciences et technologies de l'information et de la communication
Thématique CNRS : Non defini
Resumé:
Mon sujet de thèse consiste à proposer et à implanter une approche de test de robustesse basée sur les techniques d'injection de fautes et du test passif. Cette approche permettra l'évaluation formelle de la robustesse d'un système donné i.e. de vérifier si le système testé peut assurer un comportement correcte lorsqu'il évolue dans un environnement stressant.
L'injection de fautes est alors utilisée pour perturber les conditions environnementales d'un système. En même temps, une trace d'exécution est collectée pour être ensuite validée par rapport aux propriétés de robustesse spécifiées par le testeur.
Tout le processus de test est formellement spécifié et vérifié afin d'éviter toute ambiguïté ou inconsistance lors de l'élaboration du verdict final.
Doctorant.e: Bessayah Faycal