| Etablissement | Université de Batna 2 - Mustafa Ben Boulaid | | Affiliation | Département de Mathématique | | Auteur | ALIGUECHI, Farida | | Directeur de thèse | Maameri Ramdane (Maitre de conférence) | | Filière | Informatique | | Diplôme | Magister | | Titre | UNE APPROCHE DE TEST DES SYSTEMES MULTIAGENTS BASEE SUR
DES MODELES FORMELS | | Mots clés | Les testes; les système multiagent, réseaux | | Résumé | Les systèmes multi agents constituent aujourd’hui une nouvelle technologie pour la
conception et le contrôle de système complexes. Les solutions proposées par les systèmes
multi-agents sont prometteuses et permettent d’obtenir des systèmes flexibles et évolutifs.
Cependant, leur mise en oeuvre reste difficile. Ceci est du au manque des méthodes et des
techniques de vérifications et de validations adaptées a ce genre de système et qui permettent
un développement fiable et cohérent.
Les récents travaux de recherches dans le domaine des systèmes multi-agents poursuivent
deux principales directions : la première concerne l’analyse théorique et expérimentale des
mécanismes d’auto-organisation qui ont lieu lorsque plusieurs entités autonomes
interagissent. La seconde s’intéresse a la réalisation d’artefacts distribués capable d’accomplir
des taches complexes par coopération et interaction .Mais très peu de travaux en revanche ont
été menés pour doter la communauté des testeurs par des méthodes, des techniques et des
outils permettant, dans la mesure du possible, d’automatiser ou d’aider a la poursuite des
différentes phases de test lorsqu’il s’agit précisément des systèmes multi-agents.
L’importance du test dans le processus de développement d’un logiciel n’est plus a
demontrer. D’une part, en raison de son importance économique croissante (60% du coût total
du développement) et d’autre part, parce que le test constitue une tache essentielle dans
l’élaboration de la qualité d’un logiciel. Considéré longuement comme une activité de
« seconde rang» dans le processus de développement d’un logiciel,le test connait actuellement
une véritable révolution fondée sur une industrialisation de ses processus, une
professionnalisation des métiers du test,l’arrivée a maturité d’une chaîne outillée allant des
exigences au référentiel de tests ,et enfin la mise en place de centres de service,internes ou
externes,dédiés aux activités de test .Son objectif est de mettre en oeuvre le logiciel en utilisant
des données similaires aux données réelles ,pour observer les résultats ,détecter les anomalies
et en déduire l’existence d’erreurs.
Dans cette mémoire, la candidate (Ali Guechi Farida) sera mener, en étroite collaboration
avec Moi-même et le docteur Guissoum Yacine du laboratoire Lire, a développer une
approche de test des systèmes multi-agents basé sur des modèles formels. Cette approche doit
mettre en oeuvre une chaîne intégrant la gestion des exigences, la génération de tests et leur
automatisation. L’utilisation de modélisations formelles, devenues une partie prenante dans le
processus de développement de logiciel, permet d’améliorer la qualité des logiciels en
détectant certaines vulnérabilités avant même leurs déploiements. | | Statut | Validé |
|