Analyse topologique des données de test pour les codes de simulation

Mathématiques, information  scientifique, logiciel Stage - Bac+5 - Analyse topologique des données de test pour les codes de simulation - H/F La bibliothèque Topological ToolKit (TTK, https://topology-tool-kit.github.io/) permet de faire de l’analyse topologique de données et de visualiser ces analyses dans le logiciel ParaView (https://www.paraview.org/). TTK permet de transformer les données en une information concise sur leur topologie en s’appuyant sur une théorie mathématique solide. Ceci permet ensuite de comparer efficacement des données de grande taille. Cette bibliothèque est utilisée dans beaucoup de domaines, allant de l’imagerie médicale à la simulation de fluides turbulents. L’objectif de ce stage est d’utiliser cette bibliothèque dans le cadre des tests de non-régression d’un code de simulation, à la fois pour orienter la sélection des cas de test et pour rendre un verdict sur l’exécution d’un cas de test. Pour tout logiciel, il est nécessaire de mettre en place une suite de tests afin de s’assurer que les nouveaux développements n’introduisent pas de régression. Dans le cas spécifique des codes de simulation, plusieurs difficultés apparaissent à la fois dans le choix des cas de tests à inclure dans la suite de test (le choix des données d’entrée), et dans la vérification des résultats vis-à-vis de leur référence respective (le choix de l’oracle). Pour ce qui est du choix des cas de test, la question est de s’assurer que deux tests n’ont pas des jeux de données trop proches, afin d’éviter les tests redondants. Le maillage faisant partie du jeu de données d’un cas de test, évaluer la distance entre deux maillages constitue une étape importante dans la comparaison entre deux cas de test. Utiliser une métrique mathématique appropriée (le cas échéant, obtenue par analyse topologique) devrait être un outil beaucoup plus fiable que, par exemple, le nombre de mailles et la distance minimale nœud à nœud. Dans le cas de la validation des cas de test, on souhaite s’assurer que les résultats obtenus après intégration des modifications du code source sont bien similaires sur le plan physique à leur référence respective. En particulier, il est important d’avoir une métrique qui soit tolérante aux petites perturbations tout en détectant les éventuelles régressions. Ce stage propose d’expérimenter l’utilisation de TTK afin d’analyser ces deux problématiques au travers de l’analyse topologique, ce qui ouvre la porte à l’exploration de techniques de test tenant compte les particularités des codes de simulation. Conformément aux engagements pris par le CEA en faveur de l'intégration des personnes handicapées, cet emploi est ouvert à toutes et à tous. Le CEA propose des aménagements et/ou des possibilités d'organisation pour l’inclusion des travailleurs handicapés. Participant à la protection nationale, une enquête administrative est réalisée pour tous les collaborateurs du CEA afin d'assurer l'intégrité et la sécurité de la nation.