Fault detection in Rule-based Software systems

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

Return

Fault detection in Rule-based Software systems

2003-09-01

PRE

Dong Wang *

Ruibing Hao

David Lee

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

Original

Original request for help

Save

Abstract

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.

Keywords:

Rule-based Software system

fault detection

packet filter

AI Summary

Key information extracted from the uploaded paper, including a brief overview, abstract, background, key highlights, visual analysis, and future outlook.