Vers des modèles de test propageant le changement dans les systèmes logiciels adaptatifs

La principale motivation des syst mes informatiques auto-adaptatifs est l'auto-ajustement du logiciel en fonction d'un environnement changeant. Les syst mes informatiques adaptatifs peuvent ajouter, supprimer et remplacer leurs propres composants en r ponse aux changements dans le syst me lui-m me et dans l'environnement d'exploitation d'un syst me logiciel. Bien que ces syst mes puissent offrir un certain degr de confiance face de nouveaux environnements, leurs changements structurels et comportementaux doivent tre valid s apr s l'adaptation en temps r el. Tester des syst mes adaptatifs dynamiques est extr mement difficile, car la structure et le comportement du syst me peuvent changer pendant son ex cution. Apr s l'auto-adaptation d'un logiciel autonome, de nouveaux composants peuvent tre int gr s au syst me logiciel. Lorsque de nouveaux composants sont incorpor s, il est essentiel de les tester pour s'assurer qu'ils interagissent et se comportent comme pr vu. Nous proposons une approche bas e sur un mod le qui repose sur la propagation des changements pour synchroniser un mod le de test d'ex cution d'un syst me logiciel avec le mod le de la structure de ses composants apr s adaptation dynamique.