Verification and Validation of Knowledge Based Systems

The goal of this talk is to show that the set of available Validation and Verification (V&V) tools could be larger for Knowledge-Based Systems (KBSs) than for classical software. All the tools which use a black box approach may be applied on KBSs and a great number of glass box tools can be adapted to KBSs. For example the test-data generation is really effective with KBSs.