$Suite $ITEX_MP $SuiteId Parallel $SuiteOverviewPart $Begin_SuiteStructure $SuiteId Parallel $StandardsRef /* */ $PICSref /* */ $PIXITref /* */ $TestMethods /* */ $Comment /* */ $Structure&Objectives $End_Structure&Objectives $Comment /* */ $End_SuiteStructure $Begin_TestCaseIndex $CaseIndex $TestGroupRef Parallel/ $TestCaseId TESTC1 $SelectExprId $Description /* */ $End_CaseIndex $Comment /* */ $End_TestCaseIndex $Begin_DefaultIndex $DefIndex $DefaultRef Parallel/ $DefaultId Def1 $Description /* */ $End_DefIndex $Comment /* */ $End_DefaultIndex $End_SuiteOverviewPart $DeclarationsPart $Begin_PCO_Dcls $Comment /* */ $End_PCO_Dcls $Begin_CP_Dcls $CP_Dcl $CP_Id CP1 $Comment /* */ $End_CP_Dcl $Comment /* */ $End_CP_Dcls $Begin_TimerDcls $TimerDcl $TimerId Timer1 $Duration 2 $Unit s $Comment /* */ $End_TimerDcl $Comment /* */ $End_TimerDcls $Begin_TCompDcls $TCompDcl $TCompId MTC1 $TCompRole MTC $NumOf_PCOs 0 $NumOf_CPs 1 $Comment /* */ $End_TCompDcl $TCompDcl $TCompId PTC1 $TCompRole PTC $NumOf_PCOs 0 $NumOf_CPs 1 $Comment /* */ $End_TCompDcl $Comment /* */ $End_TCompDcls $TCompConfigDcls $Begin_TCompConfigDcl $TCompConfigId Config1 $Comment /* */ $TCompConfigInfos $TCompConfigInfo $TCompUsed MTC1 $PCOs_Used $CPs_Used CP1 $Comment /* */ $End_TCompConfigInfo $TCompConfigInfo $TCompUsed PTC1 $PCOs_Used $CPs_Used CP1 $Comment /* */ $End_TCompConfigInfo $End_TCompConfigInfos $Comment /* */ $End_TCompConfigDcl $End_TCompConfigDcls $PDU_TypeDefs $End_PDU_TypeDefs $CM_TypeDefs $TTCN_CM_TypeDefs $Begin_TTCN_CM_TypeDef $CM_Id Started $Comment /* */ $CM_ParDcls $CM_ParDcl $CM_ParId A $CM_ParType INTEGER $Comment /* */ $End_CM_ParDcl $CM_ParDcl $CM_ParId B $CM_ParType BITSTRING $Comment /* */ $End_CM_ParDcl $End_CM_ParDcls $Comment /* */ $End_TTCN_CM_TypeDef $Begin_TTCN_CM_TypeDef $CM_Id ConReq $Comment /* */ $CM_ParDcls $CM_ParDcl $CM_ParId A $CM_ParType INTEGER $Comment /* */ $End_CM_ParDcl $CM_ParDcl $CM_ParId B $CM_ParType BITSTRING $Comment /* */ $End_CM_ParDcl $End_CM_ParDcls $Comment /* */ $End_TTCN_CM_TypeDef $Begin_TTCN_CM_TypeDef $CM_Id ConConf $Comment /* */ $CM_ParDcls $CM_ParDcl $CM_ParId A $CM_ParType INTEGER $Comment /* */ $End_CM_ParDcl $CM_ParDcl $CM_ParId B $CM_ParType BITSTRING $Comment /* */ $End_CM_ParDcl $End_CM_ParDcls $Comment /* */ $End_TTCN_CM_TypeDef $Begin_TTCN_CM_TypeDef $CM_Id Data $Comment /* */ $CM_ParDcls $CM_ParDcl $CM_ParId A $CM_ParType INTEGER $Comment /* */ $End_CM_ParDcl $CM_ParDcl $CM_ParId B $CM_ParType BITSTRING $Comment /* */ $End_CM_ParDcl $End_CM_ParDcls $Comment /* */ $End_TTCN_CM_TypeDef $Begin_TTCN_CM_TypeDef $CM_Id DisReq $Comment /* */ $CM_ParDcls $CM_ParDcl $CM_ParId A $CM_ParType INTEGER $Comment /* */ $End_CM_ParDcl $CM_ParDcl $CM_ParId B $CM_ParType BITSTRING $Comment /* */ $End_CM_ParDcl $End_CM_ParDcls $Comment /* */ $End_TTCN_CM_TypeDef $Begin_TTCN_CM_TypeDef $CM_Id DisConf $Comment /* */ $CM_ParDcls $CM_ParDcl $CM_ParId A $CM_ParType INTEGER $Comment /* */ $End_CM_ParDcl $CM_ParDcl $CM_ParId B $CM_ParType BITSTRING $Comment /* */ $End_CM_ParDcl $End_CM_ParDcls $Comment /* */ $End_TTCN_CM_TypeDef $End_TTCN_CM_TypeDefs $End_CM_TypeDefs $End_DeclarationsPart $ConstraintsPart $CM_Constraints $TTCN_CM_Constraints $Begin_TTCN_CM_Constraint $ConsId Started_c $CM_Id Started $DerivPath $Comment /* */ $CM_ParValues $CM_ParValue $CM_ParId A $ConsValue 1 $Comment /* */ $End_CM_ParValue $CM_ParValue $CM_ParId B $ConsValue '01'B $Comment /* */ $End_CM_ParValue $End_CM_ParValues $Comment /* */ $End_TTCN_CM_Constraint $Begin_TTCN_CM_Constraint $ConsId ConReq_c $CM_Id ConReq $DerivPath $Comment /* */ $CM_ParValues $CM_ParValue $CM_ParId A $ConsValue 2 $Comment /* */ $End_CM_ParValue $CM_ParValue $CM_ParId B $ConsValue '10'B $Comment /* */ $End_CM_ParValue $End_CM_ParValues $Comment /* */ $End_TTCN_CM_Constraint $Begin_TTCN_CM_Constraint $ConsId ConConf_c $CM_Id ConConf $DerivPath $Comment /* */ $CM_ParValues $CM_ParValue $CM_ParId A $ConsValue 3 $Comment /* */ $End_CM_ParValue $CM_ParValue $CM_ParId B $ConsValue '11'B $Comment /* */ $End_CM_ParValue $End_CM_ParValues $Comment /* */ $End_TTCN_CM_Constraint $Begin_TTCN_CM_Constraint $ConsId Data_c $CM_Id Data $DerivPath $Comment /* */ $CM_ParValues $CM_ParValue $CM_ParId A $ConsValue 4 $Comment /* */ $End_CM_ParValue $CM_ParValue $CM_ParId B $ConsValue '010101'B $Comment /* */ $End_CM_ParValue $End_CM_ParValues $Comment /* */ $End_TTCN_CM_Constraint $Begin_TTCN_CM_Constraint $ConsId Data2_c $CM_Id Data $DerivPath $Comment /* */ $CM_ParValues $CM_ParValue $CM_ParId A $ConsValue 5 $Comment /* */ $End_CM_ParValue $CM_ParValue $CM_ParId B $ConsValue '000000'B $Comment /* */ $End_CM_ParValue $End_CM_ParValues $Comment /* */ $End_TTCN_CM_Constraint $Begin_TTCN_CM_Constraint $ConsId DisReq_c $CM_Id DisReq $DerivPath $Comment /* */ $CM_ParValues $CM_ParValue $CM_ParId A $ConsValue 6 $Comment /* */ $End_CM_ParValue $CM_ParValue $CM_ParId B $ConsValue '110'B $Comment /* */ $End_CM_ParValue $End_CM_ParValues $Comment /* */ $End_TTCN_CM_Constraint $Begin_TTCN_CM_Constraint $ConsId DisConf_c $CM_Id DisConf $DerivPath $Comment /* */ $CM_ParValues $CM_ParValue $CM_ParId A $ConsValue 7 $Comment /* */ $End_CM_ParValue $CM_ParValue $CM_ParId B $ConsValue '111'B $Comment /* */ $End_CM_ParValue $End_CM_ParValues $Comment /* */ $End_TTCN_CM_Constraint $End_TTCN_CM_Constraints $End_CM_Constraints $End_ConstraintsPart $DynamicPart $TestCases $Begin_TestCase $TestCaseId TESTC1 $TestGroupRef Parallel/ $TestPurpose /* */ $Configuration Config1 $DefaultsRef Def1 $SelectExprId $Description /* */ $BehaviourDescription $BehaviourLine $LabelId $Line [0] CREATE(PTC1:LT1) $Cref $VerdictId $End_BehaviourLine $BehaviourLine $LabelId $Line [1] START Timer1 $Cref $VerdictId $End_BehaviourLine $BehaviourLine $LabelId $Line [2] CP1?Started $Cref Started_c $VerdictId $End_BehaviourLine $BehaviourLine $LabelId $Line [3] START Timer1 $Cref $VerdictId $End_BehaviourLine $BehaviourLine $LabelId $Line [4] CP1!ConReq $Cref ConReq_c $VerdictId $End_BehaviourLine $BehaviourLine $LabelId $Line [5] CP1?ConConf $Cref ConConf_c $VerdictId $End_BehaviourLine $BehaviourLine $LabelId $Line [6] CANCEL Timer1 $Cref $VerdictId $End_BehaviourLine $BehaviourLine $LabelId $Line [7] START Timer1 $Cref $VerdictId $End_BehaviourLine $BehaviourLine $LabelId $Line [8] CP1!Data $Cref Data_c $VerdictId $End_BehaviourLine $BehaviourLine $LabelId $Line [9] CP1?Data $Cref Data2_c $VerdictId $End_BehaviourLine $BehaviourLine $LabelId $Line [10] START Timer1 $Cref $VerdictId $End_BehaviourLine $BehaviourLine $LabelId $Line [11] ?TIMEOUT Timer1 $Cref $VerdictId $End_BehaviourLine $BehaviourLine $LabelId $Line [12] CP1!DisReq $Cref DisReq_c $VerdictId $End_BehaviourLine $BehaviourLine $LabelId $Line [13] START Timer1 $Cref $VerdictId $End_BehaviourLine $BehaviourLine $LabelId $Line [14] CP1?DisConf $Cref DisConf_c $VerdictId $End_BehaviourLine $BehaviourLine $LabelId $Line [15] ?DONE(PTC1) $Cref $VerdictId PASS $End_BehaviourLine $End_BehaviourDescription $Comment /* */ $End_TestCase $TestGroup $TestGroupId TG1 $SelectExprId $Objective /* */ $Begin_TestCase $TestCaseId TESTC2 $TestGroupRef Parallel/TG1/ $TestPurpose /* */ $Configuration Config1 $DefaultsRef Def1 $SelectExprId $Description /* */ $BehaviourDescription $BehaviourLine $LabelId $Line [0] CREATE(PTC1:LT1) $Cref $VerdictId $End_BehaviourLine $BehaviourLine $LabelId $Line [1] START Timer1 $Cref $VerdictId $End_BehaviourLine $BehaviourLine $LabelId $Line [2] CP1?Started $Cref Started_c $VerdictId $End_BehaviourLine $BehaviourLine $LabelId $Line [3] START Timer1 $Cref $VerdictId $End_BehaviourLine $BehaviourLine $LabelId $Line [4] CP1!ConReq $Cref ConReq_c $VerdictId $End_BehaviourLine $BehaviourLine $LabelId $Line [5] CP1?ConConf $Cref ConConf_c $VerdictId $End_BehaviourLine $BehaviourLine $LabelId $Line [6] CANCEL Timer1 $Cref $VerdictId $End_BehaviourLine $BehaviourLine $LabelId $Line [7] START Timer1 $Cref $VerdictId $End_BehaviourLine $BehaviourLine $LabelId $Line [8] CP1!Data $Cref Data_c $VerdictId $End_BehaviourLine $BehaviourLine $LabelId $Line [9] CP1?Data $Cref Data2_c $VerdictId $End_BehaviourLine $BehaviourLine $LabelId $Line [10] START Timer1 $Cref $VerdictId $End_BehaviourLine $BehaviourLine $LabelId $Line [11] ?TIMEOUT Timer1 $Cref $VerdictId $End_BehaviourLine $BehaviourLine $LabelId $Line [12] CP1!DisReq $Cref DisReq_c $VerdictId $End_BehaviourLine $BehaviourLine $LabelId $Line [13] START Timer1 $Cref $VerdictId $End_BehaviourLine $BehaviourLine $LabelId $Line [14] CP1?DisConf $Cref DisConf_c $VerdictId $End_BehaviourLine $BehaviourLine $LabelId $Line [15] ?DONE(PTC1) $Cref $VerdictId PASS $End_BehaviourLine $End_BehaviourDescription $Comment /* */ $End_TestCase $TestGroup $TestGroupId TG2 $SelectExprId $Objective /* */ $End_TestGroup $End_TestGroup $End_TestCases $TestStepLibrary $Begin_TestStep $TestStepId LT1 $TestStepRef Parallel/ $Objective /* */ $DefaultsRef Def2 $Description /* */ $BehaviourDescription $BehaviourLine $LabelId $Line [0] CP1!Started $Cref Started_c $VerdictId $End_BehaviourLine $BehaviourLine $LabelId $Line [1] START Timer1(10) $Cref $VerdictId $End_BehaviourLine $BehaviourLine $LabelId $Line [2] CP1?ConReq $Cref ConReq_c $VerdictId $End_BehaviourLine $BehaviourLine $LabelId $Line [3] CP1!ConConf $Cref ConConf_c $VerdictId $End_BehaviourLine $BehaviourLine $LabelId $Line [4] START Timer1(10) $Cref $VerdictId $End_BehaviourLine $BehaviourLine $LabelId $Line [5] CP1?Data $Cref Data_c $VerdictId $End_BehaviourLine $BehaviourLine $LabelId $Line [6] CP1!Data $Cref Data2_c $VerdictId $End_BehaviourLine $BehaviourLine $LabelId $Line [7] START Timer1 (10) $Cref $VerdictId $End_BehaviourLine $BehaviourLine $LabelId $Line [8] CP1?DisReq $Cref DisReq_c $VerdictId $End_BehaviourLine $BehaviourLine $LabelId $Line [9] CP1!DisConf $Cref DisConf_c $VerdictId PASS $End_BehaviourLine $End_BehaviourDescription $Comment /* */ $End_TestStep $End_TestStepLibrary $DefaultsLibrary $Begin_Default $DefaultId Def1 $DefaultRef Parallel/ $Objective /* */ $Description /* */ $BehaviourDescription $BehaviourLine $LabelId $Line [0] ?TIMEOUT Timer1 $Cref $VerdictId $End_BehaviourLine $BehaviourLine $LabelId $Line [1] ?DONE(PTC1) $Cref $VerdictId FAIL $End_BehaviourLine $BehaviourLine $LabelId $Line [0] ?DONE(PTC1) $Cref $VerdictId FAIL $End_BehaviourLine $BehaviourLine $LabelId $Line [0] ?OTHERWISE $Cref $VerdictId $End_BehaviourLine $BehaviourLine $LabelId $Line [1] ?DONE(PTC1) $Cref $VerdictId FAIL $End_BehaviourLine $End_BehaviourDescription $Comment /* */ $End_Default $Begin_Default $DefaultId Def2 $DefaultRef Parallel/ $Objective /* */ $Description /* */ $BehaviourDescription $BehaviourLine $LabelId $Line [0] ?TIMEOUT Timer1 $Cref $VerdictId FAIL $End_BehaviourLine $BehaviourLine $LabelId $Line [0] ?OTHERWISE $Cref $VerdictId FAIL $End_BehaviourLine $End_BehaviourDescription $Comment /* */ $End_Default $End_DefaultsLibrary $End_DynamicPart $End_Suite