Risk-driven model-based testing of washing machine software: an industrial case study
dc.contributor.author | Kırkıcı, A. | |
dc.contributor.author | Gebizli, C. Ş. | |
dc.contributor.author | Sözer, Hasan | |
dc.date.accessioned | 2020-04-24T11:58:06Z | |
dc.date.available | 2020-04-24T11:58:06Z | |
dc.date.issued | 2018-07-16 | |
dc.identifier.isbn | 978-1-5386-6352-3 | |
dc.identifier.issn | 2159-4848 | en_US |
dc.identifier.uri | http://hdl.handle.net/10679/6538 | |
dc.identifier.uri | https://ieeexplore.ieee.org/document/8411783 | |
dc.description.abstract | We previously introduced an approach for risk-driven model-based testing. In that approach, test models are represented in the form of Markov chains and test case generation is steered by state transition probabilities. These probabilities are iteratively updated based on estimations of risk of failure. Test cases are generated and executed after each model refinement step to detect new faults in less time. The approach was evaluated in the context of two industrial case studies conducted for testing smart TV and smart phone systems. In this paper, we present results of a third case study, where we apply that approach for model-based testing of washing machine software. We define new types of risks for this particular application, which are estimated based on the number of configuration options and power consumption. As a result, the overall test duration was decreased with risk-driven model-based testing although the number of detected faults did not increase. | en_US |
dc.description.sponsorship | Ministry of Science, Industry & Technology | |
dc.language.iso | eng | en_US |
dc.publisher | IEEE | en_US |
dc.relation.ispartof | 2018 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) | |
dc.rights | restrictedAccess | |
dc.title | Risk-driven model-based testing of washing machine software: an industrial case study | en_US |
dc.type | Conference paper | en_US |
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.ozuauthor | Sözer, Hasan | |
dc.identifier.startpage | 398 | en_US |
dc.identifier.endpage | 403 | en_US |
dc.identifier.wos | WOS:000492760300060 | |
dc.identifier.doi | 10.1109/ICSTW.2018.00080 | 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.subject.keywords | Software test automation | en_US |
dc.identifier.scopus | SCOPUS:2-s2.0-85050980832 | |
dc.contributor.authorMale | 1 | |
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