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.