ISO/IEC 9646-3:1998
(Main)Information technology — Open Systems Interconnection — Conformance testing methodology and framework — Part 3: The Tree and Tabular Combined Notation (TTCN)
Information technology — Open Systems Interconnection — Conformance testing methodology and framework — Part 3: The Tree and Tabular Combined Notation (TTCN)
1.1 This part of l[SO/lEC 9646 defines an informal test notation, called the Tree and Tabular Combined Notation (TTCN), for OS1 conformance test suites, which is independent of test methods, layers and protocols, and which reflects the abstract testing methodology defined in ISO/IEC 9646-l and ISWIEC 9646-2. 1.2 It also specifies requirements and provides guidance for using TTCN in the specification of system-independent conformance test suites for one or more OS1 standards. It specifies two forms of the notation: one, a human-readable form, applicable to the production of conformance test suite standards for OS1 protocols; and the other, a machine-processable form, applicable to processing within and between computer systems. 1.3 This part of ISO/IEC 9646 applies to the specification of conformance test cases which can be expressed abstractly in terms of control and observation of protocol data units and abstract service primitives. Nevertheless, for some protocols, test cases may be needed which cannot be expressed in these terms. The specification of such test cases is outside the scope of this part of ISO/IEC 9646, although those test cases may need to be included in a conformance test suite standard. For example. some static conformance requirements related to an application service may require testing techniques which are specific to that particular application. The specification of test cases in which more than one behavior description is to be run in parallel is dealt with by the concurrency features (particularly involving the definition of Test Components and Test Component Configurations). 1.4 This part of ISO/IEC 9646 specifies requirements on what a test suite standard may specify about a conforming realization of the test suite, including the operational semantics of TTCN test suites. 1.5 This part of ISO/IEC 9646 applies to the specification of conformance test suites for OS1 protocols in OS1 layers 2 to 7, specifically including Abstract Syntax Notation One (ASN. 1) based protocols. The following are outside the scope of this part of ISOIIEC 9646: a) the specification of conformance test suites for Physical layer protocols; b) the relationship between TTCN and formal description techniques; c) the means of realization of executable test suites (ETS) from abstract test suites. 1.6 This part of ISO/IEC 9646 defines mechanisms for using concurrency in the specification of abstract test cases. Concurrency in TTCN is applicable to the specification of test cases: a) in a multi-party testing context; b) which handle multiplexing and demultiplexing in either a single-party or multi-party testing context; c) which handle splitting and recombining in either a single-party or multi-party testing context; d) in a single-party testing context when the complexity of the protocol or set of protocols handled by the IUT is such that concurrency can simplify the specification of the test case 1.7 TTCN modules are defined to allow sharing of common TTCN specifications between test suites.
Technologies de l'information — Interconnexion de systèmes ouverts — Essais de conformité — Méthodologie générale et procédures — Partie 3: Notation combinée, arborescente et tabulaire (TTCN)
General Information
Relations
Standards Content (Sample)
INTERNATIONAL ISOAEC
STANDARD 9646-3
Second edition
1998-l I-01
Information technology - Open Systems
Interconnection - Conformance testing
methodology and framework -
Part 3:
The Tree and Tabular Combined Notation
(TTCN)
Technologies de I’informa tion - lnterconnexion de systkmes ouverts -
- Mkthodologie g&&ale et proc6dures -
Essais de conformit
Partie 3: Notation cornbinge, arborescente et tabulaire (TTCN)
ISO/IEC 9646-3: 1998 (E)
Contents
Page
1Scope.
.
....................................................................
2 Normative references.
.........................................................
3Definitions
...3
...............................................................
3.1 Basic terms from ISO/IEC 9646-l
.3
........................................
3.2 Terms from ISO/IEC 7498-l
.4
............................................
3.3 Terms from ISO/IEC 10731 .4
.............................................
3.4 Terms from ISO/IEC 8824-l
.4
............................................
3.5 Terms from ISO/IEC 8825-l
............................................
3.6 TTCN specific terms. .5
..................................................
4Abbreviations
..s
..............................................................
4.1 Abbreviations defined in ISO/IEC 9646- 1.
.8
.................................
4.2 Abbreviations defined in ISO/IEC 9646-2.
.8
.................................
4.3 Other abbreviations.
.9
...................................................
5ThesyntaxformsofTTCN.
.
...................................................
6Compliance.
..10
............................................................
7Conventions.l 0
7.1Introduction.l 0
7.2 Syntactic metanotation
.................................................
7.3 TTCN.GR table proformas.
-11
............................................
7.3.1 Introduction 11
...................................................
7.3.2 Single TTCN object tables. 11
.......................................
7.3.3 Multiple TTCN object tables. .12
....................................
7.3.4 Alternative compact tables.
.12
......................................
7.3.5 Specification of proformas.
.13
......................................
7.4 Free Text and Bounded Free Text
.13
.......................................
8ConcurrencyinTTCN.l 3
8.1TestComponents
..13
...................................................
8.2 Test Component Configurations.
.13
........................................
9 TTCN test suite structure.
.15
....................................................
9.1Introduction.l 5
9.2 Test Group References
.15
................................................
9.3 Test Step Group References
.15
............................................
9.4 Default Group References.
.15
.............................................
9SPartsofaTTCNtestsuite
.15
..............................................
10 Test Suite Overview.
.16
.......................................................
lO.lIntroduction.l 6
10.2 Test Suite Structure.
.16
.................................................
10.3TestCaseIndex.l 8
10.4TestStepIndex.l 9
10.5 Default Index
.20
......................................................
10.6TestSuiteExports.2 1
10.7TheImportPart.2 2
10.7.1 Introduction
.22
.................................................
10.7J Imports.
.22
....................................................
llDeclarationsPart.2 4
ll.lIntroduction.2 4
11.2TTCNtypes.2 4
112.1 Introduction
.24
.................................................
11.2.2 Redefined TTCN types.
.24
.......................................
11.2.3 Test Suite Type Definitions. .26
....................................
0 ISO/IEC 1998
All rights reserved. Unless otherwise specified, no part of this publication may be reproduced or
utilized in any form or by any means, electronic or mechanical, including photocopying and micro-
film, without permission in writing from the publisher.
ISO/IEC Copyright Office l Case Postale l 56 CH- 1211 Geneve 20 l Switzerland.
Printed in Switzerland.
ISO/IEC 9646-3: 1998 (E)
0 ISO/IEC
.................................. .32
11.3 TI’CN operators and TTCN operations
................................................. .32
11.3.1 Introduction
.............................................. .32
11.3.2 TTCN operators
.......................................... .33
11.3.3 Predefined operations
................... .35
11.3.4 Test Suite Operation definitions and descriptions.
...................................... .40
11.4 Test Suite Parameter Declarations
.............................. .41
11.5 Test Case Selection Expression Definitions.
....................................... ‘42
11.6 Test Suite Constant Declarations
............................ .43
11.7 Test Suite Constant Declarations by Reference
..................................................... 44
11.8 TI’CN variables
................................ .44
11.8.1 Test Suite Variable Declarations.
................................. .45
11.8.2 Binding of Test Suite Variables.
................................. .45
11.8.3 Test Case Variable Declarations
................................. .46
11.8.4 Binding of Test Case Variables.
.46
11.9 PC0 Type Declaration .
.................................................. .47
11.10 PC0 Declarations
................................................... .49
11.11 CP Declarations
................................................. .50
11.12 Timer Declarations
........................ .5 1
11.13 Test Components and Configuration Declarations.
.51
11.13.1 Test Components .
...................... .53
11.13.2 Test Component Configuration Declarations
.............................................. .55
Il.14 ASP Type Definitions.
.55
11.14.1 Introduction .
.............................. .55
11.14.2 ASP Type Definitions using tables
.............. .56
11.14.3 Use of Structured Types within ASP Type Definitions.
............................. .57
11.14.4 ASP Type Definitions using ASN. 1
....................... .58
11.14.5 ASN.1 ASP Type Definitions by Reference
............................................. .59
11.15 PDU Type Definitions.
................................................ .59
11.15.1 Introduction
11.15.2 PDU Type Definitions using tables. . .59
11.15.3 Use of Structured Types within PDU definitions . .61
.............................. 61
11.15.4 PDU Type Definitions using ASN.l
11.15.5 ASN. 1 PDU Type Definitions by Reference. . .63
11.16 Test Suite Encoding Information . .64
11.16.1 Encoding Definitions . .64
.65
11.16.2 Encoding Variations. .
11.16.3 Invalid Field Encoding Definitions . .66
11.16.4 Application of encoding rules . .68
11.17 CM Type Definitions . .69
.69
11.17.1 Introduction .
11.17.2 CM Type Definitions using tables. . .69
11.17.3 CM Type Definitions using ASN.1 . .70
11.18 String length specifications. . .70
11.19 ASP, PDU and CM Definitions for SEND events . .71
11.20 ASP, PDU and CM Definitions for RECEIVE events. . .72
.72
11.21 Alias Definitions .
.72
11.21.1 Introduction .
11.21.2 Expansion of Aliases . .72
12ConstraintsPart.7 3
12.1Introduction.7 3
.................................................. .73
12.2 General principles.
........................................ .74
12.3 Parameterization of constraints.
.............................................. .74
12.4 Chaining of constraints.
.......................................... .75
12.5 Constraints for SEND events
....................................... .75
12.6 Constraints for RECEIVE events
............................................. .75
12.6.1 Matching values.
........................................ .75
12.6.2 Matching mechanisms.
............................................... .76
12.6.3 Specific Value
.............................................. .76
12.6.4 Instead of Value
. . .
III
0 ISO/IEC
ISO/IEC 9646-3: 1998 (E)
12.6.5 Inside Values . .79
12.6.6 Attributes of values . .80
........................................ .81
13 Specification of constraints using tables
13.lIntroduction.8 1
................................. .81
13.2 Structured Type Constraint Declarations
.......................................... .83
13.3 ASP Constraint Declarations
.......................................... .83
13.4 PDU Constraint Declarations
........................................ .85
13.5 Parameterization of constraints.
................................ .85
13.6 Base constraints and modified constraints
............................ .86
13.7 Formal parameter lists in modified constraints.
13.8 CM Constraint Declarations. . .86
.......................................
14 Specification of constraints using ASN.1 .87
14,lIntroduction.8 7
....................................
14.2 ASN.l Type Constraint Declarations .87
....................................
14.3 ASN.1 ASP Constraint Declarations .88
.................................... .89
14.4 ASN.1 PDU Constraint Declarations
14.5 Parameterized ASN.l constraints. . .90
14.6 Modified ASN.1 constraints. . .90
......................
14.7 Formal parameter lists in modified ASN. 1 constraints. .91
.............. .91
14.8 ASP Parameter and PDU field names within ASN. 1 constraints.
....................................
14.9 ASN.1 CM Constraint Declarations. .92
15TheDynamicPart.9 2
15.lIntroduction.9 2
......................................... .92
15.2 Test Case dynamic behaviour.
.............. .92
15.2.1 Specification of the Test Case Dynamic Behaviour table
....................... .93
15.2.2 The Test Case Dynamic Behaviour proforma
............................. .94
15.2.3 Structure of the Test Case behaviour.
15.2.4 Concurrent Test Case Behaviour Description . .94
................................ .95
15.2.5 Line numbering and continuation
.......................................... .95
15.3 Test Step dynamic behaviour
15.3.1 Specification of the Test Step Dynamic Behaviour table . .95
15.3.2 The Test Step Dynamic Behaviour proforma . .96
15.4 Default dynamic behaviour. . .97
15.4.1 Default behaviour. . .97
.97
15.4.2 Specification of the Default Dynamic Behaviour table. .
.97
15.4.3 The Default Dynamic Behaviour proforma. .
15.5 The behaviour description. . .98
.98
15.6 The tree notation. .
15.7 Tree names and parameter lists. . .99
15.7.1 Introduction . .99
.99
15.7.2 Trees with parameters .
15.8 TTCN statements . .99
..l~
15.9TT’CNtestevents. .
15.9.1 Sending and receiving events. .
15.9.2 Receiving events .
15.9.3Sendingevents.l 00
15.9.4 Lifetime of events . 101
15.9.5 Execution of the behaviour tree . .lOl
15.9.6 The IMPLICIT SEND event . .103
15.9.7 The OTHERWISE event. . .104
15.9.8 OTHERWISE and concurrent TTCN . .105
15.9.9 The TIMEOUT event. . .105
15.9.10 Concurrent TTCN events and constructs. . .105
..lO 6
15.10TTCNexpressions. .
.106
15.10.1 Introduction .
...................... .108
15.10.2 References for ASN. 1 defined data objects.
15.103 References for data objects defined using tables. .
15.10.4 Assignments .
..lll
15.10.5Qualifiers .
0 ISO/IEC ISO/IEC 9646-3: 1998 (E)
15.10.6 Event lines with assignments and qualifiers . 111
15.1lPseudo-events.ll 2
.112
15.12 Timer management. .
.112
15.12.1 Introduction .
.113
15.12.2 The START operation. .
...
Questions, Comments and Discussion
Ask us and Technical Secretary will try to provide an answer. You can facilitate discussion about the standard in here.