Case-based reasoning to enhance diagnosis and CSP model debugging in interoperability testing: ADIOP

Mohammed H. Sqalli; Eugene C. Freuder

Case-based reasoning to enhance diagnosis and CSP model debugging in interoperability testing: ADIOP

Mohammed H. Sqalli
, Eugene C. Freuder

Research output: Chapter in Book/Report/Conference proceedings › Conference proceeding › peer-review

Abstract

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.

Original language	English
Title of host publication	Proceedings of the IASTED International Conference on Intelligent Systems and Control
Editors	M.H. Hamza, M.H. Hamza
Pages	424-429
Number of pages	6
Publication status	Published - 2003
Event	Proceedings of the IASTED International Conference on Intelligent Systems and Control - Salzburg, Austria Duration: 25 Jun 2003 → 27 Jun 2003

Publication series

Name	Proceedings of the IASTED International Conference on Intelligent Systems and Control

Conference

Conference	Proceedings of the IASTED International Conference on Intelligent Systems and Control
Country/Territory	Austria
City	Salzburg
Period	25/06/03 → 27/06/03

Keywords

Case-Based Reasoning
Constraint Satisfaction
Diagnosis
Intelligent Data Systems and Computing

Cite this

Sqalli, Mohammed H. ; Freuder, Eugene C. / Case-based reasoning to enhance diagnosis and CSP model debugging in interoperability testing : ADIOP. Proceedings of the IASTED International Conference on Intelligent Systems and Control. editor / M.H. Hamza ; M.H. Hamza. 2003. pp. 424-429 (Proceedings of the IASTED International Conference on Intelligent Systems and Control).

@inproceedings{1f718c8ca1f8495b816819c12d917008,

title = "Case-based reasoning to enhance diagnosis and CSP model debugging in interoperability testing: ADIOP",

abstract = "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.",

keywords = "Case-Based Reasoning, Constraint Satisfaction, Diagnosis, Intelligent Data Systems and Computing",

author = "Sqalli, \{Mohammed H.\} and Freuder, \{Eugene C.\}",

year = "2003",

language = "English",

isbn = "0889863555",

series = "Proceedings of the IASTED International Conference on Intelligent Systems and Control",

pages = "424--429",

editor = "M.H. Hamza and M.H. Hamza",

booktitle = "Proceedings of the IASTED International Conference on Intelligent Systems and Control",

note = "Proceedings of the IASTED International Conference on Intelligent Systems and Control ; Conference date: 25-06-2003 Through 27-06-2003",

}

Sqalli, MH & Freuder, EC 2003, Case-based reasoning to enhance diagnosis and CSP model debugging in interoperability testing: ADIOP. in MH Hamza & MH Hamza (eds), Proceedings of the IASTED International Conference on Intelligent Systems and Control. Proceedings of the IASTED International Conference on Intelligent Systems and Control, pp. 424-429, Proceedings of the IASTED International Conference on Intelligent Systems and Control, Salzburg, Austria, 25/06/03.

Case-based reasoning to enhance diagnosis and CSP model debugging in interoperability testing: ADIOP. / Sqalli, Mohammed H.; Freuder, Eugene C.
Proceedings of the IASTED International Conference on Intelligent Systems and Control. ed. / M.H. Hamza; M.H. Hamza. 2003. p. 424-429 (Proceedings of the IASTED International Conference on Intelligent Systems and Control).

Research output: Chapter in Book/Report/Conference proceedings › Conference proceeding › peer-review

TY - GEN

T1 - Case-based reasoning to enhance diagnosis and CSP model debugging in interoperability testing

T2 - Proceedings of the IASTED International Conference on Intelligent Systems and Control

AU - Sqalli, Mohammed H.

AU - Freuder, Eugene C.

PY - 2003

Y1 - 2003

N2 - 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.

AB - 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.

KW - Case-Based Reasoning

KW - Constraint Satisfaction

KW - Diagnosis

KW - Intelligent Data Systems and Computing

UR - https://www.scopus.com/pages/publications/1542433709

M3 - Conference proceeding

AN - SCOPUS:1542433709

SN - 0889863555

T3 - Proceedings of the IASTED International Conference on Intelligent Systems and Control

SP - 424

EP - 429

BT - Proceedings of the IASTED International Conference on Intelligent Systems and Control

A2 - Hamza, M.H.

Y2 - 25 June 2003 through 27 June 2003

ER -

Case-based reasoning to enhance diagnosis and CSP model debugging in interoperability testing: ADIOP

Abstract

Publication series

Conference

Keywords

Other files and links

Fingerprint

Cite this