Testing against non-deterministic FSMs: a probabilistic approach for test suite minimization - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2022

Testing against non-deterministic FSMs: a probabilistic approach for test suite minimization

Résumé

The paper is devoted to model based testing against non-deterministic specifications. Such test derivation strategies are well developed, for example against non-deterministic Finite State Machines, however the length of the corresponding test suite can be exponential w.r.t. the number of specification states. We therefore discuss how a test suite can be minimized or reduced when certain level of guarantee concerning its fault coverage is still preserved. The main idea behind the approach is to augment the specification by assigning probabilities for the non-deterministic transitions and later on evaluate the probability of each test sequence to detect the relevant faulty implementation. Given a probability P which is user-defined, we propose an approach for minimizing a given exhaustive test suite TS such that, it stays exhaustive with the probability no less than P.
Fichier non déposé

Dates et versions

hal-04430476 , version 1 (31-01-2024)

Identifiants

Citer

Natalia Kushik, Nina Yevtushenko, Jorge López. Testing against non-deterministic FSMs: a probabilistic approach for test suite minimization. IFIP International Conference on Testing Software and Systems (ICTSS), Nov 2021, London, United Kingdom. pp.55-61, ⟨10.1007/978-3-031-04673-5_4⟩. ⟨hal-04430476⟩
9 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More