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.
ThriftBooks sells millions of used books at the lowest everyday prices. We personally assess every book's quality and offer rare, out-of-print treasures. We deliver the joy of reading in recyclable packaging with free standard shipping on US orders over $15. ThriftBooks.com. Read more. Spend less.