Testing and Assessment of Protocols and Systems Modeled as Extended Finite State Machines
A Master of Science thesis in Computer Engineering by Tariq Mohammad Salameh entitled, "Testing and Assessment of Protocols and Systems Modeled as Extended Finite State Machines," submitted in June 2013. Thesis advisor is Dr. Khaled El Fakih. Available are both soft and hard copies of the...
Saved in:
| Main Author: | |
|---|---|
| Format: | doctoralThesis |
| Published: |
2013
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/11073/5906 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1864513433440878592 |
|---|---|
| author | Salameh, Tariq Mohammad |
| author_facet | Salameh, Tariq Mohammad |
| author_role | author |
| dc.contributor.none.fl_str_mv | El Fakih, Khaled |
| dc.creator.none.fl_str_mv | Salameh, Tariq Mohammad |
| dc.date.none.fl_str_mv | 2013-09-11T08:18:08Z 2013-09-11T08:18:08Z 2013-06 |
| dc.format.none.fl_str_mv | application/pdf application/vnd.openxmlformats-officedocument.presentationml.presentation application/pdf |
| dc.identifier.none.fl_str_mv | 35.232-2013.33 http://hdl.handle.net/11073/5906 |
| dc.language.none.fl_str_mv | en_US |
| dc.subject.none.fl_str_mv | extended finite state machine, mutation testing code based mutation testing test derivation Computer software Testing |
| dc.title.none.fl_str_mv | Testing and Assessment 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 Tariq Mohammad Salameh entitled, "Testing and Assessment of Protocols and Systems Modeled as Extended Finite State Machines," submitted in June 2013. Thesis advisor is Dr. Khaled El Fakih. Available are both soft and hard copies of the thesis. |
| format | doctoralThesis |
| id | aus_1c14323b4ea969e28ba85e3a6802db44 |
| identifier_str_mv | 35.232-2013.33 |
| language_invalid_str_mv | en_US |
| network_acronym_str | aus |
| network_name_str | aus |
| oai_identifier_str | oai:repository.aus.edu:11073/5906 |
| publishDate | 2013 |
| repository.mail.fl_str_mv | |
| repository.name.fl_str_mv | |
| repository_id_str | |
| spelling | Testing and Assessment of Protocols and Systems Modeled as Extended Finite State MachinesSalameh, Tariq Mohammadextended finite state machine,mutation testingcode based mutation testingtest derivationComputer softwareTestingA Master of Science thesis in Computer Engineering by Tariq Mohammad Salameh entitled, "Testing and Assessment of Protocols and Systems Modeled as Extended Finite State Machines," submitted in June 2013. Thesis advisor is Dr. Khaled El Fakih. Available are both soft and hard copies of the thesis.Developing and selecting an appropriate test suite is an important issue for testing implementations of protocols and other reactive software systems. Many methods are known for the derivation of test suites based on a specification given in the form of Extended Finite State Machine (EFSM). In practice, developing test suites and applying these test suites to an implementation under test is time consuming and costly. Thus, determining high quality test suites reduces the cost of software testing. To this end, in this thesis, we first assess and compare the coverage of test suites derived using known EFSM-Based test derivation criteria and test suites derived using the traditional Data-Flow and Control-Flow criteria. In addition, we assess and compare the coverage of these test suites with randomly generated test suites. Finally, we propose an EFSM-Based test derivation method that derives tests with the guaranteed coverage of transfer faults. Experiments comparing the fault detection capability of derived tests with those derived using the considered EFSM-Based, random, and the traditional Data-Flow and Control-Flow testing criteria are presented.College of EngineeringDepartment of Computer Science and EngineeringMaster of Science in Computer Engineering (MSCoE)El Fakih, Khaled2013-09-11T08:18:08Z2013-09-11T08:18:08Z2013-06info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/doctoralThesisapplication/pdfapplication/vnd.openxmlformats-officedocument.presentationml.presentationapplication/pdf35.232-2013.33http://hdl.handle.net/11073/5906en_USoai:repository.aus.edu:11073/59062025-06-26T12:25:54Z |
| spellingShingle | Testing and Assessment of Protocols and Systems Modeled as Extended Finite State Machines Salameh, Tariq Mohammad extended finite state machine, mutation testing code based mutation testing test derivation Computer software Testing |
| status_str | publishedVersion |
| title | Testing and Assessment of Protocols and Systems Modeled as Extended Finite State Machines |
| title_full | Testing and Assessment of Protocols and Systems Modeled as Extended Finite State Machines |
| title_fullStr | Testing and Assessment of Protocols and Systems Modeled as Extended Finite State Machines |
| title_full_unstemmed | Testing and Assessment of Protocols and Systems Modeled as Extended Finite State Machines |
| title_short | Testing and Assessment of Protocols and Systems Modeled as Extended Finite State Machines |
| title_sort | Testing and Assessment of Protocols and Systems Modeled as Extended Finite State Machines |
| topic | extended finite state machine, mutation testing code based mutation testing test derivation Computer software Testing |
| url | http://hdl.handle.net/11073/5906 |