En savoir plus
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.
A propos de l'auteur
Il dottor Mohammed Akour è assistente professore presso il Dipartimento di Sistemi Informatici dell'Università di Yarmouk (YU). Ha conseguito la laurea triennale (2006) e magistrale (2008) con lode in Sistemi Informatici presso l'Università di Yarmouk. È tornato alla YU nell'aprile 2012 dopo aver conseguito con lode il dottorato in Ingegneria del Software presso la NDSU.
