Abstract FR:

La complexité des équipements numériques entraîne une difficulté croissante des tâches de vérification de ces équipements tout au long de leur vie: conception, production, industrialisation et maintenance. Chacune de ces étapes induit des modes de défaillances spécifiques et nécessite des méthodes de vérification adaptées. Alors que des méthodes et outils de génération de test ont été développés pour les étapes de conception et production, les vérifications en phase opérationnelle sont restées très empiriques, et font largement appel à l'expertise des ingénieurs de maintenance. C'est pourquoi nous nous sommes intéressés à la maintenance préventive/curative des systèmes numériques. L'objectif était de concevoir une stratégie qui organise l'exécution de fonctions élémentaires de test en fonction du type de vérification (prévention, correction) et des contraintes à prendre en compte. Cette stratégie fournit une spécification fonctionnelle du programme de maintenance. Le problème rencontré est équivalent à un problème de couverture d'une matrice booléenne. Nous avons proposé et validé: ― des méthodes de résolution classique: multiplication directe, branchement par ligne et par colonne, arbre sémantique; le problème à résoudre est équivalent à un problème de conversion d'une formule normale conjonctive en une formule normale équivalente disjonctive (CFN-DFN). C'est un problème NP-complet. Ces méthodes de résolution fournissent toutes les solutions minimales en minimisant la complexité des algorithmes appliqués et le temps de calcul nécessaire; ― une méthode heuristique fondée sur des techniques d'Intelligence Artificielle: ce type de résolution fournit une solution optimale par rapport à un ensemble de critères donnés. Un certain nombre de systèmes à base de techniques d'I. A. Ayant été développés dans les différents domaines du test: diagnostic, génération des stimuli, maintenance et réparation, nous avons mené une analyse comparative et fait une synthèse sur l'ensemble des solutions de type système expert. Le système OPS5, à base de productions, a été utilisé pour la programmation de ces différentes méthodes, et leur validation sur des cartes réelles