Gray-Box Conformance Testing for Symbolic Reactive State Machines - Archive ouverte HAL Access content directly
Conference Papers Year : 2017

Gray-Box Conformance Testing for Symbolic Reactive State Machines

(1) , (1)
1
Masoumeh Taromirad
  • Function : Author
  • PersonId : 1030395
Mohammad Reza Mousavi
  • Function : Author
  • PersonId : 999386

Abstract

Model-based testing (MBT) is typically a black-box testing technique. Therefore, generated test suites may leave some untested gaps in a given implementation under test (IUT). We propose an approach to use the structural and behavioural information exploited from the implementation domain to generate effective and efficient test suites. Our approach considers both specification models and implementation models, and generates an enriched test model which is used to automatically generate test suites. We show that the proposed approach is sound and exhaustive and cover both the specification and the implementation. We examine the applicability and the effectiveness of our approach by applying it to a well-known example from the railway domain.
Fichier principal
Vignette du fichier
459025_1_En_15_Chapter.pdf (1.07 Mo) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-01760861 , version 1 (06-04-2018)

Licence

Attribution - CC BY 4.0

Identifiers

Cite

Masoumeh Taromirad, Mohammad Reza Mousavi. Gray-Box Conformance Testing for Symbolic Reactive State Machines. 7th International Conference on Fundamentals of Software Engineering (FSEN), Apr 2017, Teheran, Iran. pp.228-243, ⟨10.1007/978-3-319-68972-2_15⟩. ⟨hal-01760861⟩
107 View
66 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More