Parallelizing Heuristics for Generating Synchronizing Sequences - Testing Software and Systems (ICTSS 2016)
Conference Papers Year : 2016

Parallelizing Heuristics for Generating Synchronizing Sequences

Sertaç Karahoda
  • Function : Author
  • PersonId : 1023371
Osman Tufan Erenay
  • Function : Author
  • PersonId : 1023372
Uraz Cengiz Türker
  • Function : Author
  • PersonId : 1023373
Husnu Yenigun
  • Function : Author
  • PersonId : 994795

Abstract

Synchronizing sequences are used in the context of finite state machine based testing in order to initialize an implementation to a particular state. The cubic complexity of even the fastest heuristic algorithms known in the literature to construct a synchronizing sequence can be a problem in practice. In order to scale the performance of synchronizing heuristics, some algorithmic improvements together with a parallel implementation of these heuristics are proposed in this paper. An experimental study is also presented which shows that the improved/parallel implementation can yield a considerable speedup over the sequential implementation.
Fichier principal
Vignette du fichier
419911_1_En_7_Chapter.pdf (1.15 Mo) Télécharger le fichier
Origin Files produced by the author(s)
Loading...

Dates and versions

hal-01643717 , version 1 (21-11-2017)

Licence

Identifiers

Cite

Sertaç Karahoda, Osman Tufan Erenay, Kamer Kaya, Uraz Cengiz Türker, Husnu Yenigun. Parallelizing Heuristics for Generating Synchronizing Sequences. 28th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2016, Graz, Austria. pp.106-122, ⟨10.1007/978-3-319-47443-4_7⟩. ⟨hal-01643717⟩
79 View
88 Download

Altmetric

Share

More