Informatique

Permanent URI for this collection

http://dspace.univ-skikda.dz:4000/handle/123456789/139

Browse

Browsing Informatique by Author "M. Mohammed, REDJIMI"

Now showing 1 - 1 of 1
  • Thumbnail Image
    Item
    Test des Systèmes Multi Agents dans les Environnements d’Intelligence Ambiante
    (Université 20aout 1955 Skikda, 2019-01-22) Sara ,KERRAOUI; M. Mohammed, REDJIMI
    Les systèmes ambiants forment un domaine d’application très particulier, car ils sont très dynamiques et en interactions constantes avec des utilisateurs. Les systèmes multi-agents sont utilisés comme abstractions utiles dans ces systèmes, par exemple pour les dispositifs et les fonctionnalités, et comme paradigme pour la mise en œuvre. Cependant, les caractéristiques de tels systèmes rendent leur test un vrai défi qui demande de nouvelles méthodes de test efficaces et adéquates afin d’évaluer les comportements autonomes des agents ambiants et leurs interactions. Cette thèse aborde le problème des tests basés sur les modèles formels pour les systèmes multi-agents dans les environnements d’intelligence ambiante par le biais d’une approche qui couvre tous les niveaux d’abstraction du paradigme agent. Ces niveaux d’abstraction sont : le niveau agent, le niveau société d’agents et le niveau système. L’approche proposée s’intègre dans l’éthique du test basé sur les modèles en proposant de mettre en œuvre un processus intégrant la gestion des exigences, l’automatisation de la génération des cas de test et leur concrétisation. En particulier, nous proposons en premier lieu, un système à base d’agents pour la modélisation d’un environnement ambiant destiné aux personnes âgées utilisant les réseaux de références. L’exemple a été modélisé en respectant l’architecture MULAN (multi agent system net) augmentée de JESS (Java Expert System Shell) pour la prise en compte des aspects délibératifs des agents ambiants. De plus, le modèle proposé tient compte de l’aspect temps pour toute décision. Deuxièmement, nous proposons une approche de test basée sur les modèles (réseaux dans les réseaux) qui s’intègre à l’outil JUNIT pour la génération et le test des systèmes multi-agents. Contrairement aux différentes approches de test, où l’instrumentation porte, la plupart du temps, sur le code source de l’application, notre approche laisse intact l’application sous test en faisant l’instrumentation au niveau du modèle, permettant ainsi de préserver son comportement initial (l’aspect fonctionnel ou nonfonctionnel ne sera pas modifié)