Abstract FR:

Notre travail consiste à exploiter un modèle conceptuel « à la KADS » comme un ensemble de spécifications pour une validation au niveau connaissance des systèmes à base de connaissances. Nous proposons une méthode s'inspirant du test en boite blanche et utilisant des spécifications « à la KADS » et reconstruites en reverse-engineering. Cette méthode consiste à construire un chemin d'inférence courant (CIC), c'est-à-dire une abstraction au niveau des connaissances d'une trace de niveau code. Ce CIC est ensuite comparé à l'ensemble des chemins d'inférences valides (CIV) dérivé de la structure d'inférence de notre modèle conceptuel. Lorsque le CIC appartient à CIV, la procédure de test est itérée sur d'autres données de test ; sinon l'expert intervient pour indiquer si ce CIC est un chemin d'inférence valide, auquel cas CIV et la structure d'inférence sont mis à jour, ou s'il est invalide, auquel cas le code doit être corrigé. Cette méthode permet ainsi de faire évoluer le SBC et son modèle conceptuel pour que la tache assignée au SBC soit effectivement réalisée. Cette méthode a été utilisée pour valider un prototype, le système AMD, dont nous avons reconstruit un modèle conceptuel en reverse-engineering. Cela nous a permis de détecter certaines erreurs au niveau d'AMD et de mettre au jour le fait qu'un modèle conceptuel « à la KADS » doit être exprimé en terme de connaissances du domaine pour être exploitable dans une phase de validation.