Librería Samer Atenea
Librería Aciertas (Toledo)
Kálamo Books
Librería Perelló (Valencia)
Librería Elías (Asturias)
Donde los libros
Librería Kolima (Madrid)
Librería Proteo (Málaga)
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.
