Fault detection in Rule-based Software systems

Dong Wang

doi:10.1016/S0950-5849(03)00065-X

2003-09-01

PRE

Dong Wang *

Ruibing Hao

David Lee

DOI：10.1016/S0950-5849(03)00065-X

原文链接

原文求助

摘要

En 中文

Motivated by packet filtering of firewall systems in Internet applications, we study the fault detection problem in the general Rule-based Software systems. We discuss algorithms for the detection of conflicts in a given set of rules. We first study a constrained version of the fault detection problem and propose a two-phase algorithm. The first phase is to do the rule normalization. The second phase is to detect conflicting rules. For this constrained version of the fault detection problem, the algorithm takes polynomial time. For the general problem, it is NP-hard. We apply the algorithms to the Rule Table getting from one of the firewalls in Bell Labs and report the experiment result. (C) 2003 Elsevier B.V. All rights reserved.

Keyword:

Rule-based Software system

fault detection

packet filter