TP_MW_IS.tplan2

/*
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.
*/

/* Mw interface at I-CSCF/S-CSCF */
Package TP_MW_IS {
    
    import all from Sip_Common;
    
    Test Purpose {
        
        TP Id TP_MW_ICSCF_MESSAGE_01
        
        Test objective "Verify that the I-CSCF successfully processes a SIP messages greater than 1300 bytes"
               
        Reference 
          "TS 124 229 [1], clause 4.2A"  
        
        Config Id CF_VxLTE_INT
                  
        PICS Selection NONE
        
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_A and
            the UE_A entity isRegisteredTo the IMS_A
        }
        
        Expected behaviour
            ensure that {
                when {
                    the IMS_I_CSCF_A entity receives a MESSAGE
                       containing ContentLength indicating value greater than 1300 bytes;
                    from the IMS_P_CSCF_A entity
                }
                then {
                    the IMS_I_CSCF_A entity forwards the MESSAGE
                    to the IMS_S_CSCF_A entity
                }
            }  
    }  // End of TP_MW_ICSCF_MESSAGE_01
    
    Test Purpose {
        
        TP Id TP_MW_ICSCF_REGISTER_01
        
        Test objective  "Verify that the I-CSCF successfully processes a first registration (Successful)."
        
        Reference 
            "ETSI TS 124 229 [1], Clause 5.4.1.1 and Clause 6.3"
        
        Config Id CF_VxLTE_INT
        
        PICS Selection NONE
        
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_A and
            the UE_A entity isNotRegisteredTo the IMS_A and
            the UE_B entity isNotRegisteredTo the IMS_B
        }
        
        Expected behaviour
            ensure that {
                when {
                    the IMS_I_CSCF_A 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_P_CSCF_A entity
                }
                then {
                    the IMS_I_CSCF_A entity sends an 401_Unauthorized 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,
                        Warning,
                        PAccessNetworkInfo,
                        WwwAuthenticate containing
                            Digest,
                            Realm indicating value PX_UE_A_REALM,
                            Algorithm indicating value PX_UE_A_AUTH_ALG,
                            Nonce indicating value "not empty",
                            qop indicating value "auth";;
                    to the IMS_S_CSCF_A entity
                }
            }
    } // End of TP_MW_ICSCF_REGISTER_01
    
    Test Purpose {
        
        TP Id TP_MW_ICSCF_REGISTER_02
        
        Test objective  "Verify that the I-CSCF successfully processes a full registration (Successful)."
        
        Reference 
            "ETSI TS 124 229 [1], Clause 5.4.1.1 and Clause 6.3"
        
        Config Id CF_VxLTE_INT
        
        PICS Selection NONE
        
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_A and
            the UE_A entity isNotRegisteredTo the IMS_A and
            the UE_B entity isNotRegisteredTo the IMS_B and
            the UE_A entity hasAchieveFirstREGISTER
        }
        
        Expected behaviour
            ensure that {
                when {
                    the IMS_I_CSCF_A 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,
                        Authorization containing
                            Authentication_Scheme 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";;
                    from the IMS_P_CSCF_A entity
                }
                then {
                    the IMS_I_CSCF_A entity sends an 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,
                        AuthenticationInfo,
                        PAccessNetworkInfo,
                        PAssociatedURI indicating value PX_UE_A_SIP_URI,
                        PChargingVector,
                           orig_ioi_parameter 
                               indicating value "Operator Identifier Of ImsA" ,
                           term_ioi_parameter 
                               indicating value "Operator Identifier Of ImsB"
                        Path,
                        ServiceRoute;
                    to the IMS_S_CSCF_A entity
                }
            }
    } // End of TP_MW_ICSCF_REGISTER_02
    
    Test Purpose {
        
        TP Id TP_MW_ICSCF_REGISTER_03
        
        Test objective  "Verify that the I-CSCF successfully processes a invalid first registration (Unsuccessful)."
        
        Reference 
            "ETSI TS 124 229 [1], Clause 5.2.2.1 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_A entity isNotRegisteredTo the IMS_A and
            the UE_B entity isNotRegisteredTo the IMS_B
        }
        
        Expected behaviour
            ensure that {
                when {
                    the IMS_I_CSCF_A 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,
                        Authorization containing
                            Authentication_Schema indicating value PX_TO_BE_DEFINED,
                            Authentication_URI indicating value PX_TO_BE_DEFINED,
                            Username indicating value PX_UE_A_INVALID_USERNAME,
                            Realm indicating value PX_UE_A_REALM,
                            Algorithm indicating value PX_UE_A_AUTH_ALG,
                            Nonce indicating value "";;
                    from the IMS_P_CSCF_A entity
                }
                then {
                    the IMS_I_CSCF_A entity sends an 403_Forbiden containing
                        From indicating value PX_UE_A_SIP_URI,
                        To indicating value PX_UE_A_SIP_URI,
                        CallId indicating value PX_UE_A_CALLID;
                    to the IMS_P_CSCF_A entity or 
                    the IMS_I_CSCF_A entity sends an 480_Temporary_Unavailable containing
                        From indicating value PX_UE_A_SIP_URI,
                        To indicating value PX_UE_A_SIP_URI,
                        CallId indicating value PX_UE_A_CALLID;
                    to the IMS_P_CSCF_A entity
                }
            }
    } // End of TP_MW_ICSCF_REGISTER_03
    
    // TP_MW_ICSCF_REGISTER_03 not applicable
    
    Test Purpose {
        
        TP Id TP_MW_ICSCF_REGISTER_04
        
        Test objective  "Verify that the I-CSCF successfully processes a first registration (Successful)."
        
        Reference 
            "ETSI TS 124 229 [1], Clause 5.4.1.1 and Clause 6.3"
        
        Config Id CF_VxLTE_RMI_B
        
        PICS Selection NONE
        
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_A and
            the UE_A entity isNotRegisteredTo the IMS_B and
            the UE_B entity isNotRegisteredTo the IMS_B
        }
        
        Expected behaviour
            ensure that {
                when {
                    the IMS_I_CSCF_A 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,
                        PVisitedNetworkID;
                    from the IMS_IBCF_A entity
                }
                then {
                    the IMS_I_CSCF_A entity sends 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,
                        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_HDR indicating value "path",
                        Supported indicating value "path";;
                        to the IMS_S_CSCF_A entity
                    and the IMS_I_CSCF_A entity sends an 401_Unauthorized 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,
                        Warning,
                        PAccessNetworkInfo,
                        PVisitedNetworkID,
                        WwwAuthenticate containing
                            Digest,
                            Realm indicating value PX_UE_A_REALM,
                            Algorithm indicating value PX_UE_A_AUTH_ALG,
                            Nonce indicating value "not empty",
                            qop indicating value "auth";;
                    to the IMS_IBCF_A entity
                }
            }
    } // End of TP_MW_ICSCF_REGISTER_04
    
    Test Purpose {
        
        TP Id TP_MW_ICSCF_REGISTER_05
        
        Test objective  "Verify that the I-CSCF successfully processes a full registration (Successful)."
        
        Reference 
            "ETSI TS 124 229 [1], Clause 5.4.1.1 and Clause 6.3"
        
        Config Id CF_VxLTE_RMI_B
        
        PICS Selection NONE
        
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_B and
            the UE_A entity isNotRegisteredTo the IMS_B and
            the UE_B entity isNotRegisteredTo the IMS_B and
            the UE_A entity hasAchieveFirstREGISTER
        }
        
        Expected behaviour
            ensure that {
                when {
                    the IMS_I_CSCF_A 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,
                        Authorization containing
                            Authentication_Scheme 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";;
                    from the IMS_IBCF_A entity
                }
                then {
                    the IMS_I_CSCF_B entity sends 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,
                        Authorization containing
                            Authentication_Scheme 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",
                        PChargingVector;;
                    to the IMS_S_CSCF_A entity
                    and the IMS_I_CSCF_A entity sends an 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,
                        AuthenticationInfo,
                        PAccessNetworkInfo,
                        PAssociatedURI indicating value PX_UE_A_SIP_URI,
                        PChargingVector,
                           orig_ioi_parameter 
                               indicating value "Operator Identifier Of ImsA" ,
                           term_ioi_parameter 
                               indicating value "Operator Identifier Of ImsB"
                        Path,
                        ServiceRoute;
                    to the IMS_IBCF_A entity
                }
            }
    } // End of TP_MW_ICSCF_REGISTER_05
    
    Test Purpose {
        
        TP Id TP_MW_ICSCF_REGISTER_06
        
        Test objective  "Verify that the I-CSCF successfully processes a invalid first registration (Unsuccessful)."
        
        Reference 
            "ETSI TS 124 229 [1], clauses 5.2.1, 5.2.2 and 6.3"
        
        Config Id CF_VxLTE_RMI_B
        
        PICS Selection NONE
        
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_B and
            the UE_A entity isNotRegisteredTo the IMS_B and
            the UE_B entity isNotRegisteredTo the IMS_B
        }
        
        Expected behaviour
            ensure that {
                when {
                    the IMS_I_CSCF_A 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,
                        Authorization containing
                            Authentication_Schema indicating value PX_TO_BE_DEFINED,
                            Authentication_URI indicating value PX_TO_BE_DEFINED,
                            Username indicating value PX_UE_A_INVALID_USERNAME,
                            Realm indicating value PX_UE_A_REALM,
                            Algorithm indicating value PX_UE_A_AUTH_ALG,
                            Nonce indicating value "";;
                    to the IMS_IBCF_A entity
                }
                then {
                    the IMS_I_CSCF_A entity sends an 404_NotFound containing
                        From indicating value PX_UE_A_SIP_URI,
                        To indicating value PX_UE_A_SIP_URI,
                        CallId indicating value PX_UE_A_CALLID;
                    to the IMS_IBCF_A entity
                }
            }
    } // End of TP_MW_ICSCF_REGISTER_06
    
    Test Purpose {
        
        TP Id TP_MW_ICSCF_REGISTER_07
        
        Test objective  "Verify that the I-CSCF successfully processes a user de-registration (no SIP session active)."
        
        Reference 
            "ETSI TS 124 229 [1], Clause 5.4.2 and Clause 6.3"
        
        Config Id CF_VxLTE_INT
        
        PICS Selection NONE
        
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_A and
            the UE_A entity isRegisteredTo the IMS_A
        }
        
        Expected behaviour
            ensure that {
                when {
                    the IMS_I_CSCF_A entity receives a REGISTER containing
                        Expire indicating value 0;
                    from the IMS_P_CSCF_A entity
                }
                then {
                    the IMS_I_CSCF_A entity sends a REGISTER containing
                        Expire indicating value 0;
                    to the IMS_S_CSCF_A entity
                }
            }
    } // End of TP_MW_ICSCF_REGISTER_07
    
    Test Purpose {
        
        TP Id TP_MW_ICSCF_REGISTER_08
        
        Test objective  "Verify that the I-CSCF successfully processes a user de-registration (no SIP session active)."
        
        Reference 
            "ETSI TS 124 229 [1], Clause 5.4.1.5 and Clause 6.3"
        
        Config Id CF_VxLTE_RMI_B
        
        PICS Selection NONE
        
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_B and
            the UE_A entity isRegisteredTo the IMS_B
        }
        
        Expected behaviour
            ensure that {
                when {
                    the IMS_S_CSCF_B entity receives a REGISTER containing
                        Expire indicating value 0;
                    from the IMS_P_CSCF_B entity
                }
                then {
                    the IMS_S_CSCF_B entity forwards a REGISTER containing
                        Expire indicating value 0;
                    to the IMS_I_CSCF_B entity
                }
            }
    } // End of TP_MW_ICSCF_REGISTER_08
    
    Test Purpose {
        
        TP Id TP_MW_ICSCF_REGISTER_09
        
        Test objective  "Verify that the P-CSCF successfully processes a network de-registration."
        
        Reference 
            "ETSI TS 124 229 [1], Clause 5.2.5 and Clause 6.2"
        
        Config Id CF_VxLTE_INT
        
        PICS Selection NONE
        
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_A 
        }
        
        Expected behaviour
            ensure that {
                when {
                    the IMS_P_CSCF_B entity isTriggeredToDetachUser
                }
                then {
                    the IMS_I_CSCF_B entity sends a REGISTER containing
                        Expire indicating value 0;
                    to the IMS_S_CSCF_B entity
                }
            }
    } // End of TP_MW_ICSCF_REGISTER_09
    
    Test Purpose {
        
        TP Id TP_MW_ICSCF_REGISTER_10
        // ??? from ETSI TS 186 011-2 V5.1.1 (2013-10)
        // ??? from ETSI TS 102 790-2 V3.1.1 (2014-07)
        
        Test objective  "Verify that the I-CSCF successfully processes a user de-registration (with SIP session active)."
        
        Reference 
            "ETSI TS 124 229 [1], Clause 5.4.2 and Clause 6.3"
        
        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 previouslyEstablishedCallWith the UE_B
        }
        
        Expected behaviour
            ensure that {
                when {
                    the IMS_I_CSCF_A entity receives a REGISTER containing
                        Expire indicating value 0;
                    from the IMS_P_CSCF_A entity
                }
                then {
                    the IMS_I_CSCF_A entity sends a REGISTER containing
                        Expire indicating value 0;
                    to the IMS_S_CSCF_A entity
                }
            }
    } // End of TP_MW_ICSCF_REGISTER_10
    
} // End of Package TP_MW_IS