001041893
100  $a                         y50      
101  $afre
2001 $aUNE APPROCHE DE TEST DES SYSTEMES MULTIAGENTS BASEE SUR DES MODELES FORMELS$bressource électronique
210  $aUniversité de Batna 2 - Mustafa Ben Boulaid : Département de Mathématique$cUniversité de Batna 2 - Mustafa Ben Boulaid
328 1$bMagister$cInformatique$eDépartement de Mathématique , Université de Batna 2 - Mustafa Ben Boulaid
330  $aLes 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.
610  $aLes testes
610  $a les système multiagent, réseaux
700  $aALIGUECHI, farida
701  $aArray
801 0$aDZ$bCERIST PNST
901$ac