Commit 43b1f5f5 authored by Yann Garcia's avatar Yann Garcia
Browse files

Update MW interfaces

parent 52a37aa2
Loading
Loading
Loading
Loading
+0 −4
Original line number Original line Diff line number Diff line
@@ -1245,8 +1245,6 @@ Package TP_GM {
    Test Purpose {
    Test Purpose {
        
        
        TP Id TP_GM_PCSCF_200OK_01
        TP Id TP_GM_PCSCF_200OK_01
        // 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) provisional response on initial INVITE (Originating Leg)."
        
        
@@ -1284,8 +1282,6 @@ Package TP_GM {
    Test Purpose {
    Test Purpose {
        
        
        TP Id TP_GM_PCSCF_200OK_02
        TP Id TP_GM_PCSCF_200OK_02
        // 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) provisional response on initial INVITE (Terminating Leg)."
        
        
+6 −17
Original line number Original line Diff line number Diff line
@@ -1052,7 +1052,6 @@ Package TP_MW_PS {
    Test Purpose {
    Test Purpose {
        
        
        TP Id TP_MW_PCSCF_INVITE_02
        TP Id TP_MW_PCSCF_INVITE_02
        // TP_IMST2_MW_INI_05 from ETSI TS 102 790-2 V3.1.1 (2014-07)
        
        
        Test objective  "Verify that the P-CSCF successfully processes an initial INVITE (Terminating Leg)."
        Test objective  "Verify that the P-CSCF successfully processes an initial INVITE (Terminating Leg)."
        
        
@@ -1111,7 +1110,6 @@ Package TP_MW_PS {
    Test Purpose {
    Test Purpose {
        
        
        TP Id TP_MW_PCSCF_INVITE_03
        TP Id TP_MW_PCSCF_INVITE_03
        // TP_IMST2_MW_INI_05 from ETSI TS 102 790-2 V3.1.1 (2014-07)
        
        
        Test objective  "Verify that the P-CSCF successfully processes an initial INVITE (Originating Leg)."
        Test objective  "Verify that the P-CSCF successfully processes an initial INVITE (Originating Leg)."
        
        
@@ -1170,7 +1168,6 @@ Package TP_MW_PS {
    Test Purpose {
    Test Purpose {
        
        
        TP Id TP_MW_PCSCF_INVITE_04
        TP Id TP_MW_PCSCF_INVITE_04
        // TP_IMST2_MW_INI_05 from ETSI TS 102 790-2 V3.1.1 (2014-07)
        
        
        Test objective  "Verify that the P-CSCF successfully processes an initial INVITE (Terminating Leg)."
        Test objective  "Verify that the P-CSCF successfully processes an initial INVITE (Terminating Leg)."
        
        
@@ -1229,8 +1226,6 @@ Package TP_MW_PS {
    Test Purpose {
    Test Purpose {
        
        
        TP Id TP_MW_PCSCF_100TRY_01
        TP Id TP_MW_PCSCF_100TRY_01
        // TP_IMS_5070_01 from ETSI TS 186 011-1 V5.1.1 (2013-10)
        // TP_IMST2_MW_INI_01 from ETSI TS 102 790-2 V3.1.1 (2014-07)
        
        
        Test objective  "Verify that the P-CSCF successfully processes a 100 (Trying) provisional response on initial INVITE (Originating Leg)."
        Test objective  "Verify that the P-CSCF successfully processes a 100 (Trying) provisional response on initial INVITE (Originating Leg)."
        
        
@@ -1265,8 +1260,6 @@ Package TP_MW_PS {
    Test Purpose {
    Test Purpose {
        
        
        TP Id TP_MW_PCSCF_100TRY_02
        TP Id TP_MW_PCSCF_100TRY_02
        // TP_IMS_5070_01 from ETSI TS 186 011-1 V5.1.1 (2013-10)
        // TP_IMST2_MW_INI_01 from ETSI TS 102 790-2 V3.1.1 (2014-07)
        
        
        Test objective  "Verify that the P-CSCF successfully processes a 100 (Trying) provisional response on initial INVITE (Terminating Leg)."
        Test objective  "Verify that the P-CSCF successfully processes a 100 (Trying) provisional response on initial INVITE (Terminating Leg)."
        
        
@@ -1301,8 +1294,6 @@ Package TP_MW_PS {
    Test Purpose {
    Test Purpose {
        
        
        TP Id TP_MW_PCSCF_100TRY_03
        TP Id TP_MW_PCSCF_100TRY_03
        // TP_IMS_5070_01 from ETSI TS 186 011-1 V5.1.1 (2013-10)
        // TP_IMST2_MW_INI_01 from ETSI TS 102 790-2 V3.1.1 (2014-07)
        
        
        Test objective  "Verify that the P-CSCF successfully processes a 100 (Trying) provisional response on initial INVITE (Originating Leg)."
        Test objective  "Verify that the P-CSCF successfully processes a 100 (Trying) provisional response on initial INVITE (Originating Leg)."
        
        
@@ -1538,7 +1529,7 @@ Package TP_MW_PS {
                        not PChargingFunctionAddresses,
                        not PChargingFunctionAddresses,
                        not PPreferredIdentity
                        not PPreferredIdentity
                    ;
                    ;
                    from the UE_A entity
                    from the IMS_S_CSCF_A entity
                }
                }
                then {
                then {
                    the IMS_P_CSCF_A entity sends a 200_Ok containing
                    the IMS_P_CSCF_A entity sends a 200_Ok containing
@@ -1546,7 +1537,7 @@ Package TP_MW_PS {
                        PChargingFunctionAddresses,
                        PChargingFunctionAddresses,
                        PPreferredIdentity
                        PPreferredIdentity
                    ;
                    ;
                    to the IMS_S_CSCF_A entity
                    to the UE_A entity
                }
                }
            }
            }
        
        
@@ -1575,20 +1566,20 @@ Package TP_MW_PS {
        Expected behaviour
        Expected behaviour
            ensure that { 
            ensure that { 
                when { 
                when { 
                    the IMS_P_CSCF_A entity receives a 200_Ok containing
                    the IMS_P_CSCF_B entity receives a 200_Ok containing
                        PChargingVector,
                        PChargingVector,
                        PChargingFunctionAddresses,
                        PChargingFunctionAddresses,
                        PPreferredIdentity
                        PPreferredIdentity
                    ;
                    ;
                    from the IMS_S_CSCF_A entity
                    from the UE_B entity
                }
                }
                then {
                then {
                    the not IMS_P_CSCF_A entity sends a 200_Ok containing
                    the not IMS_P_CSCF_B entity sends a 200_Ok containing
                        not PChargingVector,
                        not PChargingVector,
                        not PChargingFunctionAddresses,
                        not PChargingFunctionAddresses,
                        not PPreferredIdentity
                        not PPreferredIdentity
                    ;
                    ;
                    to the UE_A entity
                    to the IMS_S_CSCF_B entity
                }
                }
            }
            }
        
        
@@ -1685,8 +1676,6 @@ Package TP_MW_PS {
    Test Purpose {
    Test Purpose {
        
        
        TP Id TP_MW_PCSCF_ACK_01
        TP Id TP_MW_PCSCF_ACK_01
        // TP_IMS_5055_01 from ETSI TS 186 011-1 V5.1.1 (2013-10)
        // ??? from ETSI TS 102 790-2 V3.1.1 (2014-07)
        
        
        Test objective  "Verify that the P-CSCF successfully processes a ACK provisional response on initial INVITE (Originating Leg)."
        Test objective  "Verify that the P-CSCF successfully processes a ACK provisional response on initial INVITE (Originating Leg)."
        
        
+7 −19
Original line number Original line Diff line number Diff line
@@ -946,8 +946,6 @@ Package TP_MW_SI {
    Test Purpose {
    Test Purpose {
        
        
        TP Id TP_MW_SCSCF_100TRY_01
        TP Id TP_MW_SCSCF_100TRY_01
        // TP_IMS_5070_01 from ETSI TS 186 011-1 V5.1.1 (2013-10)
        // TP_IMST2_MW_INI_01 from ETSI TS 102 790-2 V3.1.1 (2014-07)
        
        
        Test objective  "Verify that the S-CSCF successfully processes a 100 (Trying) provisional response on initial INVITE (Originating Leg)."
        Test objective  "Verify that the S-CSCF successfully processes a 100 (Trying) provisional response on initial INVITE (Originating Leg)."
        
        
@@ -1234,8 +1232,6 @@ Package TP_MW_SI {
    Test Purpose {
    Test Purpose {
        
        
        TP Id TP_MW_SCSCF_200OK_01
        TP Id TP_MW_SCSCF_200OK_01
        // TP_IMS_5055_02 from ETSI TS 186 011-1 V5.1.1 (2013-10)
        // TP_IMST2_MW_INI_04A from ETSI TS 102 790-2 V3.1.1 (2014-07)
        
        
        Test objective  "Verify that the S-CSCF successfully processes a 200 (OK) provisional response on initial INVITE (Originating Leg)."
        Test objective  "Verify that the S-CSCF successfully processes a 200 (OK) provisional response on initial INVITE (Originating Leg)."
        
        
@@ -1261,7 +1257,7 @@ Package TP_MW_SI {
                        not PChargingFunctionAddresses,
                        not PChargingFunctionAddresses,
                        not PPreferredIdentity
                        not PPreferredIdentity
                    ;
                    ;
                    from the IMS_P_CSCF_A entity
                    from the IMS_IBCF_A entity
                }
                }
                then {
                then {
                    the IMS_S_CSCF_A entity sends a 200_Ok containing
                    the IMS_S_CSCF_A entity sends a 200_Ok containing
@@ -1269,7 +1265,7 @@ Package TP_MW_SI {
                        PChargingFunctionAddresses,
                        PChargingFunctionAddresses,
                        PPreferredIdentity
                        PPreferredIdentity
                    ;
                    ;
                    to the IMS_IBCF_A entity
                    to the IMS_P_CSCF_A entity
                }
                }
            }
            }
        
        
@@ -1278,8 +1274,6 @@ Package TP_MW_SI {
    Test Purpose {
    Test Purpose {
        
        
        TP Id TP_MW_SCSCF_200OK_02
        TP Id TP_MW_SCSCF_200OK_02
        // TP_IMS_5055_02 from ETSI TS 186 011-1 V5.1.1 (2013-10)
        // TP_IMST2_MW_INI_04A from ETSI TS 102 790-2 V3.1.1 (2014-07)
        
        
        Test objective  "Verify that the S-CSCF successfully processes a 200 (Ok) provisional response on initial INVITE (Terminating Leg)."
        Test objective  "Verify that the S-CSCF successfully processes a 200 (Ok) provisional response on initial INVITE (Terminating Leg)."
        
        
@@ -1300,20 +1294,20 @@ Package TP_MW_SI {
        Expected behaviour
        Expected behaviour
            ensure that { 
            ensure that { 
                when { 
                when { 
                    the IMS_S_CSCF_A entity receives a 200_Ok containing
                    the IMS_S_CSCF_B entity receives a 200_Ok containing
                        not PChargingVector,
                        not PChargingVector,
                        not PChargingFunctionAddresses,
                        not PChargingFunctionAddresses,
                        not PPreferredIdentity
                        not PPreferredIdentity
                    ;
                    ;
                    from the IMS_IBCF_A entity
                    from the IMS_P_CSCF_B entity
                }
                }
                then {
                then {
                    the IMS_S_CSCF_A entity sends a 200_Ok containing
                    the IMS_S_CSCF_B entity sends a 200_Ok containing
                        PChargingVector,
                        PChargingVector,
                        PChargingFunctionAddresses,
                        PChargingFunctionAddresses,
                        PPreferredIdentity
                        PPreferredIdentity
                    ;
                    ;
                    to the IMS_P_CSCF_A entity
                    to the IMS_IBCF_B entity
                }
                }
            }
            }
        
        
@@ -1410,8 +1404,6 @@ Package TP_MW_SI {
    Test Purpose {
    Test Purpose {
        
        
        TP Id TP_MW_SCSCF_ACK_01
        TP Id TP_MW_SCSCF_ACK_01
        // TP_IMS_5055_01 from ETSI TS 186 011-1 V5.1.1 (2013-10)
        // ??? from ETSI TS 102 790-2 V3.1.1 (2014-07)
        
        
        Test objective  "Verify that the S-CSCF successfully processes a ACK provisional response on initial INVITE (Originating Leg)."
        Test objective  "Verify that the S-CSCF successfully processes a ACK provisional response on initial INVITE (Originating Leg)."
        
        
@@ -1458,8 +1450,6 @@ Package TP_MW_SI {
    Test Purpose {
    Test Purpose {
        
        
        TP Id TP_MW_SCSCF_ACK_02
        TP Id TP_MW_SCSCF_ACK_02
        // TP_IMS_5055_01 from ETSI TS 186 011-1 V5.1.1 (2013-10)
        // ??? from ETSI TS 102 790-2 V3.1.1 (2014-07)
        
        
        Test objective  "Verify that the S-CSCF successfully processes a ACK provisional response on initial INVITE (Originating Leg)."
        Test objective  "Verify that the S-CSCF successfully processes a ACK provisional response on initial INVITE (Originating Leg)."
        
        
@@ -1602,8 +1592,6 @@ Package TP_MW_SI {
    Test Purpose {
    Test Purpose {
        
        
        TP Id TP_MW_SCSCF_RE_INVITE_01
        TP Id TP_MW_SCSCF_RE_INVITE_01
        // ??? from ETSI TS 186 011-1 V5.1.1 (2013-10)
        // ??? from ETSI TS 102 790-2 V3.1.1 (2014-07)
        
        
        Test objective  "Verify that the S-CSCF successfully processes an initial RE-INVITE (Originating Leg)."
        Test objective  "Verify that the S-CSCF successfully processes an initial RE-INVITE (Originating Leg)."
        
        
@@ -1619,7 +1607,7 @@ Package TP_MW_SI {
            the UE_B entity isAttachedTo the EPC_B and
            the UE_B entity isAttachedTo the EPC_B and
            the UE_A entity isRegisteredTo the IMS_A and
            the UE_A entity isRegisteredTo the IMS_A and
            the UE_B entity isRegisteredTo the IMS_B and
            the UE_B entity isRegisteredTo the IMS_B and
            the IMS_P_CSCF_A entity previouslyEstablishedCallWith the IMS_P_CSCF_B
            the UE_A entity previouslyEstablishedCallWith the UE_B
        }
        }
        
        
        Expected behaviour
        Expected behaviour
+2 −1
Original line number Original line Diff line number Diff line
@@ -28,7 +28,8 @@ module AtsImsIot_TD_ATT{
    import from AtsImsIot_TP_behavior_CX all;
    import from AtsImsIot_TP_behavior_CX all;
    import from AtsImsIot_TP_behavior_GX all;
    import from AtsImsIot_TP_behavior_GX all;
    import from AtsImsIot_TP_behavior_ISC all;
    import from AtsImsIot_TP_behavior_ISC all;
    import from AtsImsIot_TP_behavior_MW all;
    import from AtsImsIot_TP_behavior_MW_PS all;
    import from AtsImsIot_TP_behavior_MW_SI all;
    import from AtsImsIot_TP_behavior_S6A all;
    import from AtsImsIot_TP_behavior_S6A all;
    import from AtsImsIot_TP_behavior_S9 all;
    import from AtsImsIot_TP_behavior_S9 all;
    import from AtsImsIot_TP_behavior_SH all;
    import from AtsImsIot_TP_behavior_SH all;
+2 −1
Original line number Original line Diff line number Diff line
@@ -28,7 +28,8 @@ module AtsImsIot_TD_DRG{
    import from AtsImsIot_TP_behavior_CX all;
    import from AtsImsIot_TP_behavior_CX all;
    import from AtsImsIot_TP_behavior_GX all;
    import from AtsImsIot_TP_behavior_GX all;
    import from AtsImsIot_TP_behavior_ISC all;
    import from AtsImsIot_TP_behavior_ISC all;
    import from AtsImsIot_TP_behavior_MW all;
    import from AtsImsIot_TP_behavior_MW_PS all;
	import from AtsImsIot_TP_behavior_MW_SI all;
    import from AtsImsIot_TP_behavior_S6A all;
    import from AtsImsIot_TP_behavior_S6A all;
    import from AtsImsIot_TP_behavior_S9 all;
    import from AtsImsIot_TP_behavior_S9 all;
    import from AtsImsIot_TP_behavior_SH all;
    import from AtsImsIot_TP_behavior_SH all;
Loading