Model-Based Testing and Validation on Knowledge-based Systems
In this paper, we discuss how to view a Knowledge-based system as a model leads to certain criteria for testing methodologies. This includes a discussion of how certain mathematical techniques for testing Knowledge-based systems can be used as criteria for Knowledge-based system adequacy when no other models are available. We give an example of an error due to widespread rule interactions. Such errors are keys to understanding why the independent rule assumption does not work, and even why Knowledge-based systems must be modeled. We examine how testing can be applied both to individual system components as well as to the system as a whole, different criteria by which a set of test cases can be assembled and the problems in determining whether the performance of a KBS on a set of test cases is acceptable.
Gang Liu Qun Liu Peng Xie
College of Computer Science and Technology, Harbin Engineering University, Harbin, Heilongjiang, CO 150001 CHINA
国际会议
2007年IEEE灰色系统与智能服务国际会议(2007 IEEE International Conference on Grey Systems and Intelligent Services)
南京
英文
2007-11-18（万方平台首次上网日期，不代表论文的发表时间）