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 |
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.