Lookahead-Based Approaches for Minimizing Adaptive Distinguishing Sequences

Abstract : For Finite State Machine (FSM) based testing, it has been shown that the use of shorter Adaptive Distinguishing Sequences (ads) yields shorter test sequences. It is also known, on the other hand, that constructing a minimum cost ADS is an NP-hard problem and it is NP-hard to approximate. In this paper, we introduce a lookahead-based greedy algorithm to construct reduced ADSs for FSMs. The greedy algorithm inspects a search space to make a decision. The size of the search space is adjustable, allowing a trade-off between the quality and the computation time. We analyse the performance of the approach on randomly generated FSMs by comparing the ADSs constructed by our algorithm with the ADSs that are computed by the existing algorithms.
Type de document :
Communication dans un congrès
Mercedes G. Merayo; Edgardo Montes Oca. 26th IFIP International Conference on Testing Software and Systems (ICTSS), Sep 2014, Madrid, Spain. Springer, Lecture Notes in Computer Science, LNCS-8763, pp.32-47, 2014, Testing Software and Systems. 〈10.1007/978-3-662-44857-1_3〉
Liste complète des métadonnées

Littérature citée [29 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01405273
Contributeur : Hal Ifip <>
Soumis le : mardi 29 novembre 2016 - 16:39:05
Dernière modification le : mardi 29 novembre 2016 - 16:48:50
Document(s) archivé(s) le : lundi 27 mars 2017 - 08:24:16

Fichier

978-3-662-44857-1_3_Chapter.pd...
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

Uraz Türker, Tonguç Ünlüyurt, Hüsnü Yenigün. Lookahead-Based Approaches for Minimizing Adaptive Distinguishing Sequences. Mercedes G. Merayo; Edgardo Montes Oca. 26th IFIP International Conference on Testing Software and Systems (ICTSS), Sep 2014, Madrid, Spain. Springer, Lecture Notes in Computer Science, LNCS-8763, pp.32-47, 2014, Testing Software and Systems. 〈10.1007/978-3-662-44857-1_3〉. 〈hal-01405273〉

Partager

Métriques

Consultations de la notice

48

Téléchargements de fichiers

11