Skip to Main content Skip to Navigation
Book sections

Symbolic Execution-Based Techniques for Conformance Testing

C. Gaston 1 P. Le Gall 2 N. Rapin 1 A. Touil 2
1 DILS - Département Ingénierie Logiciels et Systèmes
2 LaMI - Laboratoire de Méthodes Informatiques
Abstract : In this chapter we discuss techniques to test whether a system conforms to its model given in terms of an Input/Output Symbolic Transition System (IOSTS). IOSTSs are automata-based models using data types to enrich transitions with data-based messages and guards depending on state variables. We focus on symbolic execution techniques both to extract IOSTS behaviors to be tested in the role of test purposes and to ground test case generation.
Document type :
Book sections
Complete list of metadata
https://hal-cea.archives-ouvertes.fr/cea-01818541
Contributor : Léna Le Roy <>
Submitted on : Tuesday, June 19, 2018 - 11:24:16 AM
Last modification on : Saturday, May 1, 2021 - 3:41:20 AM

Identifiers

Collections

CEA | CNRS | UNIV-EVRY | DRT | LIST | GS-COMPUTER-SCIENCE

Citation

C. Gaston, P. Le Gall, N. Rapin, A. Touil. Symbolic Execution-Based Techniques for Conformance Testing. Model‐Driven Engineering for Distributed Real‐Time Systems: MARTE Modeling, Model Transformations and their Usages, John Wiley and Sons, pp.73-103, 2013, 9781848211155. ⟨10.1002/9781118558096.ch4⟩. ⟨cea-01818541⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

105