Mémoires de Fin d’Etudes
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é