ABSTRACT
The potential for effectual verification and validation of rulebased expert systems is exhibited in SAVES and the recommenda tions of this book. However, investigation into expert system verification and validation is in its infancy. We introduce several areas of research which are open to continued investigation. These areas are the generation of test case suggestions, coverage analysis techniques, complexity of the knowledge base, effect of different representational paradigms, incorporation of verification and validation into one development environment, tools for static and dynamic verification, and application of verification and vali dation concepts to neural networks.
