Show simple item record

dc.contributor.authorGebizli, C. Ş.
dc.contributor.authorSözer, Hasan
dc.date.accessioned2016-02-15T09:33:28Z
dc.date.available2016-02-15T09:33:28Z
dc.date.issued2014
dc.identifier.isbn978-1-4799-3578-9
dc.identifier.urihttp://hdl.handle.net/10679/2248
dc.identifier.urihttp://ieeexplore.ieee.org/xpl/articleDetails.jsp?reload=true&arnumber=6903206
dc.descriptionDue to copyright restrictions, the access to the full text of this article is only available via subscription.
dc.description.abstractModel-based testing facilitates automatic generation of test cases by means of models of the system under test. Correctness and completeness of these models determine the effectiveness of the generated test cases. Critical faults can be missed due to omissions in the models, which are primarily created manually. In practice, these faults are usually detected with exploratory testing performed manually by experienced test engineers. In this paper, we propose an approach for refining system models based on the experience and domain knowledge of these test engineers. Our toolset analyzes the execution traces that are recorded during exploratory testing activities and identifies the omissions in system models. The identified omissions guide the refinement of models to be able to generate more effective test cases. We applied our approach in the context of an industrial case study to improve the models for model-based testing of a Digital TV system. After applying our approach, three critical faults were detected. These faults were not detected by the initial set of test cases and they were also missed during the exploratory testing activities.
dc.description.sponsorshipVestel Electronics
dc.language.isoengen_US
dc.publisherIEEE
dc.relation.ispartofComputer Software and Applications Conference Workshops (COMPSACW), 2014 IEEE 38th International
dc.rightsrestrictedAccess
dc.titleImproving models for model-based testing based on exploratory testingen_US
dc.typeConference paperen_US
dc.peerreviewedyes
dc.publicationstatuspublisheden_US
dc.contributor.departmentÖzyeğin University
dc.contributor.authorID(ORCID 0000-0002-2968-4763 & YÖK ID 23178) Sözer, Hasan
dc.contributor.ozuauthorSözer, Hasan
dc.identifier.startpage656
dc.identifier.endpage661
dc.identifier.wosWOS:000352787700111
dc.identifier.doi10.1109/COMPSACW.2014.110
dc.subject.keywordsModel-based testing
dc.subject.keywordsExploratory testing
dc.subject.keywordsIndustrial case study
dc.identifier.scopusSCOPUS:2-s2.0-84931075880
dc.contributor.authorMale1
dc.relation.publicationcategoryConference Paper - International - Institutional Academic Staff


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