An Approach to Symbolic Test Generation

Rusu, Vlad; Bousquet, Lydie Du; Jéron, Thierry

doi:10.1007/3-540-40911-4_20

Cited by 75 publications

(69 citation statements)

References 15 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…We adapt the symbolic transition systems of [13], using shared variables for communication instead of input/output actions. -Q is a finite set of locations q i , i ≥ 0 -q 0 ∈ Q is the initial location -V is a set of variables -T is a set of transitions of the form q, g, S, q , where…”

Section: Combining Methods Automata and Scheduling Policiesmentioning

confidence: 99%

Testing Concurrent Objects with Application-Specific Schedulers

Schlatte

Aichernig

Boer

et al. 2008

Theoretical Aspects of Computing - ICTAC 2008

View full text Add to dashboard Cite

Abstract. In this paper, we propose a novel approach to testing executable models of concurrent objects under application-specific scheduling regimes. Method activations in concurrent objects are modeled as a composition of symbolic automata; this composition expresses all possible interleavings of actions. Scheduler specifications, also modeled as automata, are used to constrain the system execution. Test purposes are expressed as assertions on selected states of the system, and weakest precondition calculation is used to derive the test cases from these test purposes. Our new testing technique is based on the assumption that we have full control over the (application-specific) scheduler, which is the case in our executable models under test. Hence, the enforced scheduling policy becomes an integral part of a test case. This tackles the problem of testing non-deterministic behavior due to scheduling.

show abstract

Section: Combining Methods Automata and Scheduling Policiesmentioning

confidence: 99%

Testing Concurrent Objects with Application-Specific Schedulers

Schlatte

Aichernig

Boer

et al. 2008

Theoretical Aspects of Computing - ICTAC 2008

View full text Add to dashboard Cite

show abstract

“…More recently, we have explored symbolic test generation techniques for IOSTS specifications [29]. The objective is to avoid the state space explosion problem induced by the enumeration of values of variables and communication parameters.…”

Section: Automatic Test Generationmentioning

confidence: 99%

Embedded and Real-time Systems

Lamie¹

2009

Real-Time Embedded Multithreading Using ThreadX and MIPS

View full text Add to dashboard Cite

show abstract

“…This problem is solved by the model of Symbolic Transition Systems (see e.g. [15,6]), which we introduce in this section.…”

Section: The Symbolic Frameworkmentioning

confidence: 99%

“…A closely related approach is described in [15], that uses a variant of a symbolic transition system and a weaker relation, e.g. they do not deal with quiescence.…”

Section: Conclusion and Related Workmentioning

confidence: 99%

A Symbolic Framework for Model-Based Testing

Frantzen

Tretmans

Willemse

2006

Lecture Notes in Computer Science

View full text Add to dashboard Cite

Abstract. The starting point for Model-Based Testing is an implementation relation that formally defines when a formal model representing the System Under Test conforms to a formal model constituting its specification. An implementation relation for the formalism of Labelled Transition Systems is ioco. For ioco several test generation algorithms and test tools have been built. In this paper we define a framework for the symbolic implementation relation sioco which lifts ioco to Symbolic Transition Systems. These are transition systems with an explicit notion of data and data-dependent control flow. The introduction of symbolism avoids the state-space explosion during test generation, and it preserves the information present in data definitions and constraints for use during the test selection process. We show the soundness and completeness of the symbolic notions w.r.t. their underlying Labelled Transition Systems' counterparts.

show abstract

An Approach to Symbolic Test Generation

Cited by 75 publications

References 15 publications

Testing Concurrent Objects with Application-Specific Schedulers

Testing Concurrent Objects with Application-Specific Schedulers

Embedded and Real-time Systems

A Symbolic Framework for Model-Based Testing

Contact Info

Product

Resources

About