Symbolic Execution-Based Techniques for Conformance Testing - Archive ouverte HAL Access content directly
Book Sections Year : 2013

Symbolic Execution-Based Techniques for Conformance Testing

(1) , (2) , (1) , (2)
1
2

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.
Not file

Dates and versions

cea-01818541 , version 1 (19-06-2018)

Identifiers

Cite

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⟩
21 View
0 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More