Commit f4fa0c01 authored by Yann Garcia's avatar Yann Garcia
Browse files

Add TTCN-3 submodules on master branch

parent 930d5256
Loading
Loading
Loading
Loading

.gitmodules

0 → 100644
+16 −0
Original line number Diff line number Diff line
[submodule "ttcn/LibCommon"]
	path = ttcn/LibCommon
	url = https://forge.etsi.org/rep/LIBS/LibCommon.git
	branch = master
[submodule "ttcn/LibSip"]
	path = ttcn/LibSip
	url = https://forge.etsi.org/rep/LIBS/LibSip.git
	branch = master
[submodule "ttcn/LibDiameter"]
	path = ttcn/LibDiameter
	url = https://forge.etsi.org/rep/LIBS/LibDiameter.git
	branch = master
[submodule "ttcn/LibIms"]
	path = ttcn/LibIms
	url = https://forge.etsi.org/rep/LIBS/LibIms.git
	branch = master
+1 −0
Original line number Diff line number Diff line
@@ -3,6 +3,7 @@
	<name>STF574_vxlte-iop</name>
	<comment></comment>
	<projects>
		<project>Abstract_Socket_CNL113384</project>
	</projects>
	<buildSpec>
		<buildCommand>
+103 −31
Original line number Diff line number Diff line
@@ -1893,7 +1893,7 @@ Package TP_GM {
        
        TP Id TP_GM_PCSCF_200OK_BYE_01
        
        Test objective  "Verify that the P-CSCF successfully processes a 200 (OK) on session release (Originating Leg)."
        Test objective  "Verify that the P-CSCF successfully processes a 200 (OK) BYE (Originating Leg)."
        
        Reference 
            "ETSI TS 124 229 [2], ETIS TS 124 229 [2] Clause 5.1.5, Clause 6.2"
@@ -1935,7 +1935,7 @@ Package TP_GM {
        
        TP Id TP_GM_PCSCF_200OK_BYE_02
        
        Test objective  "Verify that the P-CSCF successfully processes a 200 (OK) on session release (Terminating Leg)."
        Test objective  "Verify that the P-CSCF successfully processes a 200 (OK) BYE (Terminating Leg)."
        
        Reference 
            "ETSI TS 124 229 [2], ETIS TS 124 229 [2] Clause 5.1.5, Clause 6.2"
@@ -1977,7 +1977,7 @@ Package TP_GM {
        
        TP Id TP_GM_PCSCF_200OK_BYE_03
        
        Test objective  "Verify that the P-CSCF successfully processes a 200 (OK) on session release (Terminating Leg)."
        Test objective  "Verify that the P-CSCF successfully processes a 200 (OK) BYE (Terminating Leg)."
        
        Reference 
            "ETSI TS 124 229 [2], ETIS TS 124 229 [2] Clause 5.1.5, Clause 6.2"
@@ -2015,10 +2015,10 @@ Package TP_GM {
        TP Id TP_GM_PCSCF_CANCEL_01
        // ??? from ETSI TS 186 011-1 V5.1.1 (2013-10)
        
        Test objective  "Verify that the P-CSCF successfully processes a BYE (Originating Leg)."
        Test objective  "Verify that the P-CSCF successfully processes a CANCEL (Originating Leg)."
        
        Reference 
            "ETSI TS 124 229 [2], clauses 5.1.3 and 6.1.1"
            "ETSI TS 124 229 [2], Clause 5.1.3 and Clause 6.2"
        
        Config Id CF_VxLTE_INT
        
@@ -2057,10 +2057,10 @@ Package TP_GM {
        TP Id TP_GM_PCSCF_CANCEL_02
        // ??? from ETSI TS 186 011-1 V5.1.1 (2013-10)
        
        Test objective  "Verify that the P-CSCF successfully processes a BYE (Terminating Leg)."
        Test objective  "Verify that the P-CSCF successfully processes a CANCEL (Terminating Leg)."
        
        Reference 
            "ETSI TS 124 229 [2], clauses 5.1.4 and 6.1.1"
            "ETSI TS 124 229 [2], Clause 5.1.3 and Clause 6.2"
        
        Config Id CF_VxLTE_INT
        
@@ -2099,10 +2099,10 @@ Package TP_GM {
        TP Id TP_GM_PCSCF_CANCEL_03
        // ??? from ETSI TS 186 011-1 V5.1.1 (2013-10)
        
        Test objective  "Verify that the P-CSCF successfully processes a BYE (Originating Leg)."
        Test objective  "Verify that the P-CSCF successfully processes a CANCEL (Originating Leg)."
        
        Reference 
            "ETSI TS 124 229 [2], clauses 5.1.3 and 6.1.1"
            "ETSI TS 124 229 [2], Clause 5.1.3 and Clause 6.2"
        
        Config Id CF_VxLTE_INT
        
@@ -2141,10 +2141,10 @@ Package TP_GM {
        TP Id TP_GM_PCSCF_CANCEL_04
        // ??? from ETSI TS 186 011-1 V5.1.1 (2013-10)
        
        Test objective  "Verify that the P-CSCF successfully processes a BYE (Terminating Leg)."
        Test objective  "Verify that the P-CSCF successfully processes a CANCEL (Terminating Leg)."
        
        Reference 
            "ETSI TS 124 229 [2], clauses 5.1.4 and 6.1.1"
            "ETSI TS 124 229 [2], Clause 5.1.3 and Clause 6.2"
        
        Config Id CF_VxLTE_RMI
        
@@ -2184,10 +2184,10 @@ Package TP_GM {
        // TP_IMS_5055_02 from ETSI TS 186 011-1 V5.1.1 (2013-10)
        // TP_IMST2_GM_INI_04A from ETSI TS 102 790-2 V3.1.1 (2014-07)
        
        Test objective  "Verify that the P-CSCF successfully processes a 200 (OK) provisional response on initial INVITE (Originating Leg)."
        Test objective  "Verify that the P-CSCF successfully processes a 200 (OK) CANCEL (Originating Leg)."
        
        Reference 
            "ETSI TS 124 229 [2], clauses 5.1.3 and 6.1.1"
            "ETSI TS 124 229 [2], Clause 5.1.3 and Clause 6.2"
        
        Config Id CF_VxLTE_INT
        
@@ -2223,10 +2223,10 @@ Package TP_GM {
        // TP_IMS_5055_02 from ETSI TS 186 011-1 V5.1.1 (2013-10)
        // TP_IMST2_GM_INI_03A from ETSI TS 102 790-2 V3.1.1 (2014-07)
        
        Test objective  "Verify that the P-CSCF successfully processes a 200 (Ok) provisional response on initial INVITE (Terminating Leg)."
        Test objective  "Verify that the P-CSCF successfully processes a 200 (OK) CANCEL (Terminating Leg)."
        
        Reference 
            "ETSI TS 124 229 [2], clauses 5.1.4 and 6.1.1"
            "ETSI TS 124 229 [2], Clause 5.1.3 and Clause 6.2"
        
        Config Id CF_VxLTE_INT
        
@@ -2242,18 +2242,7 @@ Package TP_GM {
        Expected behaviour
            ensure that { 
                when { 
                    the UE_B entity sends a 200_Ok containing
                        From indicating value PX_UE_B_SIP_URI,
                        To indicating value PX_UE_A_SIP_URI,
                        CallId indicating value PX_UE_B_CALLID,
                        Via indicating value PX_UE_B_VIA,
                        Route indicating value PX_UE_B_SERVICE_ROUTE,
                        not PChargingVector,
                        not PChargingFunctionAddresses,
                        not PPreferredIdentity
                        // TODO To be continued
                    ;
                    to the IMS_P_CSCF_B entity
                    the UE_B entity isRequestedToSend a CANCEL
                }
                then {
                    the IMS_P_CSCF_B entity receives a 200_Ok containing
@@ -2279,7 +2268,7 @@ Package TP_GM {
        // TP_IMS_5055_02 from ETSI TS 186 011-1 V5.1.1 (2013-10)
        // TP_IMST2_GM_INI_04A from ETSI TS 102 790-2 V3.1.1 (2014-07)
        
        Test objective  "Verify that the P-CSCF successfully processes a 200 (OK) provisional response on initial INVITE (Originating Leg)."
        Test objective  "Verify that the P-CSCF successfully processes a 200 (OK) CANCEL (Originating Leg)."
        
        Reference 
            "ETSI TS 124 229 [2], clauses 5.1.3 and 6.1.1"
@@ -2318,7 +2307,7 @@ Package TP_GM {
        // TP_IMS_5055_02 from ETSI TS 186 011-1 V5.1.1 (2013-10)
        // TP_IMST2_GM_INI_03A from ETSI TS 102 790-2 V3.1.1 (2014-07)
        
        Test objective  "Verify that the P-CSCF successfully processes a 200 (Ok) provisional response on initial INVITE (Terminating Leg)."
        Test objective  "Verify that the P-CSCF successfully processes a 200 (OK) CANCEL (Terminating Leg)."
        
        Reference 
            "ETSI TS 124 229 [2], clauses 5.1.4 and 6.1.1"
@@ -2383,7 +2372,7 @@ Package TP_GM {
        Expected behaviour
            ensure that { 
                when { 
                    the UE_A entity isRequestedToSend an INVITE
                    the UE_A entity isRequestedToSend an 486_INVITE
                }
                then {
                    the IMS_P_CSCF_A entity sends a 486_INVITE containing
@@ -2425,7 +2414,7 @@ Package TP_GM {
        Expected behaviour
            ensure that { 
                when { 
                    the UE_A entity hasAchieveInitialINVITE
                    the UE_A entity isRequestedToSend a CANCEL
                }
                then {
                    the IMS_P_CSCF_B entity sends a 486_INVITE containing
@@ -2526,6 +2515,89 @@ Package TP_GM {
            
    } // End of TP_GM_PCSCF_486INVITE_04
    
    Test Purpose {
        
        TP Id TP_GM_PCSCF_487INVITE_01
        
        Test objective  "Verify that the P-CSCF successfully processes a 487 INVITE (Request Terminated) (Originating Leg)."
        
        Reference 
            "ETSI TS 124 229 [2], Clause 5.1.3 and Clause 6.2"
        
        Config Id CF_VxLTE_INT
        
        PICS Selection  NONE
        
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_A and
            the UE_B entity isAttachedTo the EPC_B and
            the UE_A entity isRegisteredTo the IMS_A and
            the UE_B entity isRegisteredTo the IMS_B
        }
        
        Expected behaviour
            ensure that { 
                when { 
                    the UE_A entity isRequestedToSend an CANCEL
                }
                then {
                    the IMS_P_CSCF_A entity sends a 487_INVITE containing
                        From indicating value PX_UE_B_SIP_URI,
                        To indicating value PX_UE_A_SIP_URI,
                        CallId indicating value PX_UE_B_CALLID,
                        Via indicating value PX_UE_B_VIA,
                        Route indicating value PX_UE_B_SERVICE_ROUTE
                        // TODO To be continued
                    ;
                    to the UE_A entity
                }
            }
        
    } // End of TP_GM_PCSCF_487INVITE_01
    
    Test Purpose {
        
        TP Id TP_GM_PCSCF_487INVITE_02
        
        Test objective  "Verify that the P-CSCF successfully processes a 487 INVITE (Request Terminated) (Terminating Leg)."
        
        Reference 
            "ETSI TS 124 229 [2], Clause 5.1.3 and Clause 6.2"
        
        Config Id CF_VxLTE_INT
        
        PICS Selection  NONE
        
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_A and
            the UE_B entity isAttachedTo the EPC_B and
            the UE_A entity isRegisteredTo the IMS_A and
            the UE_B entity isRegisteredTo the IMS_B
        }
        
        Expected behaviour
            ensure that { 
                when { 
                    the UE_B entity isRequestedToSend a CANCEL
                }
                then {
                    the IMS_P_CSCF_B entity receives a 487_INVITE containing
                        From indicating value PX_UE_B_SIP_URI,
                        To indicating value PX_UE_A_SIP_URI,
                        CallId indicating value PX_UE_B_CALLID,
                        Via indicating value PX_UE_B_VIA,
                        Route indicating value PX_UE_B_SERVICE_ROUTE,
                        not PChargingVector,
                        not PChargingFunctionAddresses,
                        not PPreferredIdentity
                        // TODO To be continued
                    ;
                    from the UE_B entity
                }
            }
        
    } // End of TP_GM_PCSCF_487INVITE_02
    
    
    
    
+6 −6
Original line number Diff line number Diff line
@@ -1610,7 +1610,7 @@ Package TP_MW_IB {
        Expected behaviour
            ensure that { 
                when { 
                    the IMS_S_CSCF_A entity sends an CANCEL containing
                    the IMS_I_CSCF_A entity receives an CANCEL containing
                        From indicating value PX_UE_A_SIP_URI,
                        To indicating value PX_UE_B_SIP_URI,
                        CallId indicating value PX_UE_A_CALLID,
@@ -1618,7 +1618,7 @@ Package TP_MW_IB {
                        Route indicating value PX_UE_A_SERVICE_ROUTE
                        // TODO To be continued
                    ;
                    to the IMS_I_CSCF_A entity
                    from the IMS_S_CSCF_A entity
                }
                then {
                    the IMS_I_CSCF_A entity sends an CANCEL containing
@@ -1662,7 +1662,7 @@ Package TP_MW_IB {
        Expected behaviour
            ensure that { 
                when { 
                    the IMS_I_CSCF_A entity receives an CANCEL containing
                    the IMS_I_CSCF_B entity receives an CANCEL containing
                        From indicating value PX_UE_A_SIP_URI,
                        To indicating value PX_UE_B_SIP_URI,
                        CallId indicating value PX_UE_A_CALLID,
@@ -1670,10 +1670,10 @@ Package TP_MW_IB {
                        Route indicating value PX_UE_A_SERVICE_ROUTE
                        // TODO To be continued
                    ;
                    from the IMS_IBCF_A entity
                    from the IMS_S_CSCF_B entity
                }
                then {
                    the IMS_I_CSCF_A entity sends an CANCEL containing
                    the IMS_I_CSCF_B entity sends an CANCEL containing
                        From indicating value PX_UE_A_SIP_URI,
                        To indicating value PX_UE_B_SIP_URI,
                        CallId indicating value PX_UE_A_CALLID,
@@ -1681,7 +1681,7 @@ Package TP_MW_IB {
                        Route indicating value PX_UE_A_SERVICE_ROUTE
                        // TODO To be continued
                    ;
                    from the IMS_S_CSCF_A entity
                    to the IMS_IBCF_B entity
                }
            }
        
+115 −15
Original line number Diff line number Diff line
@@ -2427,7 +2427,7 @@ Package TP_MW_PS {
        Test objective  "Verify that the P-CSCF successfully processes a CANCEL (Originating Leg)."
        
        Reference 
            "ETSI TS 124 229 [2], clauses 5.2.7 and 6.2"
            "ETSI TS 124 229 [2], Clause 5.1.3 and Clause 6.2"
        
        Config Id CF_VxLTE_INT
        
@@ -2445,7 +2445,7 @@ Package TP_MW_PS {
        Expected behaviour
            ensure that { 
                when { 
                    the UE_A entity sends an CANCEL containing
                    the IMS_P_CSCF_A entity receives an CANCEL containing
                        From indicating value PX_UE_A_SIP_URI,
                        To indicating value PX_UE_B_SIP_URI,
                        CallId indicating value PX_UE_A_CALLID,
@@ -2453,7 +2453,7 @@ Package TP_MW_PS {
                        Route indicating value PX_UE_A_SERVICE_ROUTE
                        // TODO To be continued
                    ;
                    to the IMS_P_CSCF_A entity
                    from the UE_A entity
                }
                then {
                    the IMS_P_CSCF_A entity sends an CANCEL containing
@@ -2464,7 +2464,7 @@ Package TP_MW_PS {
                        Route indicating value PX_UE_A_SERVICE_ROUTE
                        // TODO To be continued
                    ;
                    from the IMS_S_CSCF_A entity
                    to the IMS_S_CSCF_A entity
                }
            }
        
@@ -2479,7 +2479,7 @@ Package TP_MW_PS {
        Test objective  "Verify that the P-CSCF successfully processes a CANCEL (Terminating Leg)."
        
        Reference 
            "ETSI TS 124 229 [2], clauses 5.2.7 and 6.2"
            "ETSI TS 124 229 [2], Clause 5.1.3 and Clause 6.2"
        
        Config Id CF_VxLTE_INT
        
@@ -2497,7 +2497,7 @@ Package TP_MW_PS {
        Expected behaviour
            ensure that { 
                when { 
                    the IMS_P_CSCF_A entity receives an CANCEL containing
                    the IMS_P_CSCF_B entity receives an CANCEL containing
                        From indicating value PX_UE_A_SIP_URI,
                        To indicating value PX_UE_B_SIP_URI,
                        CallId indicating value PX_UE_A_CALLID,
@@ -2505,10 +2505,10 @@ Package TP_MW_PS {
                        Route indicating value PX_UE_A_SERVICE_ROUTE
                        // TODO To be continued
                    ;
                    from the IMS_S_CSCF_A entity
                    from the UE_B entity
                }
                then {
                    the IMS_P_CSCF_A entity sends an CANCEL containing
                    the IMS_P_CSCF_B entity sends an CANCEL containing
                        From indicating value PX_UE_A_SIP_URI,
                        To indicating value PX_UE_B_SIP_URI,
                        CallId indicating value PX_UE_A_CALLID,
@@ -2516,7 +2516,7 @@ Package TP_MW_PS {
                        Route indicating value PX_UE_A_SERVICE_ROUTE
                        // TODO To be continued
                    ;
                    from the UE_A entity
                    to the IMS_S_CSCF_B entity
                }
            }
        
@@ -2531,7 +2531,7 @@ Package TP_MW_PS {
        Test objective  "Verify that the P-CSCF successfully processes a CANCEL (Originating Leg)."
        
        Reference 
            "ETSI TS 124 229 [2], clauses 5.2.7 and 6.2"
            "ETSI TS 124 229 [2], Clause 5.1.3 and Clause 6.2"
        
        Config Id CF_VxLTE_RMI
        
@@ -2583,7 +2583,7 @@ Package TP_MW_PS {
        Test objective  "Verify that the P-CSCF successfully processes a CANCEL (Terminating Leg)."
        
        Reference 
            "ETSI TS 124 229 [2], clauses 5.2.7 and 6.2"
            "ETSI TS 124 229 [2], Clause 5.1.3 and Clause 6.2"
        
        Config Id CF_VxLTE_RMI
        
@@ -2701,7 +2701,7 @@ Package TP_MW_PS {
        Expected behaviour
            ensure that { 
                when { 
                    the IMS_P_CSCF_A entity receives a 486_INVITE containing
                    the IMS_P_CSCF_B entity receives a 486_INVITE containing
                        From indicating value PX_UE_B_SIP_URI,
                        To indicating value PX_UE_A_SIP_URI,
                        CallId indicating value PX_UE_B_CALLID,
@@ -2709,10 +2709,10 @@ Package TP_MW_PS {
                        Route indicating value PX_UE_B_SERVICE_ROUTE
                        // TODO To be continued
                    ;
                    from the UE_A entity
                    from the UE_B entity
                }
                then {
                    the IMS_P_CSCF_A entity sends a 486_INVITE containing
                    the IMS_P_CSCF_B entity sends a 486_INVITE containing
                        From indicating value PX_UE_B_SIP_URI,
                        To indicating value PX_UE_A_SIP_URI,
                        CallId indicating value PX_UE_B_CALLID,
@@ -2720,7 +2720,7 @@ Package TP_MW_PS {
                        Route indicating value PX_UE_B_SERVICE_ROUTE
                        // TODO To be continued
                    ;
                    to the IMS_S_CSCF_A entity
                    to the IMS_S_CSCF_B entity
                }
            }
        
@@ -2826,5 +2826,105 @@ Package TP_MW_PS {
        
    } // End of TP_MW_PCSCF_486INVITE_04
    
    Test Purpose {
        
        TP Id TP_ME_PCSCF_487INVITE_01
        // ??? from ETSI TS 186 011-1 V5.1.1 (2013-10)
        
        Test objective  "Verify that the P-CSCF successfully processes a 487 INVITE (busy) to reject call (Originating Leg)."
        
        Reference 
            "ETSI TS 124 229 [2], clauses 5.2.7 and 6.2"
        
        Config Id CF_VxLTE_INT
        
        PICS Selection  NONE
        
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_A and
            the UE_B entity isAttachedTo the EPC_B and
            the UE_A entity isRegisteredTo the IMS_A and
            the UE_B entity isRegisteredTo the IMS_B and
            the UE_B entity isBusy
        }
        
        Expected behaviour
            ensure that { 
                when { 
                    the IMS_P_CSCF_A entity receives a 487_INVITE containing
                        From indicating value PX_UE_B_SIP_URI,
                        To indicating value PX_UE_A_SIP_URI,
                        CallId indicating value PX_UE_B_CALLID,
                        Via indicating value PX_UE_B_VIA,
                        Route indicating value PX_UE_B_SERVICE_ROUTE
                        // TODO To be continued
                    ;
                    from the IMS_S_CSCF_A entity
                }
                then {
                    the IMS_P_CSCF_A entity sends a 487_INVITE containing
                        From indicating value PX_UE_B_SIP_URI,
                        To indicating value PX_UE_A_SIP_URI,
                        CallId indicating value PX_UE_B_CALLID,
                        Via indicating value PX_UE_B_VIA,
                        Route indicating value PX_UE_B_SERVICE_ROUTE
                        // TODO To be continued
                    ;
                    to the UE_A entity
                }
            }
        
    } // End of TP_MW_PCSCF_487INVITE_01
    
    Test Purpose {
        
        TP Id TP_ME_PCSCF_487INVITE_02
        // ??? from ETSI TS 186 011-1 V5.1.1 (2013-10)
        
        Test objective  "Verify that the P-CSCF successfully processes a 487 INVITE (busy) to reject call (Originating Leg)."
        
        Reference 
            "ETSI TS 124 229 [2], clauses 5.2.7 and 6.2"
        
        Config Id CF_VxLTE_INT
        
        PICS Selection  NONE
        
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_A and
            the UE_B entity isAttachedTo the EPC_B and
            the UE_A entity isRegisteredTo the IMS_A and
            the UE_B entity isRegisteredTo the IMS_B and
            the UE_A entity isBusy
        }
        
        Expected behaviour
            ensure that { 
                when { 
                    the IMS_P_CSCF_B entity receives a 487_INVITE containing
                        From indicating value PX_UE_B_SIP_URI,
                        To indicating value PX_UE_A_SIP_URI,
                        CallId indicating value PX_UE_B_CALLID,
                        Via indicating value PX_UE_B_VIA,
                        Route indicating value PX_UE_B_SERVICE_ROUTE
                        // TODO To be continued
                    ;
                    from the UE_B entity
                }
                then {
                    the IMS_P_CSCF_B entity sends a 487_INVITE containing
                        From indicating value PX_UE_B_SIP_URI,
                        To indicating value PX_UE_A_SIP_URI,
                        CallId indicating value PX_UE_B_CALLID,
                        Via indicating value PX_UE_B_VIA,
                        Route indicating value PX_UE_B_SERVICE_ROUTE
                        // TODO To be continued
                    ;
                    to the IMS_S_CSCF_B entity
                }
            }
        
    } // End of TP_MW_PCSCF_487INVITE_02
    
} // End of Package TP_MW_PS
Loading