inital files

TODO

[1]    ETSI ES 203 119-4: "TDL: Structured Test Objective Specification (Extension)"

[2]    ETSI TS 124 229:   "Digital cellular telecommunications system (Phase 2+) (GSM); Universal Mobile Telecommunications System (UMTS); LTE; IP multimedia call control protocol based on Session Initiation Protocol (SIP) and Session Description Protocol (SDP); Stage 3 (3GPP TS 24.229 Release 15)".

[3]    ETSI TS 129 165:   "Digital cellular telecommunications system (Phase 2+) (GSM); Universal Mobile Telecommunications System (UMTS); LTE; Inter-IMS Network to Network Interface (NNI) (3GPP TS 29.165 Release 15)".

[4]    ETSI TS 129 228:   "Digital cellular telecommunications system (Phase 2+) (GSM); Universal Mobile Telecommunications System (UMTS); LTE; IP Multimedia (IM) Subsystem Cx and Dx Interfaces; Signalling flows and message contents (3GPP TS 29.228 Release 15)".

[5]    ETSI TS 129 229:   "Digital cellular telecommunications system (Phase 2+) (GSM); Universal Mobile Telecommunications System (UMTS); LTE; Cx and Dx interfaces based on the Diameter protocol; Protocol details (3GPP TS 29.229 Release 15)".

[6]    ETSI TS 132 260:   "Digital cellular telecommunications system (Phase 2+) (GSM); Universal Mobile Telecommunications System (UMTS); LTE; Telecommunication management;Charging management;IP Multimedia Subsystem (IMS) charging (3GPP TS 32.260 Release 15)".

[7]    ETSI TS 132 299:   "Digital cellular telecommunications system (Phase 2+) (GSM); Universal Mobile Telecommunications System (UMTS); LTE; Telecommunication management; Charging management; Diameter charging applications (3GPP TS 32.299 Release 15)".

[8]    ETSI TS 129 214:   "Universal Mobile Telecommunications System (UMTS); LTE; Policy and charging control over Rx reference point (3GPP TS 29.214 Release 15)".

[9]    ETSI TS 129 212:   "Universal Mobile Telecommunications System (UMTS); LTE; Policy and Charging Control (PCC); Reference points (3GPP TS 29.212 Release 15)".

[10]   ETSI TS 129 272:   "Universal Mobile Telecommunications System (UMTS); LTE; Evolved Packet System (EPS); Mobility Management Entity (MME) and Serving GPRS Support Node (SGSN) related interfaces based on Diameter protocol (3GPP TS 29.272 Release 15)".

[11]   ETSI TS 129 215:   "Digital cellular telecommunications system (Phase 2+) (GSM); Universal Mobile Telecommunications System (UMTS); LTE; Policy and Charging Control (PCC) over S9 reference point; Stage 3 (3GPP TS 29.215 Release 15)".

[12]   ETSI TS 129 328:   "Digital cellular telecommunications system (Phase 2+) (GSM); Universal Mobile Telecommunications System (UMTS); LTE; IP Multimedia (IM) Subsystem Sh interface; Signalling flows and message contents (3GPP TS 29.328 Release 15)".

[13]   ETSI TS 129 329:   "Digital cellular telecommunications system (Phase 2+) (GSM); Universal Mobile Telecommunications System (UMTS); LTE; Sh interface based on the Diameter protocol; Protocol details (3GPP TS 29.329 Release 15)".

[14]   ISO/IEC 9646-1:    "Information technology -- Open Systems Interconnection -- Conformance testing methodology and framework -- Part 1: General concepts".

[15]   ISO/IEC 9646-7:    "Information technology -- Open Systems Interconnection -- Conformance testing methodology and framework -- Part 7: Implementation Conformance Statements".

[16]   ETSI ETS 300 406:  "Methods for testing and Specification (MTS); Protocol and profile conformance testing specifications; Standardization methodology".

[17]   IETF RFC 3588:     "Diameter Base Protocol".

 No newline at end of file

/* ETSI Software License

* As long as the here under conditions are respected, non-exclusive permission is hereby granted,

* free of charge, to use, reproduce and modify this software source code, under the following conditions:

* This source code is provided AS IS with no warranties, express or implied, including but not limited to,

* the warranties of merchant ability, fitness for a particular purpose and warranties for non-infringement

* of intellectual property rights.

* ETSI shall not be held liable in any event for any direct or indirect damages whatsoever (including, without

* limitation, damages for loss of profits, business interruption, loss of information, or any other pecuniary

* loss) arising out of or related to the use of or inability to use the source code.

* This permission is granted to facilitate the implementation of the related ETSI standard, provided that

* ETSI is given the right to use, reproduce and amend the modified source code under the same conditions

* as the present permission.

* This permission does not apply to any documentation associated with this source code for which ETSI keeps

* all rights reserved.

* The present ETSI Source Code license shall be included in all copies of whole or part of this source code

* and shall not imply any sub-license right.

* (c) ETSI 2019-2020 

*/

Package Sip_Common {

    Domain {

        pics:

            - NONE

            - PICS_2

            - NOT_PICS_2

        ;

        entities:

            - SCCAS

            - IMS_S_CSCF

            - UE

            - IUT

        ;

        events:

            - receives

            - sends

            - forwards

            // Initial conditions

            - isTriggeredToStart

            - isNotRegisteredTo

            - hasAchievedFirstRegistration

            - isRegisteredTo

            - isNotAttachedTo

            - isAttachedTo

            - isNotConfiguredForTopologyHiding

            - isConfiguredForTopologyHiding

            - isExistingIn

            - establishedSecurityRelation

            - registeredIdentityTelURI

            - registeredIdentitySipURI

            - hasInitiatedDialogWith

            - isConfiguredWithENUMentryForTelURI_E164NumberOf

            - hasReceivedInitialRequestForDialog

            - hasReceived200OkOnInitialRequestForDialogWith

            - hasReceived180OnInitialRequest

            - hasReceived200OkCancel

            - hasReceivedTerminatedRequest

            - registeredPublicIdsWithTelUriAndSipUri

            - hasReceivedSubsequentOrTargetRefreshRequestInDialog

            - previouslyEstablishedCallWith

            - isRequestedToSend

            - isRequestedToDeregisterUser

            - isBusy

            - isNoLongerAvailable

            - isTriggeredToDetachUser

            - isRequestedToDetachfromNetwork

            - hasAchievedFirstREGISTER

            - hasResponded486INVITE

            - hasAchievedInitialINVITE

            - hasAchievedINVITE

        ;

    } // End of Domain section

//    Const {

//        PX_Stored_Domain_Uri,

//        PX_Affected_IMPU,

//        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_INVALID_USERNAME,

//        PX_UE_A_VIA,

//        PX_UE_A_AUTH_ALG,

//        PX_OPERATOR_ID_A,

//        PX_UE_B_SIP_URI,

//        PX_UE_B_TEL_URI,

//        PX_UE_B_USERNAME,

//        PX_UE_B_INVALID_USERNAME,

//        PX_UE_B_VIA,

//        PX_UE_B_AUTH_ALG,

//        PX_OPERATOR_ID_B,

//        PX_P_CSCF_A_SIP_URI,

//        PX_IMS_A_ICID,

//        PX_IMS_A_ORIG_IOI,

//        PX_S_CSCF_A_SIP_URI,

//        PX_P_CSCF_A_SIP_URI,

//        PX_IBCF_B_SIP_URI,

//        PX_TO_BE_DEFINED

//        ;

//    } // End of Const section

    Data {

        type SipMessage;

        type EnumMessage;

        SipMessage REGISTER;

        SipMessage SUBSCRIBE;

        SipMessage INVITE;

        SipMessage ACK;

        SipMessage CANCEL;

        SipMessage BYE;

         // SIP Responses

        SipMessage r_100_Trying;

        SipMessage r_180_Ringing;

        SipMessage r_200_Ok;

        SipMessage r_2xx_Any;

        SipMessage r_401_Unauthorized;

        SipMessage r_403_Forbidden;

        SipMessage r_404_NotFound;

        SipMessage r_486_INVITE;

        SipMessage r_4xx_Any;

    } // End of Data section

        Configuration {

            Interface Type defaultGT accepts SipMessage;

            Component Type SipComponent with gate g of type defaultGT;

            Test Configuration CFG_SCCAS_01 

                containing 

                    Tester component IMS_S_CSCF of type SipComponent

                    SUT component IUT of type SipComponent

                    connection between IMS_S_CSCF.g and IUT.g;

            Test Configuration CFG_SCSCF_01 

                containing 

                    Tester component SCCAS of type SipComponent

                    SUT component IUT of type SipComponent

                    connection between SCCAS.g and IUT.g;

            Test Configuration CFG_SCSCF_02 

                containing 

                    Tester component SCCAS of type SipComponent

                    Tester component UE of type SipComponent

                    SUT component IUT of type SipComponent

                    connection between SCCAS.g and IUT.g

                    connection between UE.g and IUT.g;

        }

    //Type MSG (optional TCP of type CONTENT);

    //Type CONTENT;

    //CONTENT tcp;

    //MSG MESSAGE;

    //Type MSG_SIZE;

    //Message_Body_Size MSG_SIZE;

} // End of Package Sip_Common

/*

Copyright (c) ETSI 2019-2020.

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.

*/

/* interface at SCSCF */

Package TP_SCSCF {

    import all from Sip_Common;

    Test Purpose {

        TP Id TP_SCCAS_REGISTER_01

        Test objective  "TODO -- Verify that the P-CSCF successfully processes a first registration (Successful)."

        Reference 

            "TODO -ETSI TS 124 229 [1], Clauses 5.2.2.1 and 6.2"

        Config Id CFG_SCSCF_01

        PICS Selection NONE

        Initial conditions with {

            the UE entity isNotRegisteredTo the IMS_A

        }

        Expected behaviour

            ensure that {

                when {

                    the IUT entity receives a REGISTER containing

                        From indicating value PX_UE_A_SIP_URI,

                        To indicating value PX_UE_A_SIP_URI,

                        CallId indicating value PX_UE_A_CALLID,

                        Via indicating value PX_UE_A_VIA;

                    from the IMS_S_CSCF entity

                }

                then {

                    the IUT entity sends a r_200_Ok containing

                        From indicating value PX_UE_A_SIP_URI,

                        To indicating value PX_UE_A_SIP_URI,

                        CallId indicating value PX_UE_A_CALLID,

                        Via indicating value PX_UE_A_VIA,

                        Path indicating value PX_P_CSCF_A_SIP_URI,

                        PChargingVector containing

                            icid indicating value PX_TO_BE_DEFINED,

                        PVisitedNetworkID indicating value PX_TO_BE_DEFINED,

                        Require indicating value "path",

                        Supported indicating value "path";;

                    to the IMS_S_CSCF entity

                }

            }

    } // End of TP_MW_PCSCF_REGISTER_01

    Test Purpose {

        TP Id TP_SCCAS_INVITE_01

        Test objective  "Verify that the P-CSCF successfully processes an initial INVITE (Originating Leg)."

        Reference 

            "ETSI TS 124 229 [1], Clauses 5.2.7.2 and 6.2"

        Config Id CFG_SCCAS_01

        PICS Selection NONE

        Initial conditions with {

            the UE entity isRegisteredTo the IMS

        }

        Expected behaviour

            ensure that {

                when {

                    the IUT entity receives an INVITE containing

                        From indicating value PX_UE_A_SIP_URI,

                        To indicating value PX_UE_B_SIP_URI,

                        CallId indicating value PX_UE_A_CALLID,

                        Via indicating value PX_UE_A_VIA,

                        Route indicating value PX_UE_A_SERVICE_ROUTE,

                        PAccessNetworkInfo,

                        MessageBody containing

                            SDP containing

                                Version indicating value "0";;;

                    from the IMS_S_CSCF entity

                }

                then {

                    the IUT entity sends an r_200_Ok containing

                        From indicating value PX_UE_A_SIP_URI,

                        To indicating value PX_UE_B_SIP_URI,

                        CallId indicating value PX_UE_A_CALLID,

                        Via indicating value PX_UE_A_VIA,

                        Route indicating value PX_UE_A_SERVICE_ROUTE,

                        PAccessNetworkInfo,

                        ContentType indicating value "application/sdp",

                        ContentLength,

                        MessageBody containing

                            SDP containing

                                Version indicating value "0";;;

                     to the IMS_S_CSCF entity

                }

            }

    } // End of TP_MW_PCSCF_INVITE_01

} // End of Package TP_MW_PS

/*

Copyright (c) ETSI 2019-2020.

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.

*/

/* interface at SCCAS */

Package TP_SCCAS {

    import all from Sip_Common;

    Test Purpose {

        TP Id TP_SCCAS_REGISTER_01

        Test objective  "TODO -- Verify that the P-CSCF successfully processes a first registration (Successful)."

        Reference 

            "TODO -ETSI TS 124 229 [1], Clauses 5.2.2.1 and 6.2"

        Config Id CFG_SCCAS_01

        PICS Selection NONE

        Initial conditions with {

            the UE entity isNotRegisteredTo the IMS_A

        }

        Expected behaviour

            ensure that {

                when {

                    the IUT entity receives a REGISTER containing

                        From indicating value PX_UE_A_SIP_URI,

                        To indicating value PX_UE_A_SIP_URI,

                        CallId indicating value PX_UE_A_CALLID,

                        Via indicating value PX_UE_A_VIA;

                    from the IMS_S_CSCF entity

                }

                then {

                    the IUT entity sends a r_200_Ok containing

                        From indicating value PX_UE_A_SIP_URI,

                        To indicating value PX_UE_A_SIP_URI,

                        CallId indicating value PX_UE_A_CALLID,

                        Via indicating value PX_UE_A_VIA,

                        Path indicating value PX_P_CSCF_A_SIP_URI,

                        PChargingVector containing

                            icid indicating value PX_TO_BE_DEFINED,

                        PVisitedNetworkID indicating value PX_TO_BE_DEFINED,

                        Require indicating value "path",

                        Supported indicating value "path";;

                    to the IMS_S_CSCF entity

                }

            }

    } // End of TP_MW_PCSCF_REGISTER_01

    Test Purpose {

        TP Id TP_SCCAS_INVITE_01

        Test objective  "Verify that the P-CSCF successfully processes an initial INVITE (Originating Leg)."

        Reference 

            "ETSI TS 124 229 [1], Clauses 5.2.7.2 and 6.2"

        Config Id CFG_SCCAS_01

        PICS Selection NONE

        Initial conditions with {

            the UE entity isRegisteredTo the IMS

        }

        Expected behaviour

            ensure that {

                when {

                    the IUT entity receives an INVITE containing

                        From indicating value PX_UE_A_SIP_URI,

                        To indicating value PX_UE_B_SIP_URI,

                        CallId indicating value PX_UE_A_CALLID,

                        Via indicating value PX_UE_A_VIA,

                        Route indicating value PX_UE_A_SERVICE_ROUTE,

                        PAccessNetworkInfo,

                        MessageBody containing

                            SDP containing

                                Version indicating value "0";;;

                    from the IMS_S_CSCF entity

                }

                then {

                    the IUT entity sends an r_200_Ok containing

                        From indicating value PX_UE_A_SIP_URI,

                        To indicating value PX_UE_B_SIP_URI,

                        CallId indicating value PX_UE_A_CALLID,

                        Via indicating value PX_UE_A_VIA,

                        Route indicating value PX_UE_A_SERVICE_ROUTE,

                        PAccessNetworkInfo,

                        ContentType indicating value "application/sdp",

                        ContentLength,

                        MessageBody containing

                            SDP containing

                                Version indicating value "0";;;

                     to the IMS_S_CSCF entity

                }

            }

    } // End of TP_MW_PCSCF_INVITE_01

} // End of Package TP_MW_PS