SYCOJET: a tool for building automatically sets of test for knowledge bases
Laurence Vignollet, Marc Ayel · Proceedings of SPIE, the International Society for Optical Engineering/Proceedings of SPIE · 1990
Today, Software Engineering for classic software is an integral part of the daily life of the software programmer. So it's hardly surprising that same process may be undertaken for the Knowledge-Based Systems, to guarantee the quality and validity of these systems. We are concerned with the validation of the Knowledge Base by using testing methods. We propose a method for building test samples by compiling the Rule Base in a peculiar graph : the Precedence Graph. Also, this allows us to transpose some classic quality criteria to Knowledge Bases. We have implemented the described method : SYCOJET is an automatic sets of test builder for Knowledge Bases.