Test Purpose Concretization through Symbolic Action Refinement

Faivre, Alain; Gaston, Christophe; Gall, Pascale Le; Touil, Assia

doi:10.1007/978-3-540-68524-1_14

Cited by 9 publications

(8 citation statements)

References 6 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In this framework, the correctness (or conformance) relation the system under test (SUT) and its specification must verify is formalized by the ioco relation [1]. This relation has become a standard, and is used as a basis in several testing theories for extended state-based models: restrictive transition systems [2,3], symbolic transition systems [4,5], timed automata [6], multi-port finite state machines [7].…”

mentioning

confidence: 99%

Unfolding-Based Test Selection for Concurrent Conformance

León

Haar

Longuet

2013

Testing Software and Systems

View full text Add to dashboard Cite

Abstract. Model-based testing has mainly focused on models where currency is interpreted as interleaving (like the ioco theory for labeled transition systems), which may be too coarse when one wants concurrency to be preserved in the implementation. In order to test such concurrent systems, we choose to use Petri nets as specifications and define a concurrent conformance relation named coioco. We propose a test generation algorithm based on Petri net unfolding able to build a complete test suite w.r.t our co-ioco conformance relation. In addition we propose a coverage criterion based on a dedicated notion of complete prefixes that selects a manageable test suite.Model-based Testing. The aim of testing is to execute a software system, the implementation, on a set of input data selected so as to find discrepancies between actual behavior and intended behavior described by the specification. The testing process is usually decomposed into three phases: selection of relevant input data, called a test suite, among the possible inputs of the system; submission of this test suite to the implementation, its execution; and decision of the success or the failure of the test suite submission, known as the oracle problem. We focus here on the selection phase, crucial for relevance and efficiency of testing.Model-based testing requires a behavioral description of the system under test. One of the most popular formalisms studied in conformance testing is that of input output labeled transition systems (IOLTS). In this framework, the correctness (or conformance) relation the system under test (SUT) and its specification must verify is formalized by the ioco relation [1]. This relation has become a standard, and is used as a basis in several testing theories for extended state-based models: restrictive transition systems [2,3], symbolic transition systems [4,5], timed automata [6], multi-port finite state machines [7].Model-based Testing of Concurrent Systems. Systems composed of concurrent components are naturally modeled as a network of finite automata, a formal class of models that can be captured equivalently by safe Petri nets. Concurrency in a specification can arise for different reasons. First, two events may be physically localized on different components, and thus be "naturally" independent of one another; this distribution is then part of the system construction. Second, the specification may not care about the order in which two actions are performed on the same component, and thus leave the

show abstract

mentioning

confidence: 99%

Unfolding-Based Test Selection for Concurrent Conformance

León

Haar

Longuet

2013

Testing Software and Systems

View full text Add to dashboard Cite

show abstract

“…Our approach is tooled and compliant with UML standards. In the future, we plan to integrate more refinement techniques as in [8] and extend them to timing issues.…”

Section: Resultsmentioning

confidence: 99%

Timed Symbolic Testing Framework for Executable Models Using High-Level Scenarios

Arnaud

Bannour

Cuccuru

et al. 2015

Complex Systems Design &Amp; Management

Self Cite

View full text Add to dashboard Cite

Abstract.Refining high-level system scenarios into executable models is often not automatic and subject to implementation choices. We develop techniques and tools combining different modes of simulation in order to assess automatically the correctness of executable fUML activities with respect to system scenarios specified as UML MARTE sequence diagrams. In this paper, we show how test data are extracted from sequence diagrams using symbolic execution and how they are used as inputs to test system activities in the standardized fUML virtual machine.

show abstract

“…In this framework, the correctness (or conformance) relation the system under test (SUT) and its specification must verify is formalized by the ioco relation [1]. This relation has become a standard, and it is used as a basis in several testing theories for extended state-based models: restrictive transition systems [2,3], symbolic transition systems [4,5], timed automata [6,7], multiport finite state machines [8].…”

Section: Introductionmentioning

confidence: 99%

Distributed Testing of Concurrent Systems: Vector Clocks to the Rescue

León

Haar

Longuet

2014

Theoretical Aspects of Computing – ICTAC 2014

View full text Add to dashboard Cite

Abstract. The ioco relation has become a standard in model-based conformance testing. The co-ioco conformance relation is an extension of this relation to concurrent systems specified with true-concurrency models. This relation assumes a global control and observation of the system under test, which is not usually realistic in the case of physically distributed systems. Such systems can be partially observed at each of their points of control and observation by the sequences of inputs and outputs exchanged with their environment. Unfortunately, in general, global observation cannot be reconstructed from local ones, so global conformance cannot be decided with local tests. We propose to append time stamps to the observable actions of the system under test in order to regain global conformance from local testing.

show abstract

Test Purpose Concretization through Symbolic Action Refinement

Cited by 9 publications

References 6 publications

Unfolding-Based Test Selection for Concurrent Conformance

Unfolding-Based Test Selection for Concurrent Conformance

Timed Symbolic Testing Framework for Executable Models Using High-Level Scenarios

Distributed Testing of Concurrent Systems: Vector Clocks to the Rescue

Contact Info

Product

Resources

About