CASE-BASED REASONING TO ENHANCE DIAGNOSIS AND CSP MODEL DEBUGGING IN INTEROPERABILITY TESTING: ADIOP

摘要

ADIOP is an application for Automated Diagnosis of Interoperability Problems. Interoperability testing involves checking the degree of compatibility between two networking devices that implement the same protocol. Modeling, Diagnosis, and Model Debugging are the three main areas addressed by ADIOP. ADIOP proposes a framework that uses the Constraint Satisfaction Problem (CSP) paradigm to define a modeling language and problem solving mechanism for interoperability testing, and uses Case-Based Reasoning (CBR) for debugging interoperability test cases. The specific domain of application is interoperability testing of protocols in Asynchronous Transfer Mode (ATM) networks. The primary contributions of this paper is the detection and debugging of incompleteness and incorrectness in CSP models of interoperability test cases, and the improvement of the diagnosis of interoperability problems. This is done through the integration of two modes of reasoning, namely CBR and CSP. CBR manages cases that store information about updating models as well as cases that are related to interoperability problems where diagnosis in ADIOP fails to generate a useful explanation. For the latter cases, CBR recalls previous similar useful explanations.