Test Cases Generation for Nondeterministic Real-Time Systems

Khoumsi, Ahmed; Jéron, Thierry; Marchand, Hervé

doi:10.1007/978-3-540-24617-6_10

Cited by 25 publications

(35 citation statements)

References 5 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…1 The index σ in Z σ means that the clock reset of a transition depends only on its action, that is, all transitions with the same event will also have the same clock reset. This restriction guarantees determinizability of T iosa [11]. Fig.…”

Section: Syntax Of T Iosamentioning

confidence: 97%

“…6 by using a transformation, called SetExp, that is described in detail in [24] and applied in [10,11,25,26,27]. In these references, SetExp basically transforms a timed automaton (TA) into a finite state automaton by adding to the structure of the TA two additional types of actions: Set and Exp, that capture the temporal aspect of the TA.…”

Section: Transformation Of T Iosa Into Se Iosamentioning

confidence: 99%

“…CTG will not be directly computed on the T iosa s Spec and TP , but rather on a SE iosa computed from the two T iosa s. In order to make the link between CTG and the IUT, we use the test architecture represented in Fig. 3 and proposed in [11]. It comprises the IUT, a Tester, and a ClockHandler that mimics the timing aspect of the IUT.…”

Section: Test Architecture and A Pro-positionmentioning

confidence: 99%

See 2 more Smart Citations

On synthesizing test cases in symbolic real-time testing

Khoumsi

2006

J Braz Comp Soc

Self Cite

View full text Add to dashboard Cite

show abstract

Section: Syntax Of T Iosamentioning

confidence: 97%

Section: Transformation Of T Iosa Into Se Iosamentioning

confidence: 99%

Section: Test Architecture and A Pro-positionmentioning

confidence: 99%

See 1 more Smart Citation

On synthesizing test cases in symbolic real-time testing

Khoumsi

2006

J Braz Comp Soc

Self Cite

View full text Add to dashboard Cite

show abstract

“…On the other hand, a lot of works on model based testing is based on TA or their extensions e.g. [15], [16], [17], [21], [24], [26], [28], [31], [32], [33], [34], [35], [36], [40], [41], [42], [45]; and there exist many tools for testing real-time systems based on TA more then ten years e.g. [24], [31], [36], and [40].…”

Section: Motivation and Related Workmentioning

confidence: 99%

Testing Real-Time Systems Using TINA

Adjir

Saqui-Sannes

Rahmouni

2009

Testing of Software and Communication Systems

View full text Add to dashboard Cite

Abstract. The paper presents a technique for model-based black-box conformance testing of real-time systems using the Time Petri Net Analyzer TINA. Such test suites are derived from a prioritized time Petri net composed of two concurrent sub-nets specifying respectively the expected behaviour of the system under test and its environment.We describe how the toolbox TINA has been extended to support automatic generation of time-optimal test suites. The result is optimal in the sense that the set of test cases in the test suite have the shortest possible accumulated time to be executed. Input/output conformance serves as the notion of implementation correctness, essentially timed trace inclusion taking environment assumptions into account. Test cases selection is based either on using manually formulated test purposes or automatically from various coverage criteria specifying structural criteria of the model to be fulfilled by the test suite. We discuss how test purposes and coverage criterion are specified in the linear temporal logic SE-LTL, derive test sequences, and assign verdicts.

show abstract

“…This has been a particular problem for offline test generation from timed automata specifications, see e.g. [6,7].…”

Section: Introductionmentioning

confidence: 99%

Online On-the-Fly Testing of Real-time Systems

Mikučionis¹,

Larsen²,

Nielsen³

2003

BRICS

View full text Add to dashboard Cite

In this paper we present a framework, an algorithm and a new tool for online testing of real-time systems based on symbolic techniques used in UPPAAL model checker. We extend the UPPAAL timed automata network model to a test specification which is used to generate test primitives and to check the correctness of system responses including the timing aspects. We use timed trace inclusion as a conformance relation between system and specification to draw a test verdict. The test generation and execution algorithm is implemented as an extension to UPPAAL and experiments carried out to examine the correctness and performance of the tool. The experiment results are promising.

show abstract

Test Cases Generation for Nondeterministic Real-Time Systems

Cited by 25 publications

References 5 publications

On synthesizing test cases in symbolic real-time testing

On synthesizing test cases in symbolic real-time testing

Testing Real-Time Systems Using TINA

Online On-the-Fly Testing of Real-time Systems

Contact Info

Product

Resources

About