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