A novel online functional testing methodology
Début : 2015
Axe :SciLex 1
Sujet : A novel online functional testing methodology based on a fully distributed
continuous monitoring approach applied to communicating systems.
Directeurs :Stéphane MAAG, Fatiha ZAÏDI
Institutions :SAMOVAR ; LRI
Laboratoire gestionnaire : SAMOVAR
Etudiant : Jose-Alfredo ALVAREZ-ALDANA
Date de soutenance : 28/09/2018
Productions scientifiques :
- Jose Alvarez, Stéphane Maag, Fatiha Zaïdi, MANETs monitoring with a distributed hybrid architecture, 15th IEEE International Symposium on Network Computing and Applications (IEEE NCA), pp.388-391, Cambridge, Ma, United States, 2016
- Jose Alfredo Alvarez Aldana, Stephane Maag, Fatiha Zaidi, Monitoring Dynamic Mobile Ad-hoc Networks: A Fully Distributed Hybrid Architecture, The 31st IEEE International Conference on Advanced Information Networking and Applications (IEEE AINA 2017), Taipei, Taiwan, 2017
- Jose Alfredo Alvarez Aldana, Stephane Maag, Fatiha Zaïdi, MANETs Interoperability: Current Trends and Open Research, In The 32nd International Conference on Advanced Information Networking and Applications Workshops, pp 481-487, Krakow, Poland, May 16-18, 2018
- Jose Alfredo Alvarez Aldana, Stephane Maag, Fatiha Zaidi, DHYMON: a continuous Decentralized HYBrid MONitoring architecture for MANETs, In The 9th IEEE Latin-American Conference on Communications Workshop, Los Alamitos : IEEE Computer Society, 08-10 november 2017, Guatemala City, Guatemala, 2017
- Jose Alfredo Alvarez Aldana, Stephane Maag, Fatiha Zaidi, A Formal Consensus-based Distributed MonitoringApproach for MANET, Elsevier Computer Networks, Submitted June 2018.
Contexte :
Plusieurs modèles informatiques sont utilisés par les acteurs (administrateurs réseaux, gestionnaires de logiciels…) pour surveiller et tester les propriétés et comportements des systèmes. Les méthodes actuelles de test sont toutefois susceptibles de surcharger l’architecture de communication, d’être inefficace ou même dangereuses, en particulier dans le contextes des systèmes distribués complexes. L’objectif principal de cette thèse est de proposer une nouvelle approche formelle de passive testing pour les systèmes distribués complexes, basée sur la surveillance continue.
Objectif scientifique:
Les solutions pour la surveillance continue des systèmes distribués proposent pour la plupart des approches centralisées ou classiques et des sondages périodiques qui induisent des coûts de communication importants et ont un impact sur les verdicts de tests online et continus. En considération de cette remarque, les principaux défis que nous souhaitons aborder sont les suivants :
- To compute better bounds reducing the complexity space and time consumed by the observers/ probes.
- Une correlation intelligente et entièrement distribuée des flux de données observés à travers de nouvelles techniques de “sondage fonctionnel ” (e.g. inputs redondants) permettant un traçage en ligne.
- Le test online basé sur la surveillance distribuée continue .
- L’intégration de nos solutions à de vraies platformes industrielles de test, la plupart des solutions et concepts étant actuellement théoriques ou simulés.
Perspectives :
- Etudier les les approches formelles actuelles de passive testing et de surveillance continue des systèmes distributés.
- Proposer une méthodologie distributée de test des fonctions distribuées dans les systèmes de communication.
- Etudier et proposer des limites optimisées des coûts de communication.
- Appliquer les solutions trouvées à des systèmes entièrement distribués et data-centric (IP Multimedia Subsystems, systèmes de Cloud ….
- Le projet pourrait donner lieu à un transfert technologiques grâce à d’éventuelles collaborations industrielles.