Successive refinement of models for model-based testing to increase system test effectiveness
dc.contributor.author | Sahin Gebizli, C. | |
dc.contributor.author | Sözer, Hasan | |
dc.contributor.author | Ercan, Ali Özer | |
dc.date.accessioned | 2017-01-27T10:34:54Z | |
dc.date.available | 2017-01-27T10:34:54Z | |
dc.date.issued | 2016 | |
dc.identifier.uri | http://hdl.handle.net/10679/4744 | |
dc.identifier.uri | http://ieeexplore.ieee.org/document/7528971/ | |
dc.description.abstract | Model-based testing is used for automatically generating test cases based on models of the system under test. The effectiveness of tests depends on the contents of these models. Therefore, we introduce a novel three-step model refinement approach. We represent test models in the form of Markov chains. First, we update state transition probabilities in these models based on usage profile. Second, we perform an update based on fault likelihood that is estimated with static code analysis. Our third update is based on error likelihood that is estimated with dynamic analysis. We generate and execute test cases after each refinement. We applied our approach for model-based testing of a Smart TV system and new faults were revealed after each refinement. | en_US |
dc.description.sponsorship | Vestel ; TÜBİTAK | |
dc.language.iso | eng | en_US |
dc.publisher | IEEE | en_US |
dc.relation | info:turkey/grantAgreement/TUBITAK | |
dc.relation.ispartof | Software Testing, Verification and Validation Workshops (ICSTW), 2016 IEEE Ninth International Conference on | en_US |
dc.rights | restrictedAccess | |
dc.title | Successive refinement of models for model-based testing to increase system test effectiveness | en_US |
dc.type | Conference paper | en_US |
dc.peerreviewed | yes | |
dc.publicationstatus | published | en_US |
dc.contributor.department | Özyeğin University | |
dc.contributor.authorID | (ORCID 0000-0002-2968-4763 & YÖK ID 23178) Sözer, Hasan | |
dc.contributor.authorID | (ORCID 0000-0003-1126-8259 & YÖK ID 35788) Ercan, Ali | |
dc.contributor.ozuauthor | Sözer, Hasan | |
dc.contributor.ozuauthor | Ercan, Ali Özer | |
dc.identifier.wos | WOS:000382490200035 | |
dc.identifier.doi | 10.1109/ICSTW.2016.10 | en_US |
dc.subject.keywords | Software test automation | en_US |
dc.subject.keywords | Model-based testing | en_US |
dc.subject.keywords | Model refinement | en_US |
dc.subject.keywords | Statistical usage testing | en_US |
dc.subject.keywords | Risk-based testing | en_US |
dc.subject.keywords | Industrial case study | en_US |
dc.identifier.scopus | SCOPUS:2-s2.0-84992200193 | |
dc.contributor.authorMale | 2 | |
dc.relation.publicationcategory | Conference Paper - International - Institutional Academic Staff |
Files in this item
Files | Size | Format | View |
---|---|---|---|
There are no files associated with this item. |
This item appears in the following Collection(s)
Share this page