Please use this identifier to cite or link to this item: https://hdl.handle.net/11147/5867
Title: Fault domain-based testing in imperfect situations: a heuristic approach and case studies
Authors: Belli, Fevzi
Beyazıt, Mutlu
Endo, Andre Takeshi
Mathur, Aditya
Simao, Adenilso
Keywords: HSI method
Heuristic methods
Imperfect situation
Fault domains
Finite state machines
Software testing
Publisher: Springer Verlag
Source: Belli, F., Beyazıt, M., Endo, A.T., Mathur, A., and Simao, A. (2015). Fault domain-based testing in imperfect situations: a heuristic approach and case studies. Software Quality Journal, 23(3), 423-452. doi:10.1007/s11219-014-9242-6
Abstract: Model-based testing (MBT) involves creating an abstraction, called a model, to represent the system and automatically deriving test cases from this model. MBT can be performed using various approaches that generally employ certain assumptions or requirements affecting the test performance in practice. Here, we consider the harmonized state identifiers (HSI) method, which is based on finite state machine (FSM) models and generates test sets that cover all faults in a given domain under certain conditions. We are interested in the application of the HSI method in practical scenarios where some conditions do not hold or are not straightforward to satisfy. Thus, we propose a heuristic extension to the HSI method, called heuristic HSI (HHSI), to consider imperfect situations as they often occur in practice. To analyze the characteristics of HHSI, we empirically compare it to random testing and coverage-based testing using non-trivial case studies. The experiments include model-based mutation analyses over several FSM models.
URI: https://doi.org/10.1007/s11219-014-9242-6
http://hdl.handle.net/11147/5867
ISSN: 0963-9314
0963-9314
1573-1367
Appears in Collections:Computer Engineering / Bilgisayar Mühendisliği
Scopus İndeksli Yayınlar Koleksiyonu / Scopus Indexed Publications Collection
WoS İndeksli Yayınlar Koleksiyonu / WoS Indexed Publications Collection

Files in This Item:
File Description SizeFormat 
5867.pdfMakale1.49 MBAdobe PDFThumbnail
View/Open
Show full item record



CORE Recommender

SCOPUSTM   
Citations

10
checked on Nov 29, 2024

WEB OF SCIENCETM
Citations

8
checked on Nov 23, 2024

Page view(s)

548
checked on Dec 2, 2024

Download(s)

258
checked on Dec 2, 2024

Google ScholarTM

Check




Altmetric


Items in GCRIS Repository are protected by copyright, with all rights reserved, unless otherwise indicated.