T. Walter and B. Plattner. An Operational Semantics for Concurrent TTCN. In PTS V. North-Holland, 1992. 88  Home/Search   Document Not in Database   Summary   Related Articles   Check

....one active test components to participate in the execution of a test case. All test components run in parallel and coordinate their behavior by exchanging coordination messages. The advantage of the concurrent TTCN is that the description of test cases for complex test environment becomes easier [3]. The Concurrent TTCN, however, can not satisfy all needs of protocol performance testing, in which it is necessary to obtain the accurate time when a test event just starts or stops. So the sequential operation of a test event and reading time can not be interrupted by other processes. Moreover, ....

Thomas Walter and Bernhard Plattner. An operational semantics for concurrent TTCN. In: Proceedings of IWPTS'92, Montreal, Canada, 1992: 101-114.

....may act as a basis when developing a theory and tools for test generation, test validation, etc. In [23, 24] a common semantical representation is described that is an operational model consistent with the semantics defined in ITU Recommendation Z.100 for SDL and in ISO 9646 Part 3 for TTCN. In [25] an extension to the common semantical representation is described so that concurrent TTCN is also covered. The main characteristic of the common semantical representation is that it is a compositional hierarchical model, which enables reasoning about the dynamic behavior of SDL and concurrent ....

T. Walter and B. Plattner. An Operational Semantics for Concurrent TTCN. In PTS V. North-Holland, 1992.

....an implementation through a test case so that the expected (with respect to the QoS semantics) behavior of an implementation is observed. 5 TelCom TSL A Framework for QoS Testing The definition of TelCom TSL has been influenced by our work on the formal definition of TTCN, concurrent TTCN [26, 27, 29], QoS specification and verification [24, 20] and the specification and generation of TTCN test cases based on SDL and MSC [9, 10, 11, 12] TelCom TSL aims at defining a QoS testing architecture and a test specification language. It is meant to be applicable on every service layer [1] i.e. ....

T. Walter, B. Plattner. An Operational Semantics for Concurrent TTCN, Proceedings PTS V, North-Holland, 1992.

....TTCN includes syntactical changes and the definition of an operational semantics. For the latter we define a mapping of real time TTCN to timed transition systems [7] Our choice of timed transition systems has been inspired by our work on the definition of an operational semantics for TTCN [20, 21]. 3.1 Timed Transition Systems As stated in the literature [2, 7, 15] real time behaviour of systems can be expressed by assuming that execution of events is restricted by a finite interval of earliest and latest execution times and which assume that execution of events is instantaneous. In our ....

....is the same as in standard TTCN. A possible extension of our approach is to allow the annotation of test events, assignments and timer operations that are combined on a single statement line with time labels. A mapping of TTCN to transition systems at that level of detail has been investigated in [20, 21]. This mapping may be further extended and evaluated. Based on the real time extension of TTCN as proposed in this paper techniques for the analysis of the real time behaviour of testers against specified test cases are to be defined. For this it seems necessary that the discussion of an ....

T. Walter, B. Plattner. An Operational Semantics for Concurrent TTCN. Proceedings Protocol Test Systems V, North-Holland, 1992.

....requirements and on the development of editors, compiler and run time libraries for real time TTCN. A possible theoretical extension of our approach is to allow the use of time labels at a more detailed level, e.g. the annotation of test events, assignments and timer operations (an extension of [20, 21]) Acknowledgements. The authors are indebted to Stefan Heymer for proofreading and for his detailed comments on earlier drafts of this paper. ....

T. Walter, B. Plattner. An Operational Semantics for Concurrent TTCN. In Proceedings Protocol Test Systems V, North-Holland, 1992.

....for real time TTCN (Section 3.3) For this we define a mapping of real time TTCN to timed transition systems (Henzinger et al. 1991) which are introduced in Section 3.1. Applying timed transition systems has been motivated by our experiences with the definition of an operational semantics for TTCN (Walter et al. 1992, Walter and Plattner 1992) To emphasize the similarities of TTCN and real time TTCN we also propose a refined snapshot semantics which takes time annotations into account and which is compliant with the timed transition system based semantics. In the following section we quote the main ....

....3.3) For this we define a mapping of real time TTCN to timed transition systems (Henzinger et al. 1991) which are introduced in Section 3.1. Applying timed transition systems has been motivated by our experiences with the definition of an operational semantics for TTCN (Walter et al. 1992, Walter and Plattner 1992). To emphasize the similarities of TTCN and real time TTCN we also propose a refined snapshot semantics which takes time annotations into account and which is compliant with the timed transition system based semantics. In the following section we quote the main definitions of (Henzinger et al. ....

[Article contains additional citation context not shown here]

T. Walter, B. Plattner. An Operational Semantics for Concurrent TTCN. In Proceedings Protocol Test Systems V, North-Holland, 1992.

....semantics for real time TTCN (Section 3.3.3) For this we define a mapping of real time TTCN to timed transition systems [19] which are introduced in Section 3.3.1. Applying timed transition systems has been motivated by our experiences with the definition of an operational semantics for TTCN [53,54]. To emphasize the similarities of TTCN and real time TTCN we also propose a refined snapshot semantics which takes time annotations into account and which is compliant with the timed transition system based semantics. In the following section we quote the main definitions of [19] 3.3.1. Timed ....

T. Walter, B. Plattner. An Operational Semantics for Concurrent TTCN. In G. v. Bochmann, R. Dssouli, A. Das, editors, Protocol Test Systems V, North-Holland, 1992.

....an implementation through a test case so that the expected (with respect to the QoS semantics) behavior of an implementation is observed. 5 TelCom TSL A Framework for QoS Testing The definition of TelCom TSL has been influenced by our work on the formal definition of TTCN, concurrent TTCN [23, 24], QoS specification and verification [22, 19] and the specification and generation of TTCN test cases based on SDL and MSC [8, 9, 10, 11] TelCom TSL aims at defining a QoS testing architecture and a test specification language. 2nd Workshop on Protocols for Multimedia Systems (PROMS) Salzburg, ....

T. Walter, B. Plattner. An Operational Semantics for Concurrent TTCN, Proceedings PTS V, North-Holland, 1992.

....in a formal protocol specification. For the latter kind of validation we describe a validation framework . The essential components are a semantical model for SDL [33] and TTCN and concurrent TTCN, and an appropriate behaviour relation. The model, called common semantics representation (CSR) [7, 30, 31] defines an operational semantics for both languages, providing an abstract execution model which allows to execute a test case and a specification and to derive their respective input output behaviour. Using the defined behaviour relation we demonstrate how the CSR may be used to validate the ....

....LTSs, i.e. an LTS for every initial state. An element in is termed transition and is written s e Gamma s 0 for s; s 0 2 S, e 2 ffl, and (s; e; s 0 ) 2 . 2 In this paper we do not give the complete definition of the LTSs in the CSR. More complete descriptions of the CSR can be found in [31, 7, 19]. In the following paragraphs we give a brief description of the principles of the approach. 4.2.2.1 Basic Processes The basic process is the control part of a test component. A behaviour description of a basic process is constructed from a set of operators and a set of atomic events. The set of ....

Walter, T., Plattner, B., An Operational Semantics for Concurrent TTCN, Proceedings PTS V, NorthHolland, 1992.

....the communication behavior of the network facility can be controlled. This enables us to change traffic characteristics like error rates or delays. 5 On the design of TelCom TSL The definition of TelCom TSL has been influenced by our work on the formal definition of TTCN, concurrent TTCN [19, 20], QoS specification and verification [18, 17] and the specification and generation of TTCN test cases based on SDL and MSC [6, 7, 8, 9] TelCom TSL should meet two requirements. First, a test case specifier should define the functional behavior of a test case indepen6 dently of any timing ....

T. Walter, B. Plattner. An Operational Semantics for Concurrent TTCN, Proceedings PTS V, North-Holland, 1992. 10

No context found.

T. Walter and B. Plattner. An Operational Semantics for Concurrent TTCN. In PTS V. North-Holland, 1992. 88

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC