Post on 23-Jan-2016
description
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
[ 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