Show simple item record

dc.contributor.authorŞahin Gebizli, Ceren
dc.contributor.authorSözer, Hasan
dc.date.accessioned2017-01-31T05:28:00Z
dc.date.available2017-01-31T05:28:00Z
dc.date.issued2017-09
dc.identifier.issn0963-9314
dc.identifier.urihttp://hdl.handle.net/10679/4753
dc.identifier.urihttp://link.springer.com/article/10.1007/s11219-016-9338-2
dc.descriptionDue to copyright restrictions, the access to the full text of this article is only available via subscription.
dc.description.abstractModel-based testing relies on models of the system under test to automatically generate test cases. Consequently, the effectiveness of the generated test cases depends on models. In general, these models are created manually, and as such, they are subject to errors like omission of certain system usage behavior. Such omitted behaviors are also omitted by the generated test cases. In practice, these faults are usually detected with exploratory testing. However, exploratory testing mainly relies on the knowledge and manual activities of experienced test engineers. In this paper, we introduce an approach and a toolset, ARME, for automatically refining system models based on recorded testing activities of these engineers. ARME compares the recorded execution traces with respect to the possible execution paths in test models. Then, these models are automatically refined to incorporate any omitted system behavior and update model parameters to focus on the mostly executed scenarios. The refined models can be used for generating more effective test cases. We applied our approach in the context of 3 industrial case studies to improve the models for model-based testing of a digital TV system. In all of these case studies, several critical faults were detected after generating test cases based on the refined models. These faults were not detected by the initial set of test cases. They were also missed during the exploratory testing activities.en_US
dc.description.sponsorshipVestel Electronics ; the Turkish Ministry of Science, Industry and Technology
dc.language.isoengen_US
dc.publisherSpringer International Publishingen_US
dc.relation.ispartofSoftware Quality Journalen_US
dc.rightsrestrictedAccess
dc.titleAutomated refinement of models for model-based testing using exploratory testingen_US
dc.typeArticleen_US
dc.peerreviewedyesen_US
dc.publicationstatuspublisheden_US
dc.contributor.departmentÖzyeğin University
dc.contributor.authorID23178
dc.contributor.ozuauthorSözer, Hasan
dc.identifier.volume25
dc.identifier.issue3
dc.identifier.startpage979
dc.identifier.endpage1005
dc.identifier.wosWOS:000406371300012
dc.identifier.doi10.1007/s11219-016-9338-2en_US
dc.subject.keywordsModel-based testingen_US
dc.subject.keywordsExploratory testingen_US
dc.subject.keywordsAutomated model refinementen_US
dc.subject.keywordsSoftware test automationen_US
dc.subject.keywordsIndustrial case studyen_US
dc.identifier.scopusSCOPUS:2-s2.0-84987646046
dc.contributor.ozugradstudentŞahin Gebizli, Ceren
dc.contributor.authorMale1
dc.contributor.authorFemale1


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record


Share this page