Improving models for model-based testing based on exploratory testing

Name: Improving models for model-based testing based on exploratory testing
Author: Gebizli, C. Ş., Sözer, Hasan

İsim	Improving models for model-based testing based on exploratory testing
Yazar	Gebizli, C. Ş., Sözer, Hasan
Basım Tarihi:	2014
Basım Yeri	- IEEE
Konu	Model-based testing, Exploratory testing, Industrial case study
Tür	Belge
Dil	İngilizce
Dijital	Evet
Yazma	Hayır
Kütüphane:	Özyeğin Üniversitesi
Demirbaş Numarası	978-1-4799-3578-9
Kayıt Numarası	7df14381-ca37-40f8-80e5-68ae1f62614b
Lokasyon	Computer Science
Tarih	2014
Notlar	Due to copyright restrictions, the access to the full text of this article is only available via subscription.
Örnek Metin	Model-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.
DOI	10.1109/COMPSACW.2014.110

Kaynağa git Özyeğin Üniversitesi

Aramaya Dön

Özyeğin Üniversitesi

Kaynağa git

Improving models for model-based testing based on exploratory testing

Yazar Gebizli, C. Ş., Sözer, Hasan

Basım Tarihi 2014

Basım Yeri - IEEE

Konu Model-based testing, Exploratory testing, Industrial case study

Tür Belge

Dil İngilizce

Dijital Evet

Yazma Hayır

Kütüphane Özyeğin Üniversitesi

Demirbaş Numarası 978-1-4799-3578-9

Kayıt Numarası 7df14381-ca37-40f8-80e5-68ae1f62614b

Lokasyon Computer Science

Tarih 2014

Notlar Due to copyright restrictions, the access to the full text of this article is only available via subscription.

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

DOI 10.1109/COMPSACW.2014.110