• Login
    View Item 
    •   DSpace Home
    • AUS Theses & Dissertations
    • Masters Theses
    • View Item
    •   DSpace Home
    • AUS Theses & Dissertations
    • Masters Theses
    • View Item
    JavaScript is disabled for your browser. Some features of this site may not work without it.

    Fault Coverage and Diagnosis of Protocols and Systems Modeled As Extended Finite State Machines

    Thumbnail
    View/ Open
    35.232-2015.08 Mark Habib Hassoun.pdf (3.116Mb)
    Date
    2015-01
    Author
    Hassoun, Mark Habib
    Advisor(s)
    El Fakih, Khaled
    Type
    Thesis
    Metadata
    Show full item record
    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.
    Abstract
    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.
    DSpace URI
    http://hdl.handle.net/11073/7759
    Collections
    • Masters Theses

    Browse

    All of DSpaceCommunities & CollectionsBy Issue DateAuthorsTitlesSubjectsCollege/DeptArchive ReferenceSeriesThis CollectionBy Issue DateAuthorsTitlesSubjectsCollege/DeptArchive ReferenceSeries

    My Account

    LoginRegister

    Statistics

    View Usage Statistics

    DSpace software copyright © 2002-2016  DuraSpace
    Submission Policies | Terms of Use | Takedown Policy | Privacy Policy | About Us | Contact Us | Send Feedback

    Return to AUS
    Theme by 
    Atmire NV