Risk-driven model-based testing of washing machine software: an industrial case study

Name: Risk-driven model-based testing of washing machine software: an industrial case study
Author: Kırkıcı, A., Gebizli, C. Ş., Sözer, Hasan

İsim	Risk-driven model-based testing of washing machine software: an industrial case study
Yazar	Kırkıcı, A., Gebizli, C. Ş., Sözer, Hasan
Basım Tarihi:	2018-07-16
Basım Yeri	- IEEE
Konu	Model based testing, Model refinement, Statistical usage testing, Risk based testing, Industrial case study, Software test automation
Tür	Belge
Dil	İngilizce
Dijital	Evet
Yazma	Hayır
Kütüphane:	Özyeğin Üniversitesi
Demirbaş Numarası	978-1-5386-6352-3
Kayıt Numarası	7765cbca-fbe9-485a-970d-b32b7b38ac3c
Lokasyon	Computer Science
Tarih	2018-07-16
Notlar	Ministry of Science, Industry & Technology
Örnek Metin	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.
DOI	10.1109/ICSTW.2018.00080

Kaynağa git Özyeğin Üniversitesi

Aramaya Dön

Özyeğin Üniversitesi

Kaynağa git

Risk-driven model-based testing of washing machine software: an industrial case study

Yazar Kırkıcı, A., Gebizli, C. Ş., Sözer, Hasan

Basım Tarihi 2018-07-16

Basım Yeri - IEEE

Konu Model based testing, Model refinement, Statistical usage testing, Risk based testing, Industrial case study, Software test automation

Tür Belge

Dil İngilizce

Dijital Evet

Yazma Hayır

Kütüphane Özyeğin Üniversitesi

Demirbaş Numarası 978-1-5386-6352-3

Kayıt Numarası 7765cbca-fbe9-485a-970d-b32b7b38ac3c

Lokasyon Computer Science

Tarih 2018-07-16

Notlar Ministry of Science, Industry & Technology

Örnek Metin 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.

DOI 10.1109/ICSTW.2018.00080