Bridging the Gap Between Slicing and Model-based Diagnosis.

摘要: Fault localization is considered an important and difficult task in the software engineering process. In last decades several approaches to fault have been published. Some of them are based on either static or dynamic program slicing. this paper, we present approach that combines slicing with computation hitting sets. Hitting sets used model-based diagnosis compute diagnoses from conflicting assumptions. We introduce underlying definitions algorithms approach, show combination set reduces number statement be considered. The presented does not rely a specific methodology can