Testing hybrid control systems with TTCN-3: an overview on continuous TTCN-3

Schieferdecker, Ina; Grossmann, Juergen

doi:10.1007/s10009-008-0081-2

Cited by 3 publications

(10 citation statements)

References 6 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…As such it is not capable of testing system that emanates continuous or hybrid behavior. To fill the gap and to transmit parts of the approved TTCN-3 methodology to continuous and hybrid systems as well, we introduced Continuous TTCN-3 (C TTCN-3) [12,11] and enhanced the TTCN-3 core language to the requirements of continuous and hybrid behavior while introducing:…”

Section: Introductionmentioning

confidence: 99%

“…While [12] concentrates on system stimulation and the integration of the newly introduced concepts with the existing TTCN-3 core language, the systematic evaluation of system reaction was not discussed in depth. In this article we will catch up and work out the notion of signal properties and property based stream templates.…”

Section: Introductionmentioning

confidence: 99%

“…In [12] we advanced the notion of templates to be applicable to streams. We confined ourselves to templates for numerical streams and to the definition of upper and lower bounds only.…”

Section: Stream Templatesmentioning

confidence: 99%

“…C TTCN-3 is an extension of TTCN-3 that is properly specified in [12] and as yet a theoretical prototype. In the following we will provide a short introduction to the syntax and semantics of the main constructs in C TTCN-3.…”

Section: Continuous Ttcn-3mentioning

confidence: 99%

“…local minima and maxima). Moreover we allow the combination of properties by logical connectives.The solution provided in this paper is based on terms and concepts defined for Continuous TTCN-3 (C TTCN-3) [12,11], an extension of the standardized test specification language . Thus, we treat signals as streams and integrate the notion of signal properties with the notion of stream templates like they are already defined in C TTCN-3.…”

mentioning

confidence: 99%

See 4 more Smart Citations

Modeling Property Based Stream Templates with TTCN-3

Grossmann

Schieferdecker

Wiesbrock³

2008

Testing of Software and Communicating Systems

Self Cite

View full text Add to dashboard Cite

Abstract. Test evaluation and test assessment is a time consuming and resource intensive process. More than ever this holds for testing complex systems that emanate continuous or hybrid behavior. In this article we introduce an approach that eases the specification of black box tests for hybrid or continuous systems by means of signal properties applied for evaluation. A signal property allows the characterization of individual signal shapes. It is determined by the examination of the signal's value at time, the application of pre-processing functions (like first or higher order derivatives), and the analysis and detection of sequences of values that form certain shapes of a signal (e.g. local minima and maxima). Moreover we allow the combination of properties by logical connectives.The solution provided in this paper is based on terms and concepts defined for Continuous TTCN-3 (C TTCN-3) [12,11], an extension of the standardized test specification language . Thus, we treat signals as streams and integrate the notion of signal properties with the notion of stream templates like they are already defined in C TTCN-3. Moreover, we provide a formal foundation for C TTCN-3 streams, for a selected set of signal properties and for their integration in C TTCN-3.

show abstract

Section: Introductionmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

“…In [12] we advanced the notion of templates to be applicable to streams. We confined ourselves to templates for numerical streams and to the definition of upper and lower bounds only.…”

Section: Stream Templatesmentioning

confidence: 99%

Section: Continuous Ttcn-3mentioning

confidence: 99%

mentioning

confidence: 99%

See 3 more Smart Citations

Modeling Property Based Stream Templates with TTCN-3

Grossmann

Schieferdecker

Wiesbrock³

2008

Testing of Software and Communicating Systems

Self Cite

View full text Add to dashboard Cite

show abstract

Using Grammarware Languages to Define Operational Semantics of Modelled Languages

Sadilek

Wachsmuth

2009

Objects, Components, Models and Patterns

View full text Add to dashboard Cite

A TTCN-3-based protocol testing system and its extension

Yin

Wang

Jing

et al. 2008

Sci. China Ser. F-Inf. Sci.

View full text Add to dashboard Cite

The protocol testing technology used in the next generation Internet should satisfy some new challenges and requirements. This paper focuses on the test suite description and test implementation techniques. TTCN-3 is chosen as the test suite description language and extended in both syntax and semantics to satisfy the requirements of protocol robustness testing. PITSv3, a protocol integrated testing system based on TTCN-3, is developed, and the extensions for robustness testing are implemented. Finally, two practical test applications are presented.protocol testing, TTCN-3, PITSv3, robustness testing

show abstract

Testing hybrid control systems with TTCN-3: an overview on continuous TTCN-3

Cited by 3 publications

References 6 publications

Modeling Property Based Stream Templates with TTCN-3

Modeling Property Based Stream Templates with TTCN-3

Using Grammarware Languages to Define Operational Semantics of Modelled Languages

A TTCN-3-based protocol testing system and its extension

Contact Info

Product

Resources

About