Testing a KBS Using a Conceptual Model

Book One

Volume

Proceedings of the AAAI Conference on Artificial Intelligence, 12

Student Abstracts

We propose a KBS testing procedure that uses a KADS conceptual model (CM). The set of Vandd Inference Paths is derived from the inference structure, and, a "high level" trace, representing the Czsrrernt Inference Path, is built using the links established between the CM and the KBS. The comparison of this trace to the VIP can lead to modify either the code or the CM.