東華大學圖書館 |

Language: English

Help

回圖書館首頁

手機版館藏查詢

Back

Switch To: Labeled | MARC Mode | ISBD

Diagnosing interoperability problems...

Sqalli, Mohammed Houssaini.

Linked to FindBook

Google Book

Amazon

博客來

Diagnosing interoperability problems and debugging models by enhancing constraint satisfaction with case-based reasoning.

Record Type:	Electronic resources : Monograph/item
Title/Author:	Diagnosing interoperability problems and debugging models by enhancing constraint satisfaction with case-based reasoning./
Author:	Sqalli, Mohammed Houssaini.
Description:	281 p.
Notes:	Source: Dissertation Abstracts International, Volume: 63-03, Section: B, page: 1435.
Contained By:	Dissertation Abstracts International63-03B.
Subject:	Computer Science. -
Online resource:	http://pqdd.sinica.edu.tw/twdaoapp/servlet/advanced?query=3045339
ISBN:	049359163X

Diagnosing interoperability problems and debugging models by enhancing constraint satisfaction with case-based reasoning.
Sqalli, Mohammed Houssaini.

Diagnosing interoperability problems and debugging models by enhancing constraint satisfaction with case-based reasoning. - 281 p.

Source: Dissertation Abstracts International, Volume: 63-03, Section: B, page: 1435.

Thesis (Ph.D.)--University of New Hampshire, 2002.

Modeling, Diagnosis, and Model Debugging are the three main areas presented in this dissertation to automate the process of Interoperability Testing of networking protocols. The dissertation 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.

ISBN: 049359163XSubjects--Topical Terms:

626642
Computer Science.

Diagnosing interoperability problems and debugging models by enhancing constraint satisfaction with case-based reasoning.
LDR:02939nmm 2200289 4500 001 1865987
005 20041220114112.5
008 130614s2002 eng d
020 $a 049359163X
035 $a (UnM)AAI3045339
035 $a AAI3045339
040 $a UnM $c UnM
100 1 $a Sqalli, Mohammed Houssaini. $3 1953405
245 1 0 $a Diagnosing interoperability problems and debugging models by enhancing constraint satisfaction with case-based reasoning.
300 $a 281 p.
500 $a Source: Dissertation Abstracts International, Volume: 63-03, Section: B, page: 1435.
500 $a Director: Eugene C. Freuder.
502 $a Thesis (Ph.D.)--University of New Hampshire, 2002.
520 $a Modeling, Diagnosis, and Model Debugging are the three main areas presented in this dissertation to automate the process of Interoperability Testing of networking protocols. The dissertation 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.
520 $a The dissertation makes three primary contributions: (1) Definition of a new modeling language using CSP and Object-Oriented Programming. This language is simple, declarative, and transparent. It provides a tool for testers to implement models of interoperability test cases. The dissertation introduces the notions of metavariables, metavalues and optional metavariables to improve the modeling language capabilities. It proposes modeling of test cases from test suite specifications that are usually used in interoperability testing performed manually by testers. Test suite specifications are written by organizations or individuals and break down the testing into modules of test cases that make diagnosis of problems more meaningful to testers. (2) Diagnosis of interoperability problems using search supplemented by consistency inference methods in a CSP context to support explanations of the problem solving behavior. These methods are adapted to the OO-based CSP context. Testers can then generate reports for individual test cases and for test groups from a test suite specification. (3) Detection and debugging of incompleteness and incorrectness in CSP models of interoperability test cases. 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 fails to generate a useful explanation. For the latter cases, CBR recalls previous similar useful explanations.
590 $a School code: 0141.
650 4 $a Computer Science. $3 626642
650 4 $a Engineering, System Science. $3 1018128
690 $a 0984
690 $a 0790
710 2 0 $a University of New Hampshire. $3 1017788
773 0 $t Dissertation Abstracts International $g 63-03B.
790 1 0 $a Freuder, Eugene C., $e advisor
790 $a 0141
791 $a Ph.D.
792 $a 2002
856 4 0 $u http://pqdd.sinica.edu.tw/twdaoapp/servlet/advanced?query=3045339