caa a22 4500 605495726 CHVBK 20210128100532.0 cr unu---uuuuu 210128e20150901xx s 000 0 eng 10.1007/s11219-014-9242-6 doi (NATIONALLICENCE)springer-10.1007/s11219-014-9242-6 Fault domain-based testing in imperfect situations: a heuristic approach and case studies [Elektronische Daten] [Fevzi Belli, Mutlu Beyazıt, Andre Endo, Aditya Mathur, Adenilso Simao] 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. Springer Science+Business Media New York, 2014 Model-based testing nationallicence Fault domain-based nationallicence Finite state machines nationallicence HSI method nationallicence Imperfect situation nationallicence Heuristic HSI nationallicence MBT : Model-based testing nationallicence FSM : Finite state machine nationallicence SUC : System under consideration nationallicence HSI : Harmonized state identifiers nationallicence HHSI : Heuristic HSI nationallicence Belli Fevzi University of Paderborn, Paderborn, Germany aut Beyazıt Mutlu University of Paderborn, Paderborn, Germany aut Endo Andre Universidade Tecnologica Federal do Parana, Cornelio Procopio, Brazil aut Mathur Aditya Singapore University of Technology and Design, Singapore, Singapore aut Simao Adenilso Universidade de Sao Paulo, Sao Carlos, Brazil aut Software Quality Journal Springer US; http://www.springer-ny.com 23/3(2015-09-01), 423-452 0963-9314 23:3<423 2015 23 11219 https://doi.org/10.1007/s11219-014-9242-6 text/html Onlinezugriff via DOI BK010053 XK010053 XK010000 Metadata rights reserved Springer special CC-BY-NC licence nationallicence 1 research-article jats NATIONALLICENCE NATIONALLICENCE NL-springer NATIONALLICENCE 856 40 https://doi.org/10.1007/s11219-014-9242-6 text/html Onlinezugriff via DOI NATIONALLICENCE 700 1- Belli Fevzi University of Paderborn, Paderborn, Germany aut NATIONALLICENCE 700 1- Beyazıt Mutlu University of Paderborn, Paderborn, Germany aut NATIONALLICENCE 700 1- Endo Andre Universidade Tecnologica Federal do Parana, Cornelio Procopio, Brazil aut NATIONALLICENCE 700 1- Mathur Aditya Singapore University of Technology and Design, Singapore, Singapore aut NATIONALLICENCE 700 1- Simao Adenilso Universidade de Sao Paulo, Sao Carlos, Brazil aut NATIONALLICENCE 773 0- Software Quality Journal Springer US; http://www.springer-ny.com 23/3(2015-09-01), 423-452 0963-9314 23:3<423 2015 23 11219