Commit 1bd7276a authored by Bostjan Pintar's avatar Bostjan Pintar
Browse files

TPs reordered

parents 9aea048b 782e92c0
Loading
Loading
Loading
Loading
+36 −0
Original line number Diff line number Diff line
Package Diameter_Common {
    Domain {
        pics: 
            - PICS_1
        ;
        entities:
            - PGW
            - PCEF
            - PCRF
        ;
        events:
            - receives
            - sends
        ;
    } // End of Domain section
    
    Data {
        type DiameterMessage;
    } // End of Data section
    
    Configuration {
        Interface Type defaultGT accepts DiameterMessage;
        Component Type DiameterComp with gate g of type defaultGT;
        Test Configuration CFG_xxx_01 
            containing
                Tester component PGW of type DiameterComp
                Tester component PCEF of type DiameterComp
                Tester component PCRF of type DiameterComp
              
              SUT component IUT of type DiameterComp
              connection between PCEF.g and PCRF.g
        ;
    } // End of Configuration section
    
} // End of Package Diameter_Common
+353 −0
Original line number Diff line number Diff line
/*
Copyright (c) ETSI 2019.

This software is subject to copyrights owned by ETSI. Non-exclusive permission
is hereby granted, free of charge, to copy, reproduce and amend this file
under the following conditions: It is provided "as is", without warranty of any
kind, expressed or implied.

ETSI shall never be liable for any claim, damages, or other liability arising
from its use or inability of use.This permission does not apply to any documentation
associated with this file for which ETSI keeps all rights reserved. The present
copyright notice shall be included in all copies of whole or part of this
file and shall not imply any sub-license right.
*/


Package TP_GM {
    
    import all from Sip_Common;
    
    Test Purpose {
        
        TP Id TP_GM_PCSCF_REGISTER_01
        Test objective  "Verify that the SUT successfully processes a first registration (UE_A initiated)."
        
        Reference 
            "ETSI TS 124 229 (V15.3.0) [5], clauses 5.1.3, 6.1.1 and 6.1.2",
            "TP_IMST2_GM_REG_01"
        
        Config Id CFG_GM_01
        
        PICS Selection PICS_1
        
        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 isNotRegisteredTo the IMS_A
        }
        
        Expected behaviour
            ensure that {
                when {
                    the UE_A entity isTriggeredToStart
                }
                then {
                    the UE_A entity sends a REGISTER containing
                        FROM_HDR indicating value PX_UE_A_SIP_URI,
                        TO_HDR indicating value PX_UE_A_SIP_URI,
                        CALLID_HDR indicating value PX_UE_A_CALLID,
                        Via_HDR indicating value PX_UE_A_VIA,
                        Authorization_HDR containing
                            Authentication_Schema indicating value PX_TO_BE_DEFINED,
                            Authentication_URI indicating value PX_TO_BE_DEFINED,
                            Username indicating value PX_UE_A_USERNAME,
                            Realm indicating value PX_UE_A_REALM,
                            Algorithm indicating value PX_UE_A_AUTH_ALG,
                            Nonce indicating value ""
                        ;;
                    and the UE_A entity receives an Unauthorized containing
                        FROM_HDR indicating value PX_UE_A_SIP_URI,
                        TO_HDR indicating value PX_UE_A_SIP_URI,
                        CALLID_HDR indicating value PX_UE_A_CALLID,
                        Via_HDR indicating value PX_UE_A_VIA,
                        Warning_HDR,
                        P_Access_Network_Info_HDR
                        WWW_Authenticate_HDR containing
                            Digest_Realm,
                            Algorithm indicating value PX_UE_A_AUTH_ALG,
                            Nonce indicating value "not empty",
                            qop indicating value "auth"
                        ;;
                }
            }
    } // End of TP_GM_PCSCF_REGISTER_01
    
    Test Purpose {
        
        TP Id TP_GM_PCSCF_REGISTER_02
        Test objective  "Verify that the SUT successfully processes a full registration (UE_A initiated)."
        
        Reference 
            "ETSI TS 124 229 (V15.3.0) [5], clauses 5.1.3, 6.1.1 and 6.1.2",
            "TP_IMST2_GM_REG_08"
        
        Config Id CFG_GM_01
        
        PICS Selection PICS_1
        
        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 isNotRegisteredTo the IMS_A
        }
        
        Expected behaviour
            ensure that {
                when {
                    the UE_A entity isTriggeredToStart and
                    the UE_A entity hasAchieveFirstRegistration
                }
                then {
                    the UE_A entity sends a REGISTER containing
                        FROM_HDR indicating value PX_UE_A_SIP_URI,
                        TO_HDR indicating value PX_UE_A_SIP_URI,
                        CALLID_HDR indicating value PX_UE_A_CALLID,
                        Via_HDR indicating value PX_UE_A_VIA,
                        Authorization_HDR containing
                            Authentication_Schema indicating value PX_TO_BE_DEFINED,
                            Authentication_URI indicating value PX_TO_BE_DEFINED,
                            Username indicating value PX_UE_A_USERNAME,
                            Realm indicating value PX_UE_A_REALM,
                            Algorithm indicating value PX_UE_A_AUTH_ALG,
                            Nonce indicating value "not empty",
                            qop indicating value "auth"
                        ;;
                    and the UE_A entity receives an Ok containing
                        FROM_HDR indicating value PX_UE_A_SIP_URI,
                        TO_HDR indicating value PX_UE_A_SIP_URI,
                        CALLID_HDR indicating value PX_UE_A_CALLID,
                        Via_HDR indicating value PX_UE_A_VIA,
                        Authentication_Info_HDR,
                        P_Access_Network_Info_HDR,
                        P_Associated_URI_HDR indicating value PX_UE_A_SIP_URI,
                        P_Charging_Function_Addresses_HDR,
                        Path_HDR,
                        Service_Route_HDR
                        ;
                }
            }
    } // End of TP_GM_PCSCF_REGISTER_02
    
    Test Purpose {
        
        TP Id TP_GM_UE_INVITE_01
        Test objective  "Verify that the SUT successfully processes an initial INVITE (UE_A initiated)."
        
        Reference 
            "ETSI TS 124 229 (V15.3.0) [5], clauses 5.1.3, 6.1.1 and 6.1.2"
        
        Config Id CFG_GM_01
        
        PICS Selection PICS_1
        
        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 isNotRegisteredTo the IMS_A
        }
        
        Expected behaviour
            ensure that {
                when {
                    the UE_A entity isTriggeredToStart
                }
                then {
                    the IMS_P_CSCF_A entity receives a REGISTER containing
                        FROM_HDR indicating value PX_UE_A_SIP_URI,
                        TO_HDR indicating value PX_UE_A_SIP_URI,
                        CALLID_HDR indicating value PX_UE_A_CALLID,
                        Via_HDR indicating value PX_UE_A_VIA,
                        Authorization_HDR
                            Authentication_Schema indicating value PX_TO_BE_DEFINED,
                            Authentication_URI indicating value PX_TO_BE_DEFINED,
                            Username indicating value PX_UE_A_USERNAME,
                            Realm indicating value PX_UE_A_REALM,
                            Algorithm indicating value PX_UE_A_AUTH_ALG,
                            Nonce indicating value ""
                        ;
                    and the IMS_P_CSCF_A entity sends an Unauthorized containing
                        FROM_HDR indicating value PX_UE_A_SIP_URI,
                        TO_HDR indicating value PX_UE_A_SIP_URI,
                        CALLID_HDR indicating value PX_UE_A_CALLID,
                        Via_HDR indicating value PX_UE_A_VIA,
                        Warning_HDR,
                        P_Access_Network_Info_HDR,
                        WWW_Authenticate_HDR containing
                            Digest_Realm,
                            Algorithm indicating value PX_UE_A_AUTH_ALG,
                            Nonce indicating value "not empty",
                            qop indicating value "auth"
                        ;;
                }
            }
    } // End of TP_GM_PCSCF_REGISTER_01
    
    Test Purpose {
        
        TP Id TP_GM_PCSCF_REGISTER_02
        Test objective  "Verify that the SUT successfully processes a full registration (UE_A initiated)."
        
        Reference 
            "ETSI TS 124 229 (V15.3.0) [5], clauses 5.1.3, 6.1.1 and 6.1.2"
        
        Config Id CFG_GM_01
        
        PICS Selection PICS_1
        
        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 isNotRegisteredTo the IMS_A
        }
        
        Expected behaviour
            ensure that {
                when {
                    the UE_A entity isTriggeredToStart and
                    the UE_A entity hasAchieveFirstREGISTER
                }
                then {
                    the IMS_P_CSCF_A entity receives a REGISTER containing
                        FROM_HDR indicating value PX_UE_A_SIP_URI,
                        TO_HDR indicating value PX_UE_A_SIP_URI,
                        CALLID_HDR indicating value PX_UE_A_CALLID,
                        Via_HDR indicating value PX_UE_A_VIA,
                        Authorization_HDR containing
                            Authentication_Schema indicating value PX_TO_BE_DEFINED,
                            Authentication_URI indicating value PX_TO_BE_DEFINED,
                            Username indicating value PX_UE_A_USERNAME,
                            Realm indicating value PX_UE_A_REALM,
                            Algorithm indicating value PX_UE_A_AUTH_ALG,
                            Nonce indicating value "not empty",
                            qop indicating value "auth"
                        ;;
                    and the IMS_P_CSCF_A entity sends an Ok containing
                        FROM_HDR indicating value PX_UE_A_SIP_URI,
                        TO_HDR indicating value PX_UE_A_SIP_URI,
                        CALLID_HDR indicating value PX_UE_A_CALLID,
                        Via_HDR indicating value PX_UE_A_VIA,
                        Authentication_Info_HDR,
                        P_Access_Network_Info_HDR,
                        P_Associated_URI_HDR indicating value PX_UE_A_SIP_URI,
                        P_Charging_Function_Addresses_HDR,
                        Path_HDR,
                        Service_Route_HDR indicating value PX_UE_A_SERVICE_ROUTE
                        ;
                }
            }
    } // End of TP_GM_PCSCF_REGISTER_02
    
    Test Purpose {
        
        TP Id TP_GM_PCSCF_SUBSCRIBE_01
        Test objective  "Verify that the SUT successfully processes a SUBSCRIBE (UE_A initiated)."
        
        Reference 
            "ETSI TS 124 229 (V15.3.0) [5], clauses 5.1.3, 6.1.1 and 6.1.2"
        
        Config Id CFG_GM_01
        
        PICS Selection PICS_1
        
        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 a SUBSCRIBE
                }
                then {
                    the IMS_P_CSCF_A entity receives an SUBSCRIBE containing
                        FROM_HDR indicating value PX_UE_A_SIP_URI,
                        TO_HDR indicating value PX_UE_B_SIP_URI,
                        CALLID_HDR indicating value PX_UE_A_CALLID,
                        Via_HDR indicating value PX_UE_A_VIA,
                        Route_HDR indicating value PX_UE_A_SERVICE_ROUTE
                        // TODO To be continued
                        ;
                     and the IMS_P_CSCF_A entity sends a Ok containing
                        FROM_HDR indicating value PX_UE_A_SIP_URI,
                        TO_HDR indicating value PX_UE_B_SIP_URI,
                        CALLID_HDR indicating value PX_UE_A_CALLID,
                        Via_HDR indicating value PX_UE_A_VIA
                        // TODO To be continued
                        ;
                 }
            }
    } // End of TP_GM_PCSCF_SUBSCRIBE_01
    
    Test Purpose {
        
        TP Id TP_GM_PCSCF_INVITE_01
        Test objective  "Verify that the SUT successfully processes an initial INVITE (UE_A initiated)."
        
        Reference 
            "ETSI TS 124 229 (V15.3.0) [5], clauses 5.1.3, 6.1.1 and 6.1.2",
            "TP_IMST2_GM_INI_01, TP_IMST2_GM_INI_03, TP_IMST2_GM_INI_04"
        
        Config Id CFG_GM_01
        
        PICS Selection PICS_1
        
        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 INVITE
                }
                then {
                    the IMS_P_CSCF_A entity receives an INVITE containing
                        FROM_HDR indicating value PX_UE_A_SIP_URI,
                        TO_HDR indicating value PX_UE_B_SIP_URI,
                        CALLID_HDR indicating value PX_UE_A_CALLID,
                        Via_HDR indicating value PX_UE_A_VIA,
                        Route_HDR indicating value PX_UE_A_SERVICE_ROUTE,
                        P_Access_Network_Info_HDR,
                        MessageBody containing
                            SDP_HDR containing
                                SDP_Version indicating value "0" 
                                // TODO To be continued
                            ;
                        ;;
                     and the IMS_P_CSCF_A entity sends a Trying containing
                        FROM_HDR indicating value PX_UE_A_SIP_URI,
                        TO_HDR indicating value PX_UE_B_SIP_URI,
                        CALLID_HDR indicating value PX_UE_A_CALLID,
                        Via_HDR indicating value PX_UE_A_VIA
                        ;
                     or the IMS_P_CSCF_A entity sends a Ringing containing
                        FROM_HDR indicating value PX_UE_A_SIP_URI,
                        TO_HDR indicating value PX_UE_B_SIP_URI,
                        CALLID_HDR indicating value PX_UE_A_CALLID,
                        Via_HDR indicating value PX_UE_A_VIA
                        ;
                     and the IMS_P_CSCF_A entity sends a Ok containing
                        FROM_HDR indicating value PX_UE_A_SIP_URI,
                        TO_HDR indicating value PX_UE_B_SIP_URI,
                        CALLID_HDR indicating value PX_UE_A_CALLID,
                        Via_HDR indicating value PX_UE_A_VIA
                        ;
                     and the IMS_P_CSCF_A entity receives a ACK containing
                        FROM_HDR indicating value PX_UE_A_SIP_URI,
                        TO_HDR indicating value PX_UE_B_SIP_URI,
                        CALLID_HDR indicating value PX_UE_A_CALLID,
                        Via_HDR indicating value PX_UE_A_VIA
                        ;
                 }
            }
    } // End of TP_GM_PCSCF_INVITE_01
    
} // End of Package TP_GM
+154 −0
Original line number Diff line number Diff line
/*
Copyright (c) ETSI 2019.

This software is subject to copyrights owned by ETSI. Non-exclusive permission
is hereby granted, free of charge, to copy, reproduce and amend this file
under the following conditions: It is provided "as is", without warranty of any
kind, expressed or implied.

ETSI shall never be liable for any claim, damages, or other liability arising
from its use or inability of use.This permission does not apply to any documentation
associated with this file for which ETSI keeps all rights reserved. The present
copyright notice shall be included in all copies of whole or part of this
file and shall not imply any sub-license right.
*/


Package TP_MW {
    
    import all from Sip_Common;
    
    Test Purpose {
        
        TP Id TP_MW_PCSCF_REGISTER_01
        Test objective  "Verify that the SUT successfully processes a first registration (UE_A side)."
        
        Reference 
            "ETSI TS 124 229 (V15.3.0) [5], clauses 5.1.3, 6.1.1 and 6.1.2",
            "TP_IMS_5011_01"
        
        Config Id CFG_GM_01
        
        PICS Selection PICS_1
        
        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 a REGISTER
                }
                then {
                    the IMS_P_CSCF_A entity receives a REGISTER containing
                        Path_HDR containing
                            P_CSCF_SIP_URI indicating value PX_P_CSCF_A_SIP_URI,
                            IMS_flow_token,
                            SIP_URI containing
                                ob indicating value xx,
                        Require_HDR containing
                            path_option_tag,
                        P_Charging_Vector_HDR containing
                            ICID indicating value PX_IMS_A_ICID,
                            ORIG_IOI indicating value PX_IMS_A_ORIG_IOI,
                            "not" Access_Network_Charging_Info_HDR,
                            "not" Term_Ioi_HDR
                        Authorization_HDR,
                        P_Visited_Network_ID_HDR indicating value 'the visited network at the home network',
                        "not" containing Security_Verify_HDR,
                        "not" containing Security_Client_header_HDR
                            ;
                        ;;;;;;
                }
            }
    } // End of TP_MW_PCSCF_REGISTER_01
    
    Test Purpose {
        
        TP Id TP_MW_PCSCF_INVITE_01
        Test objective  "Verify that the SUT successfully processes an initial INVITE (UE_A side)."
        
        Reference 
            "ETSI TS 124 229 (V15.3.0) [5], clauses 5.1.3, 6.1.1 and 6.1.2",
            "TP_IMS_5097_01"
        
        Config Id CFG_GM_01
        
        PICS Selection PICS_1
        
        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 InitialINVITE
                }
                then {
                    the IMS_P_CSCF_A entity receives an InitialINVITE containing
                        Route_HDR indicating value
                            PX_P_SCF_A_SIP_URI,
                        Route_HDR indicating value
                            PX_S_SCF_A_SIP_URI,
                        Via_HDR indicating value
                            P PX_P_SCF_A_VIA,
                        P_Charging_Vector_HDR containing
                            ICID indicating value PX_IMS_A_ICID,
                            ORIG_IOI indicating value PX_IMS_A_ORIG_IOI,
                            "not" Access_Network_Charging_Info_HDR,
                            "not" Term_Ioi_HDR
                        Record_Route_HDR containing
                            Originating indicating value PX_S_SCF_A_SIP_URI,
                        "not" containing P_Access_Network_Info_HDR
                            ;
                        ;;;
                }
            }
    } // End of TP_MW_PCSCF_INVITE_01
    
    Test Purpose {
        
        TP Id TP_MW_PCSCF_INVITE_02
        Test objective  "Verify that the SUT successfully processes an initial INVITE (UE_B side)."
        
        Reference 
            "ETSI TS 124 229 (V15.3.0) [5], clauses 5.1.3, 6.1.1 and 6.1.2",
            "TP_IMS_5097_02"
        
        Config Id CFG_GM_01
        
        PICS Selection PICS_1
        
        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 sends an InitialINVITE
                }
                then {
                    the UE_B entity receives an InitialINVITE containing
                        P_Asserted_Identity_HDR containing
                            SIP_URI indicating value PX_PCSCF_A_SIP_URI,
                            TEL_URI indicating value PX_PCSCF_A_TEL_URI
                            ;
                        ;
                }
            }
    } // End of TP_MW_PCSCF_INVITE_02
    
} // End of Package TP_MW
+39 −7
Original line number Diff line number Diff line
@@ -56,18 +56,46 @@ Package Sip_Common {
            - sends
            - forwards
            // Initial conditions
            - isTriggeredToStart
            - isNotRegisteredTo
            - hasAchieveFirstRegistration
            - isRegisteredTo
            - isNotAttachedTo
            - isAttachedTo
            - previouslyEstablishedCallWith
            - isRequestedToSend
            // SIP Requests
            - hasAchieveFirstREGISTER
            - REGISTER
            - SUBSCRIBE
            - hasAchieveInitialINVITE
            - INVITE
            // SIP Responses
            - Unauthorized
            - Trying
            - Ringing
            - Ok
            - Ack
        ;
    } // End of Domain section

//    Const {
//        PX_Stored_Domain_Uri,
//        PX_Affected_IMPU,
//        PX_Contact
//        PX_Contact,
//        PX_UE_A_SIP_URI,
//        PX_UE_A_TEL_URI,
//        PX_UE_A_CALLID,
//        PX_UE_A_REALM,
//        PX_UE_A_USERNAME,
//        PX_UE_A_VIA
//        PX_UE_A_AUTH_ALG
//        PX_UE_B_SIP_URI,
//        PX_UE_B_TEL_URI,,
//        PX_P_CSCF_A_SIP_URI,
//        PX_IMS_A_ICID,
//        PX_IMS_A_ORIG_IOI
//        PX_TO_BE_DEFINED
//        ;
//    } // End of Const section

@@ -77,14 +105,20 @@ Package Sip_Common {
        
    } // End of Data section
    


    

    Configuration {
        Interface Type defaultGT accepts SipMessage;
        Component Type SipComponent with gate g of type defaultGT;
        
            Test Configuration CFG_GM_01 // FIXME Do we have to create a config for each interface?
                containing 
                    Tester component UE_A of type SipComponent
                    Tester component IMS_P_CSCF_A of type SipComponent
                    
                    SUT component IMS_P_CSCF_A of type SipComponent
                    connection between UE_A.g and IMS_P_CSCF_A.g
                    connection between IMS_P_CSCF_A.g and NW_UE_B.g 
            ;
            
            Test Configuration CFG_IC_01
                containing 
                    Tester component UE_A of type SipComponent
@@ -193,7 +227,5 @@ Package Sip_Common {
    
    Message_Body_Size MSG_SIZE ;
    
    
    
} // End of Package Sip_Common