| Testing and Test Control Notation version 3 (TTCN-3): Operational semantics |
 |
This Recommendation defines the operational semantics of TTCN-3 (Testing and Test Control Notation 3). The operational semantics are necessary to unambiguously interpret the specifications made with TTCN-3. This Recommendation is based on the TTCN-3 core language defined in ITU-T Rec. Z.140. |
|
| Citation: |
https://handle.itu.int/11.1002/1000/8643 |
| Series title: |
Z series: Languages and general software aspects for telecommunication systems
Z.100-Z.199: Formal description techniques (FDT)
Z.160-Z.179: Testing and Test Control Notation (TTCN) |
| Approval date: |
2006-03-16 |
| Approval process: | AAP |
|
Status: |
Superseded |
| Observation: | Renumbered as Z.164 when revised on 2007-11-13 |
|
Maintenance responsibility: |
ITU-T Study Group 17 |
|
Further details: |
Patent statement(s)
Development history
|
|
|
|
|
|
ITU-T Supplement
|
Title
|
Status
|
Summary
|
Table of contents
|
Download
|
|
Z Suppl. 1 (04/2015)
|
ITU-T Z.100-series – Supplement on SDL+ methodology: Use of ITU System Design Languages
|
In force
|
here
|
here
|
here
|
|
