Faculté des mathématiques et d'informatique

Permanent URI for this community

Now showing 1 - 1 of 1

Une approche de test des systemes multiagents basee sur des modeles formwls. Magister thesis,(2014)
(2016-08-01) AlI GUECHI Farida
Le test des systèmes Multi-Agent (SMA) a besoin de techniques appropriées pour évaluer les comportements autonomes de l'agent aussi bien que les propriétés de distribution, sociales et délibératives, qui sont particulières à ces systèmes. Parmi ces techniques, nous trouvons le test basé sur les modèles, il est basé sur un modèle de système afin de produire des cas de test abstraits. Pour que ces derniers puissent être soumis au système sous test, les cas de test abstraits doivent être transformés en des cas de test concrets. L’approche de test basé sur le modèle pour les agents mobiles est une approche qui a besoin d'un algorithme clair de concrétisation, ce dernier est proposée et appliquée dans ce mémoire en utilisant le problème du transport de ressources par des robots comme cas d'étude.