Ce projet vise à trouver de nouvelles méthodes pour améliorer les approches de test utilisées pour valider la certifiabilité des spécificités des Réseaux de Neurones Profonds (DNN).
Le test métamorphique est une technique de test consistant à utiliser des relations de préservation sémantique afin de générer un pseudo-oracle. Ce type de technique est souvent utilisé pour tester des systèmes pour lesquels les oracles réels sont difficiles à obtenir, comme c’est le cas pour les DNN. Bien que plusieurs techniques appliquées aux DNN existent déjà, elles utilisent simplement les relations comme un proxy pour générer de nouvelles données, et ne considèrent pas les relations comme une propriété générale du modèle. Le but de ce projet est d’étudier un tel comportement, en particulier comment sélectionner et/ou générer les relations, et comment s’assurer qu’elles sont valides par rapport au modèle sur lequel on souhaite les tester.
Équipe du projet
PDF - HOMRS:HighOrderMetamorphic Relations Selector for Deep Neural Networks