Dear Sirs,

Currently I am a consultant with DHL International. My new assignment
includes the validation and verification of rules in an expert system.
It is just a component of a larger system. It is written in Allegro
Common LISP, with GBB (object oriented-blackboard architecture). It was
developed some years ago, but when new developers try to modify rules
and constraints, it starts showing problems.

There is very limited documentation (almost nil) on the system
architecture. So it will be very helpful to understand the architecture
and logic of the system.

The system is comprised of about 1,800 files. I have some source files
(about 88) and this has been very useful in gaining some insight on the
system. I could understand some of it since the expert system I wrote
many years ago at CMU, a crude oil trade advisor, had a very similar
structure. It was written in LISP, on KEE as the expert system shell.

I performed a desk check of selected files. I am ready to start running
test cases, and I was wondering if there is any advice on other tools or
methodology for the validation and verification of rules for this type
of system.

May be somebody could give me some advice. I would really appreciate any
input.

Sincerely,

Olga Doldan White, Ph. D.