Title :
Rule-based system validation through automatic identification of equivalence classes
Author :
Rosenwald, Gary W. ; Liu, Chen-Ching
Author_Institution :
Dept. of Electr. Eng., Washington Univ., Seattle, WA, USA
Abstract :
The proposed validation method identifies equivalence classes for fundamental tasks in a rule based system to help identify incorrect knowledge and rule inconsistencies. The proposed method validates the entire input domain of a pre existing rule based system by using symbolic execution to determine the conditions under which tasks may be instantiated
Keywords :
equivalence classes; knowledge based systems; knowledge verification; program verification; automatic identification; equivalence classes; fundamental tasks; incorrect knowledge; input domain; pre existing rule based system; rule based system validation; rule inconsistencies; symbolic execution; task instantiation; validation method; Electronic switching systems; Expert systems; Fault diagnosis; Knowledge based systems; Process design; Software systems; Software testing; System testing;
Journal_Title :
Knowledge and Data Engineering, IEEE Transactions on
