论文信息 - Reliability Testing of Rule-Based Systems

Reliability Testing of Rule-Based Systems

Rule-based software systems are becoming more common in industrial settings, particularly to monitor and control large, real-time systems. The authors describe an algorithm for reliability testing of rule-based systems and their experience using it to test an industrial network surveillance system.

Elaine J. Weyuker | Alberto Avritzer | Johannes P. Ros | Alberto Avritzer | E. Weyuker

[1] Allen Ginsberg. Knowledge-Base Reduction: A New Approach to Checking knowledge Bases for Inconsistency and Redundancy , 1988, AAAI.

[2] James D. Kiper. Structural testing of rule-based expert systems , 1992, TSEM.

[3] Harold J. Steudel,et al. A Decision-Table-Based Processor for Checking Completeness and Consistency in Rule-Based Expert Systems , 1987, Int. J. Man Mach. Stud..

[4] Rolf Stachowitz,et al. Validation of knowledge-based systems , 1987 .

[5] James M. Crawford,et al. Experimental Results on the Crossover Point in Random 3-SAT , 1996, Artif. Intell..

[6] Tin A. Nguyen,et al. Knowledge base verification , 1987 .

[7] Peter F. Patel-Schneider,et al. Path-Based Rules in Object-Oriented Programming , 1996, AAAI/IAAI, Vol. 1.

[8] Elaine J. Weyuker,et al. The Automatic Generation of Load Test Suites and the Assessment of the Resulting Software , 1995, IEEE Trans. Software Eng..

[9] Walton A. Perkins,et al. Checking an Expert Systems Knowledge Base for Consistency and Completeness , 1985, IJCAI.

[10] Alun D. Preece,et al. Exploring the Structure of Rule Based Systems , 1993, AAAI.

[11] Edward H. Shortliffe,et al. An Approach to Verifying Completeness and Consistency in a Rule-Based Expert System , 1982, AI Mag..