Successive refinement of models for model-based testing to increase system test effectiveness

Name: Successive refinement of models for model-based testing to increase system test effectiveness
Author: Sahin Gebizli, C., Sözer, Hasan, Ercan, Ali Özer

İsim	Successive refinement of models for model-based testing to increase system test effectiveness
Yazar	Sahin Gebizli, C., Sözer, Hasan, Ercan, Ali Özer
Basım Tarihi:	2016
Basım Yeri	- IEEE
Konu	Software test automation, Model-based testing, Model refinement, Statistical usage testing, Risk-based testing, Industrial case study
Tür	Belge
Dil	İngilizce
Dijital	Evet
Yazma	Hayır
Kütüphane:	Özyeğin Üniversitesi
Demirbaş Numarası	2-s2.0-84992200193
Kayıt Numarası	44e5b3cf-8b6b-4a1f-b00a-93d1fe9d593c
Lokasyon	Electrical & Electronics Engineering, Computer Science
Tarih	2016
Notlar	Vestel ; TÜBİTAK
Örnek Metin	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.
DOI	10.1109/ICSTW.2016.10

Kaynağa git Özyeğin Üniversitesi

Aramaya Dön

Özyeğin Üniversitesi

Kaynağa git

Successive refinement of models for model-based testing to increase system test effectiveness

Yazar Sahin Gebizli, C., Sözer, Hasan, Ercan, Ali Özer

Basım Tarihi 2016

Basım Yeri - IEEE

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

Tür Belge

Dil İngilizce

Dijital Evet

Yazma Hayır

Kütüphane Özyeğin Üniversitesi

Demirbaş Numarası 2-s2.0-84992200193

Kayıt Numarası 44e5b3cf-8b6b-4a1f-b00a-93d1fe9d593c

Lokasyon Electrical & Electronics Engineering, Computer Science

Tarih 2016

Notlar Vestel ; TÜBİTAK

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

DOI 10.1109/ICSTW.2016.10