Fault Coverage and Diagnosis of Protocols and Systems Modeled As Extended Finite State Machines
A Master of Science thesis in Computer Engineering by Mark Habib Hassoun entitled, "Fault Coverage and Diagnosis of Protocols and Systems Modeled As Extended Finite State Machines," submitted in January 2015. Thesis advisor is Dr. Khaled El-Fakih Available in both soft and hard copy.
محفوظ في:
| المؤلف الرئيسي: | |
|---|---|
| التنسيق: | doctoralThesis |
| منشور في: |
2015
|
| الموضوعات: | |
| الوصول للمادة أونلاين: | http://hdl.handle.net/11073/7759 |
| الوسوم: |
إضافة وسم
لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!
|
| _version_ | 1864513433998721024 |
|---|---|
| author | Hassoun, Mark Habib |
| author_facet | Hassoun, Mark Habib |
| author_role | author |
| dc.contributor.none.fl_str_mv | El Fakih, Khaled |
| dc.creator.none.fl_str_mv | Hassoun, Mark Habib |
| dc.date.none.fl_str_mv | 2015-04-13T08:26:16Z 2015-04-13T08:26:16Z 2015-01 |
| dc.format.none.fl_str_mv | application/pdf |
| dc.identifier.none.fl_str_mv | 35.232-2015.08 http://hdl.handle.net/11073/7759 |
| dc.language.none.fl_str_mv | en_US |
| dc.subject.none.fl_str_mv | Extended Finite State Machine Fault Diagnosis Test Derivation Test Assessment Software Engineering Software Testing Mutation Testing Conformance Tests Sequential machine theory Computer software Testing Software failures Software engineering |
| dc.title.none.fl_str_mv | Fault Coverage and Diagnosis of Protocols and Systems Modeled As Extended Finite State Machines |
| dc.type.none.fl_str_mv | info:eu-repo/semantics/publishedVersion info:eu-repo/semantics/doctoralThesis |
| description | A Master of Science thesis in Computer Engineering by Mark Habib Hassoun entitled, "Fault Coverage and Diagnosis of Protocols and Systems Modeled As Extended Finite State Machines," submitted in January 2015. Thesis advisor is Dr. Khaled El-Fakih Available in both soft and hard copy. |
| format | doctoralThesis |
| id | aus_9d680e390e0e943e4fb08cd80d6f076e |
| identifier_str_mv | 35.232-2015.08 |
| language_invalid_str_mv | en_US |
| network_acronym_str | aus |
| network_name_str | aus |
| oai_identifier_str | oai:repository.aus.edu:11073/7759 |
| publishDate | 2015 |
| repository.mail.fl_str_mv | |
| repository.name.fl_str_mv | |
| repository_id_str | |
| spelling | Fault Coverage and Diagnosis of Protocols and Systems Modeled As Extended Finite State MachinesHassoun, Mark HabibExtended Finite State MachineFault DiagnosisTest DerivationTest AssessmentSoftware EngineeringSoftware TestingMutation TestingConformance TestsSequential machine theoryComputer softwareTestingSoftware failuresSoftware engineeringA Master of Science thesis in Computer Engineering by Mark Habib Hassoun entitled, "Fault Coverage and Diagnosis of Protocols and Systems Modeled As Extended Finite State Machines," submitted in January 2015. Thesis advisor is Dr. Khaled El-Fakih Available in both soft and hard copy.Automatic test derivation from formal specifications offers a rigorous discipline to functional conformance testing. In various application domains, such as communication protocols and other reactive systems, the specification can be represented in the form of an Extended Finite State Machine (EFSM). Many methods can be used for deriving test suites from an EFSM specification. In practice, developing and applying these test suites to an Implementation Under Test (IUT) is time consuming and costly. Thus, it is desirable to determine high quality test suites in order to reduce the cost of testing. To this end, in the first part of this thesis, using six realistic application examples, we conduct experiments, assess, determine the fault coverage, and accordingly rank various known types of EFSM-based test suites. While the purpose of conformance testing is to check if an IUT is different from its specification, an interesting, complementary, yet more complex step, is called fault diagnosis or diagnostic testing. The objective of fault diagnosis is to determine the faulty implementation, and thus find the differences between the specification and its implementation. In the second part of this thesis, we present a diagnostic method, conduct experiments, and assess the fault localization capabilities of the EFSM-based test suites considered in the first part of the thesis. The fault localization capability of a test suite is determined for many types of diagnostic candidates, representing possibly faulty EFSM implementations, such as candidates with single or double transfer faults, candidates with single assignment faults, and many other types of candidates. In addition, for each considered test suite, the method determines the diagnostic tests required, in addition to the considered test suite, for locating a faulty EFSM IUT.College of EngineeringDepartment of Computer Science and EngineeringMaster of Science in Computer Engineering (MSCoE)El Fakih, Khaled2015-04-13T08:26:16Z2015-04-13T08:26:16Z2015-01info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/doctoralThesisapplication/pdf35.232-2015.08http://hdl.handle.net/11073/7759en_USoai:repository.aus.edu:11073/77592025-06-26T12:27:48Z |
| spellingShingle | Fault Coverage and Diagnosis of Protocols and Systems Modeled As Extended Finite State Machines Hassoun, Mark Habib Extended Finite State Machine Fault Diagnosis Test Derivation Test Assessment Software Engineering Software Testing Mutation Testing Conformance Tests Sequential machine theory Computer software Testing Software failures Software engineering |
| status_str | publishedVersion |
| title | Fault Coverage and Diagnosis of Protocols and Systems Modeled As Extended Finite State Machines |
| title_full | Fault Coverage and Diagnosis of Protocols and Systems Modeled As Extended Finite State Machines |
| title_fullStr | Fault Coverage and Diagnosis of Protocols and Systems Modeled As Extended Finite State Machines |
| title_full_unstemmed | Fault Coverage and Diagnosis of Protocols and Systems Modeled As Extended Finite State Machines |
| title_short | Fault Coverage and Diagnosis of Protocols and Systems Modeled As Extended Finite State Machines |
| title_sort | Fault Coverage and Diagnosis of Protocols and Systems Modeled As Extended Finite State Machines |
| topic | Extended Finite State Machine Fault Diagnosis Test Derivation Test Assessment Software Engineering Software Testing Mutation Testing Conformance Tests Sequential machine theory Computer software Testing Software failures Software engineering |
| url | http://hdl.handle.net/11073/7759 |