OSI/ITU(ISO/IEC 9646 (ITU X.290 series)(Tree Tabular Combine Notation or Testing and Test Control Notation)ISO/IEC 9646-3

3.1

IUTImplement Under TestIUTOSISUTIUTSystem Under TestSUTUTLTIUTUpper Test(Low Test)

PCOPoints of Control and ObservationPCOsUTLTLTIUTPCO PCOFIFO

ASPsIUTUTAbstract Service PrimitivesASPsPDUsIUTLTProtocol Data UnitsPDUsPDUs ASPs PDUsCTMF PDUsPDUsASPsPDUs

TCPTest Coordination Procedures TCPLTUTLTUT CTMF LTUT

3.2CTMFIUTEnd StateVerification

3.1.2 X-CTMFX-MTCMaster Tester ComponentPTCs(Parallel Tester Components)X-PTC(LT)PTC(UT)IUTPTCPTCX-NX_CONNECTrequestTTCN

PTCIUTPTCPTCMTC

LTN-SERVICE N-PDUsN_DATArequestCR_PDU//UTX-SERVICEX_CONNECTrequest//

TTCN /ASPsASPsPDUsASPsPCOs/

TTCNASPPDU PCOsASPsPDUs IUTX-

3.2 IUTtest caseTTCNTTCNIUT

TTCNISO/IEC 9646-3TTCNTTCN-GRBackus-Naur FormBNF)TTCNTTCN-MP(TTCN-machine processable)TTCN-GR

3.2.1 TTCN

12345678910A C F G H D E I JB

3.2.2 TTCNTTCN

ASPs

input eventsPCOASPCPcoordination pointsCP)(timer events) RECEIVE OTHERWISE TIMEOUT

SEND IMPLICIT_SEND //Keep aliveASSIGNMENT_LIST TIMER_OPERATION GOTO

True TTCNBOOLEAN_EXPRESSION L! N_DATArequest [B=1]

3.2.2.2 1-1 (A,B), (C, D, E), (F, G), (I, J) (H)

A,BAC,D,EABCDEI,J

3.3 TTCN TTCNASPs

3.3.1 TTCN HEX STRING//16`0F'HBOOLENINTEGERBIT STRING//`1001'BOCTET STRING/ASN.1 16`0F'OCharacter String//IA5StringENUMERATED//OBJECT IDENTIFIER//ttcn-standard OBJECT IDENTIFIER ::= { iso (1) standard (0) 9646 3 }REAL//10*2-2NULL//ASN.1

TTCNASN.1ASN.1 TTCN

3.3.4 TTCNASPsPDUsASPs PDUsCM

3.4 PCOsCPs TTCNPCOsCoordination Points CPs

3.4.1 PCOsCPsPCO/CP SENDASPRECEIVEASPPCOCPPCO/CPPCO/CP

3.4.2 ASP ASPSENDASPPCOPCOSENDLTUT

3.4.3 (receipt)ASP RECEIVEASP ASP

3.4.4 PCOPCOPCOPCOPCOPCOLTUT

3.4.5 PCOsCPs PCOPCOTTCNPCOCPPCOCPTTCN

3.4.6 PCOCP PCOCPPCOCPASPPDUCM

3.4.7 CPs CPsCPCPCPCP

3.5 TTCNPCO/CPIUTASPsPDUs(SEND)

3.5.1 ASP PCOASPPCO_Identifier ! ASP_Identifier SEND3[QUALIFIER]1 [ASSIGNMENT_LIST]2 [TIMER_OPERATION]4

3.5.2 QUALIFIERFALSEQUALIFIERTRUEASSIGNMENT_LISTTIMER_OPERATION

L! N_DATArequest //LPCOL! N_DATArequest [B=1] //B=1SENDL! N_DATArequest [B=1] (X:=3) //B=1X3SEND

3.5.3 PDU PDUs ASPsSENDX.25TTCNPDUsASPs PDU PCO_Identifier ! PDU_Identifie PDUSEND

3.5.4 CP(Coordination MessageCM)CP_Identifier ! CM_Identifier CMSEND

3.6 IUT

3.6.1 ASP PCO_Identifier ? ASP_Identifier RECEIVE1[QUALIFIER]2 (ASSIGNMENT_LIST)3 [TIMER_OPERATION]4

3.6.2 QUALIFIERFALSEQUALIFIERTRUEASSIGNMENT_LISTTIMER_OPERATION

L? N_DATArequest//LPCOL? N_DATArequest [B=1]//LPCOB=1L? N_DATArequest [B=1] (X:=3)//LPCOB=1ASSIGNMENT_LIST

3.6.3 PDU PDU PCO_Identifier ? PDU_Identifier

3.6.4 CP(Coordination MessageCM)CP_Identifier ?CM_Identifier CMRECEIVE

3.6.5 OTHERWISE OTHERWISEPCOASPPDUASPPDUIUTOTHERWISEOTHERWISEPCO_Identifier ? OTHERWISE OTHERWISECPOTHERWISE

3.7 ASPPDUCM ASPsNN-1ASPsPDUsPDUsPDUsPDUsTTCNASN.1

3.7.1 TTCN TTCNASP PDU Structured CM

ASPPDUstructuredASPASP PDUASPstructuredASP

3.7.2 Chaining

3.7.3 ASN.1 ASN.1SEQUENCESETASN.1ASN.1ASN.1 ASP ASN.1 PDUASN.1 CM

3.7.6 ASPs

3.3.7 PDUs

3.3.8 ASPsPDUs

3.3.9 CM

3.3.10ASPsPDUs

1.1LIUTN-DATA requestUTX-Connect indicationUTX-Connect responseLTN-DATA indication

3.8 TTCN TTCN ASPPDUCMTTCN

3.8.1 TTCN TTCN

TTCN+-* /MOD =BOOLEAN

TTCN>=

[ expression ] [ X < 6 AND H_string `FF'H ]

TTCNASSIGNMENT_LIST(assignment1, . . . ., assignmentn ) (X := 3, A := a string, Y := 3*(Z+9), H := `FFH)

3.8.2 TTCNHEX_TO_INT (data_object_reference)HEXSTRINGINTEGERBIT_TO_INT (data_object_reference) INT_TO_HEX (data_object_reference)INTEGERHEXSTRINGINT_TO_BIT (data_object_reference)INTEGERBITSTRINGLENGTH_OF (data_object_reference)

NUMBER_OF_ELEMENTS (data_object_reference) SEQUENCESETIF_PRESENT (data_object_reference) OPTIONALDEFAULTPDUIS_CHOSEN (data_object_reference) CHOICE(PDU)

3.9 ASPPDUCM ASPPDUCMTTCNASPPDUStructuredCM

3.9.1 StaticDynamic Static chainingPDUstructure ASPPDUstructureDynamic chaining

3.9.2 ASN.1 ASN.1

3.9.3 ASP ASPASPCMPDUsPDUASPPDUPDUASP

3.9.4 PDU

3.9.5

3.9.6 CM

3.10 TTCNSENDRECEIVEASPPDUASPPDUSENDRECEIVE

3.10.1

ASPsPDUs structures

3.10.2 TTCNSend ObjectASSIGNMENT_LISTBUILDSEND3BUILD2[QUALIFIER]1 [ASSIGNMENT_LIST]3 [TIMER_OPERATION]4

SENDreceived constraint valueASPPDUCMPDUCMASPPDUCM

RECEIVEASPPDUCMASPPDUCMASPPDUCMTTCNRECEIVERECEIVERECEIVE1 MATCH2 [QUALIFIER]3 [ASSIGNMENT_LIST]4 [TIMER_OPERATION]5

TTCNReceived ObjectPCOCPASPPDU CMRECEIVE RECEIVEreceived constraint valueASPASPPDUCMPDUCMASPPDUCM received valueASPPDUCM

3.10.3 OTHERWISE OTHERWISE OTHERWISEPCO

3.11 RECEIVE

3.11.1 specific value literalTTCNASPPDUCM

TTCNTTCN

(Omitting Values)ASPPDUTTCN-

3.11.2 PDUPDUTTCN(matching symbols)(matching operations)(matching attributes)

lists of valuescomplemented lists of valuesranges of INTEGER valuesany valueany value or omit valuewildcards if_present attribute length attributes

`00B `11B(`00B, `11B)

:COMPLEMENT`01B`10B COMPLEMENT (`00B,`11B)COMPLEMENT (`00B, `11B)(NOT `00B, NOT `11B)

Matching RangesINTEGERINFINITY-INFINITY:(8 .. INFINITY)7

Matching Any Value?`00B`01B`10B `11B2BITSTRING

AnyOrOmit*2BITSTRING`00B`01B`10B `11BSEQUENCE OF INTEGERSEQUENCE OF INTEGER

AnyOne :? AnyOrNone:StringSEQUENCESEQUENCE OFSETSET OF

`?0'B`00'B`10'B"ab?z"4abzSEQUENCE OF INTEGER{1, 2, ?, 3}34

*StringSEQUENCESEQUENCE OFSETSET OF

`*0'B0BITSTRING"ab*z"ab z"abz"SEQUENCE OF INTEGER{1, 2, *, 3}SEQUENCE OF INTEGER1, 23{1,2,3}

If_PresentIf_PresentIUTPDU3 IF_PRESENT3TTCNASN.1

Length RestrictionsBITSTRINGHEXSTRINGOCTETSTRING //ASN.1 16CharacterStringSEQUENCE OFSET OF HEXSTRING [8]

3.12 TTCNTTCNTTCN

ASP/PDUASP/PDUASP/PDU ASP/PDUASP/PDU

ASPs ASPASPTTCNASPASPASPTTCN

PDUs ASPPDUETSTTCNPDUASN.1ASN.1BER

3.13 TTCNASPPDUstructureCM

ASN.1BITSTRINGBITSEQUENCESEQUENCE OFSETSET OFCHOICE SENDRECEIVEASPPDU

3.13.1 SENDRECEIVE SENDRECEIVEASPPDU ASP_Identifier . ParameterIdentifier PDU_Identifer . FieldIdentifier CM_Identifer . FieldIdentifier StructuredTypeIdentifier . ElementIdentifier

PDUASPkASP_Identifier . Parameteri . PDU_Identifier . fieldj . StructureIdentifier . elementk ASPPDUstructureStructureIdentifier . elementk

A := N_DATAindication . user_data . DT_PDU . user_data A := DT_PDU . user_data

3-35a_pduFALSE

field222

BIT STRINGfield131

3.13.3 ASPs PDUs ASPPDURECEIVEASPPDUstructure type

3.14 Verdicts TTCNTTCNIMPLICIT SEND ATTACHGOTOREPEAT

3.14.1 Rpassfailinconc R

3.14.2 R (P)(PASS)(I)(INCONC)//N_DISCONNECTindicationASP.(F)(FAIL)

RFAILPASSRPASSFAILRPASSFAILRFAILR

3.14.3 (fail or inconc )PPASSpassIINCONCFFAILfailRRnone

RfailpassfailRpassfailfail

3.15 GOTO TTCNGOTOGOTO -> LabelIdentifier GOTO LabelIdentifier

GOTO GOTOGOTO;GOTO;GOTO;GOTO

3.16 TTCNIUTIUTSTARTTIMEOUTCANCELDuration

ps()nsus () ms () s ()min ()

TTCNTIMEOUTSTARTCANCEL

TIMEOUT TTCN ?TIMEOUT TimerIdentifier TIMEOUTTIMEOUT

?TIMEOUT timerIdentifierTIMEOUT

TIMEOUTTIMEOUTASSIGNMENT_LIST TIMER_OPERATIONTIMEOUT2 [QUALIFIER]1 [ASSIGNMENT_LIST]3 [TIMER_OPERATION]4 TIMEOUTIUT

TIMEOUTTIMEOUT

START STARTSTART TimerIdentifier START TimerIdentifier ( Duration )

START_TIMERSTART_TIMER[QUALIFIER]1 [ASSIGNMENT_LIST]2 [START_TIMER]3

CANCEL CANCELCANCEL CANCEL TimerIdentifier CANCEL CANCEL TimerIdentifier

[QUALIFIER]1 [ASSIGNMENT_LIST]2 [CANCEL_TIMER]3

3.17 TTCN

IUTIUTIUT

Protocol Implement Conformence StatementPICSProtocol Implement eXtra Information for TestPIXITIUT PICSPIXIT

TTCN TTCN countTTCNTTCN

3.18 TTCN

SuiteIdentifier / GroupIdentifier1 / . . . / GroupIdentifiern /

TTCN

3.19

ISO/IEC 9646-3 SENDRECEIVEASPPDUPCO_Identifier ! AliasIdentifier PCO_Identifier ? AliasIdentifier

3.20 TTCN

3.20.1 PCOs

3-10 ATTACH + TreeIdentifier ActualParameterList + TestStepIdentifier ActualParameterList

3.20.2 TTCNOTHERWISEASPsPDUsASPsPDUsTIMEOUT

3.21 TTCN TTCN

1

ASN.1 1ASN.1 1

PCOCP TimerASP 1ASN.1 ASP 1ASN.1 ASP PDU 1

ASN.1 PDU 1 ASN.1 PDU TTCN CM 1ASN.1 CM 1

ASP 1ASN.1 ASP 1PDU 1 ASN.1 PDU 1 1 ASN.1 1 CM 1

1 1 1

3.22