Commit 4e4a2c82 authored by Yann Garcia's avatar Yann Garcia
Browse files

Resolved merge conflict due to wrong rebase

parents e073e94a e1516036

model.tdl

0 → 100644
+10 −0
Original line number Diff line number Diff line 
<?xml version="1.0" encoding="ASCII"?>

<tdl:Package xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:tdl="http://www.etsi.org/spec/TDL/1.4.1" xmi:id="_4PiEMIhdEemysJoW8RgAvw" name="Model">

  <packagedElement xsi:type="tdl:SimpleDataType" xmi:id="_4PiEMYhdEemysJoW8RgAvw" name="String"/>

  <packagedElement xsi:type="tdl:SimpleDataType" xmi:id="_4PiEMohdEemysJoW8RgAvw" name="Boolean"/>

  <packagedElement xsi:type="tdl:SimpleDataType" xmi:id="_4PiEM4hdEemysJoW8RgAvw" name="Integer"/>

  <packagedElement xsi:type="tdl:SimpleDataType" xmi:id="_4PiENIhdEemysJoW8RgAvw" name="Verdict"/>

  <packagedElement xsi:type="tdl:SimpleDataInstance" xmi:id="_4PiENYhdEemysJoW8RgAvw" name="pass" dataType="_4PiENIhdEemysJoW8RgAvw"/>

  <packagedElement xsi:type="tdl:SimpleDataInstance" xmi:id="_4PiENohdEemysJoW8RgAvw" name="fail" dataType="_4PiENIhdEemysJoW8RgAvw"/>

  <packagedElement xsi:type="tdl:SimpleDataInstance" xmi:id="_4PiEN4hdEemysJoW8RgAvw" name="inconclusive" dataType="_4PiENIhdEemysJoW8RgAvw"/>

</tdl:Package>

representations.aird

0 → 100644
+11 −0
Original line number Diff line number Diff line 
<?xml version="1.0" encoding="UTF-8"?>

<viewpoint:DAnalysis xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:description="http://www.eclipse.org/sirius/description/1.1.0" xmlns:viewpoint="http://www.eclipse.org/sirius/1.1.0" xsi:schemaLocation="http://www.eclipse.org/sirius/description/1.1.0 http://www.eclipse.org/sirius/1.1.0#//description" xmi:id="_35jNIIhdEemysJoW8RgAvw" selectedViews="_4W3bQIhdEemysJoW8RgAvw" version="13.0.0.201804031646">

  <semanticResources>model.tdl</semanticResources>

  <semanticResources>test_purposes/Cx/TP_CX.tplan2</semanticResources>

  <semanticResources>test_purposes/Ic/TP_IC.tplan2</semanticResources>

  <semanticResources>test_purposes/Sip_Common.tplan2</semanticResources>

  <semanticResources>test_purposes/Diameter_Common.tplan2</semanticResources>

  <ownedViews xmi:type="viewpoint:DView" xmi:id="_4W3bQIhdEemysJoW8RgAvw">

    <viewpoint xmi:type="description:Viewpoint" href="platform:/plugin/org.etsi.mts.tdl.graphical.viewpoint/description/TDL.odesign#//@ownedViewpoints[name='org.etsi.mts.tdl']"/>

  </ownedViews>

</viewpoint:DAnalysis>

test_purposes/Cx/TP_CX.tplan2.docx

0 → 100644
+11.5 KiB

File added.

No diff preview for this file type.

View file

test_purposes/Diameter_Common.tplan2

0 → 100644
+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

test_purposes/Gm/TP_GM.tplan2

+109 −0
Original line number Diff line number Diff line
@@ -36,6 +36,115 @@ Package TP_GM { 
            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"

        

        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 {