Skip to Main content Skip to Navigation
Conference papers

Gray-Box Conformance Testing for Symbolic Reactive State Machines

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.
Document type :
Conference papers
Complete list of metadata

Cited literature [20 references]  Display  Hide  Download

https://hal.inria.fr/hal-01760861
Contributor : Hal Ifip <>
Submitted on : Friday, April 6, 2018 - 5:21:07 PM
Last modification on : Friday, April 6, 2018 - 5:22:20 PM

File

459025_1_En_15_Chapter.pdf
Files produced by the author(s)

Licence


Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

Citation

Masoumeh Taromirad, Mohammad 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⟩

Share

Metrics

Record views

234

Files downloads

106