On Studying the Effectiveness of Extended Finite State Machine Based Test Selection Criteria
A Master of Science thesis in Computer Engineering by Noshad Khan Jadoon entitled, "On Studying the Effectiveness of Extended Finite State Machine Based Test Selection Criteria," submitted in July 2015. Thesis advisor is Dr. Khaled El-Fakih. Soft and hard copy available.
Saved in:
| Main Author: | |
|---|---|
| Format: | doctoralThesis |
| Published: |
2015
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/11073/7869 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1864513438814830592 |
|---|---|
| author | Jadoon, Noshad Khan |
| author_facet | Jadoon, Noshad Khan |
| author_role | author |
| dc.contributor.none.fl_str_mv | El Fakih, Khaled |
| dc.creator.none.fl_str_mv | Jadoon, Noshad Khan |
| dc.date.none.fl_str_mv | 2015-09-07T05:36:43Z 2015-09-07T05:36:43Z 2015-07 |
| dc.format.none.fl_str_mv | application/pdf |
| dc.identifier.none.fl_str_mv | 35.232-2015.38 http://hdl.handle.net/11073/7869 |
| dc.language.none.fl_str_mv | en_US |
| dc.subject.none.fl_str_mv | Extended Finite State Machine Model Based Testing Mutation Testing Test Derivation Test Assessment Software Engineering Software Testing Sequential machine theory Software engineering |
| dc.title.none.fl_str_mv | On Studying the Effectiveness of Extended Finite State Machine Based Test Selection Criteria |
| 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 Noshad Khan Jadoon entitled, "On Studying the Effectiveness of Extended Finite State Machine Based Test Selection Criteria," submitted in July 2015. Thesis advisor is Dr. Khaled El-Fakih. Soft and hard copy available. |
| format | doctoralThesis |
| id | aus_34fddc9239e205fc479a313c63a21ded |
| identifier_str_mv | 35.232-2015.38 |
| language_invalid_str_mv | en_US |
| network_acronym_str | aus |
| network_name_str | aus |
| oai_identifier_str | oai:repository.aus.edu:11073/7869 |
| publishDate | 2015 |
| repository.mail.fl_str_mv | |
| repository.name.fl_str_mv | |
| repository_id_str | |
| spelling | On Studying the Effectiveness of Extended Finite State Machine Based Test Selection CriteriaJadoon, Noshad KhanExtended Finite State MachineModel Based TestingMutation TestingTest DerivationTest AssessmentSoftware EngineeringSoftware TestingSequential machine theorySoftware engineeringA Master of Science thesis in Computer Engineering by Noshad Khan Jadoon entitled, "On Studying the Effectiveness of Extended Finite State Machine Based Test Selection Criteria," submitted in July 2015. Thesis advisor is Dr. Khaled El-Fakih. Soft and hard copy available.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). A number of 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 is time consuming and costly. Thus, it is desirable to determine high quality test suites in order to reduce the cost of testing. This research aims at determining and comparing the quality of various test suites. Using six realistic application examples, various known types of EFSM based test suites are derived and experiments are conducted to assess the fault coverage of these test suites. The assessment is carried out using EFSM mutants of these specifications, namely, EFSM mutants with single and double transfer faults, single assignment faults and single output parameter faults. The various types of considered test suites include single transfer fault, double transfer fault, all uses, single assignment fault, transition tour, state identifier, edge pair, prime path, prime path with side trip, and random test suites Ranking of the test suites, in terms of fault coverage and in terms of both coverage and test suite length, is established for each considered type of faults.College of EngineeringDepartment of Computer Science and EngineeringMaster of Science in Computer Engineering (MSCoE)El Fakih, Khaled2015-09-07T05:36:43Z2015-09-07T05:36:43Z2015-07info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/doctoralThesisapplication/pdf35.232-2015.38http://hdl.handle.net/11073/7869en_USoai:repository.aus.edu:11073/78692025-06-26T12:07:53Z |
| spellingShingle | On Studying the Effectiveness of Extended Finite State Machine Based Test Selection Criteria Jadoon, Noshad Khan Extended Finite State Machine Model Based Testing Mutation Testing Test Derivation Test Assessment Software Engineering Software Testing Sequential machine theory Software engineering |
| status_str | publishedVersion |
| title | On Studying the Effectiveness of Extended Finite State Machine Based Test Selection Criteria |
| title_full | On Studying the Effectiveness of Extended Finite State Machine Based Test Selection Criteria |
| title_fullStr | On Studying the Effectiveness of Extended Finite State Machine Based Test Selection Criteria |
| title_full_unstemmed | On Studying the Effectiveness of Extended Finite State Machine Based Test Selection Criteria |
| title_short | On Studying the Effectiveness of Extended Finite State Machine Based Test Selection Criteria |
| title_sort | On Studying the Effectiveness of Extended Finite State Machine Based Test Selection Criteria |
| topic | Extended Finite State Machine Model Based Testing Mutation Testing Test Derivation Test Assessment Software Engineering Software Testing Sequential machine theory Software engineering |
| url | http://hdl.handle.net/11073/7869 |