Commit c012144d authored by Sebastian Müller's avatar Sebastian Müller
Browse files

TDL-TO NGAP TPs

parent 0a4bd9ad

test_purposes/TDL_TO/NGAP_Common.tdltx

0 → 100644
+281 −0
Original line number Diff line number Diff line 
Package NGAP_Common {

    Import all from TDL



    PICS NONE

    PICS PICS_A2_1

    PICS PICS_A2_1_1

    PICS PICS_A2_1_2

    PICS PICS_A2_2

    PICS PICS_A3_1_1

    PICS PICS_A3_1_2

    PICS PICS_A3_1_3

    PICS PICS_A3_1_4

    PICS PICS_A3_1_5

    PICS PICS_A3_2_1

    PICS PICS_A3_2_2

    PICS PICS_A3_2_3

    PICS PICS_A3_2_4

    PICS PICS_A3_2_5

    PICS PICS_A3_2_8

    PICS PICS_A3_2_11

    PICS PICS_A3_2_12

    PICS PICS_A3_3_1

    PICS PICS_A3_3_2

    PICS PICS_A3_3_3

    PICS PICS_A3_3_4

    PICS PICS_A3_3_5

    PICS PICS_A3_3_6

    PICS PICS_A3_3_8

    PICS PICS_A3_3_9

    PICS PICS_A3_5_1

    PICS PICS_A3_5_3

    PICS PICS_A3_5_4

    PICS PICS_A3_6_1

    PICS PICS_A3_6_2

    PICS PICS_A3_6_3

    PICS PICS_A3_6_4

    PICS PICS_A3_6_5

    PICS PICS_A3_7_1

    PICS PICS_A3_8_1

    PICS PICS_A3_8_2

    PICS PICS_A3_8_3

    PICS PICS_A3_8_4

    PICS PICS_A3_9_1

    PICS PICS_A3_9_2

    PICS PICS_A3_9_3

    PICS PICS_A3_9_4

    PICS PICS_A3_10_1

    PICS PICS_A3_10_2

    PICS PICS_A3_10_3

    PICS PICS_A3_10_4

    PICS PICS_A3_11_1

    PICS PICS_A3_11_2

    PICS PICS_A3_11_3

    PICS PICS_A3_12_1

    PICS PICS_A3_13_1

    PICS PICS_A3_13_2

    PICS PICS_A3_13_3

    PICS PICS_A3_14_1

    PICS PICS_A3_15_1

    PICS PICS_A3_15_2

    PICS PICS_A4_1_1

    PICS PICS_A4_1_2

    PICS PICS_A4_1_3

    PICS PICS_A4_1_4

    PICS PICS_A4_1_5

    PICS PICS_A4_2_1

    PICS PICS_A4_2_3

    PICS PICS_A4_2_4

    PICS PICS_A4_2_6

    PICS PICS_A4_2_7

    PICS PICS_A4_2_9

    PICS PICS_A4_2_10

    PICS PICS_A4_2_11

    PICS PICS_A4_2_12

    PICS PICS_A4_3_1

    PICS PICS_A4_3_2

    PICS PICS_A4_3_4

    PICS PICS_A4_3_5

    PICS PICS_A4_3_6

    PICS PICS_A4_3_9

    PICS PICS_A4_4_1

    PICS PICS_A4_5_2

    PICS PICS_A4_5_5

    PICS PICS_A4_6_1

    PICS PICS_A4_6_1_1

    PICS PICS_A4_6_1_2

    PICS PICS_A4_6_2

    PICS PICS_A4_6_3

    PICS PICS_A4_6_4

    PICS PICS_A4_6_5

    PICS PICS_A4_6_6

    PICS PICS_A4_6_7

    PICS PICS_A4_6_8

    PICS PICS_A4_7_2

    PICS PICS_A4_8_1

    PICS PICS_A4_8_2

    PICS PICS_A4_8_3

    PICS PICS_A4_8_4

    PICS PICS_A4_9_1

    PICS PICS_A4_9_2

    PICS PICS_A4_9_3

    PICS PICS_A4_9_4

    PICS PICS_A4_10_1

    PICS PICS_A4_10_2

    PICS PICS_A4_10_3

    PICS PICS_A4_10_4

    PICS PICS_A4_11_1

    PICS PICS_A4_11_2

    PICS PICS_A4_11_3

    PICS PICS_A4_12_1

    PICS PICS_A4_13_1

    PICS PICS_A4_13_2

    PICS PICS_A4_13_3

    PICS PICS_A4_14_1

    PICS PICS_A4_15_1

    PICS PICS_A4_15_2

    PICS NOT_PICS_2



    Event receives

    Event sends

    Event forwards

    Event accepts

    Event isNotRegisteredToAMF

    Event isRegisteredToAMF

    Event hasEstablishedInitialContext

    Event hasEstablishedPDUsession

    Event indicateConnectionEstablishmentIndicationProcedure

    Event hasEstablished_NG_C_AssociationToAMF

    Event hasNotEstablished_NG_C_AssociationToAMF

    Event hasEstablishedTNL_AssociationToAMF

    Event havingSentPDUSessionEstablishment

    Event isConfiguredToAcceptPduModificationFor2ndQoSFlow

    Event hasActiveUeNgapContext

    Event hasNoPduSessionResourceEstablishedForTheConcernedPduSessionId

    Event hasSentPDU_SESSION_RESOURCE_SETUP_REQUEST

    Event hasEstablishedPduSessionResourceForTheConcernedPduSessionId

    Event hasSentPDU_SESSION_RESOURCE_RELEASE_COMMAND

    Event isInCM_CONNECTED

    Event isInCM_IDLE

    Event u_Plane_inactivity_timer_expires

    Event hasSuccessfullyEstablishedTNLconnection

    Event processTheUENasDeregistration

    Event initiatesPduSessionResourceModificationToAddQoSFlow



    Entity UE

    Entity GNB

    Entity AMF

    Entity IUT



    Type NgapMessage

    Type Cause

    NgapMessage AMF_CONFIGURATION_UPDATE

    NgapMessage AMF_CONFIGURATION_UPDATE_ACKNOWLEDGE

    NgapMessage AMF_CONFIGURATION_UPDATE_FAILURE

    NgapMessage RAN_CONFIGURATION_UPDATE

    NgapMessage RAN_CONFIGURATION_UPDATE_ACKNOWLEDGE

    NgapMessage RAN_CONFIGURATION_UPDATE_FAILURE

    NgapMessage HANDOVER_CANCEL

    NgapMessage HANDOVER_CANCEL_ACKNOWLEDGE

    NgapMessage HANDOVER_REQUIRED

    NgapMessage HANDOVER_COMMAND

    NgapMessage HANDOVER_PREPARATION_FAILURE

    NgapMessage HANDOVER_REQUEST

    NgapMessage HANDOVER_REQUEST_ACKNOWLEDGE

    NgapMessage HANDOVER_FAILURE

    NgapMessage INITIAL_CONTEXT_SETUP_REQUEST

    NgapMessage INITIAL_CONTEXT_SETUP_RESPONSE

    NgapMessage INITIAL_CONTEXT_SETUP_FAILURE

    NgapMessage NG_RESET

    NgapMessage NG_RESET_ACKNOWLEDGE

    NgapMessage NG_SETUP_REQUEST

    NgapMessage NG_SETUP_RESPONSE

    NgapMessage NG_SETUP_FAILURE

    NgapMessage PATH_SWITCH_REQUEST

    NgapMessage PATH_SWITCH_REQUEST_ACKNOWLEDGE

    NgapMessage PATH_SWITCH_REQUEST_FAILURE

    NgapMessage PDU_SESSION_RESOURCE_MODIFY_REQUEST

    NgapMessage PDU_SESSION_RESOURCE_MODIFY_RESPONSE

    NgapMessage PDU_SESSION_RESOURCE_MODIFY_INDICATION

    NgapMessage PDU_SESSION_RESOURCE_MODIFY_CONFIRM

    NgapMessage PDU_SESSION_RESOURCE_RELEASE_COMMAND

    NgapMessage PDU_SESSION_RESOURCE_RELEASE_RESPONSE

    NgapMessage PDU_SESSION_RESOURCE_SETUP_REQUEST

    NgapMessage PDU_SESSION_RESOURCE_SETUP_RESPONSE

    NgapMessage UE_CONTEXT_MODIFICATION_REQUEST

    NgapMessage UE_CONTEXT_MODIFICATION_RESPONSE

    NgapMessage UE_CONTEXT_MODIFICATION_FAILURE

    NgapMessage UE_CONTEXT_RELEASE_COMMAND

    NgapMessage UE_CONTEXT_RELEASE_COMPLETE

    NgapMessage WRITE_REPLACE_WARNING_REQUEST

    NgapMessage WRITE_REPLACE_WARNING_RESPONSE

    NgapMessage PWS_CANCEL_REQUEST

    NgapMessage PWS_CANCEL_RESPONSE

    NgapMessage UE_RADIO_CAPABILITY_CHECK_REQUEST

    NgapMessage UE_RADIO_CAPABILITY_CHECK_RESPONSE

    NgapMessage UE_CONTEXT_SUSPEND_REQUEST

    NgapMessage UE_CONTEXT_SUSPEND_RESPONSE

    NgapMessage UE_CONTEXT_SUSPEND_FAILURE

    NgapMessage UE_CONTEXT_RESUME_REQUEST

    NgapMessage UE_CONTEXT_RESUME_RESPONSE

    NgapMessage UE_CONTEXT_RESUME_FAILURE

    NgapMessage UE_RADIO_CAPABILITY_ID_MAPPING_REQUEST

    NgapMessage UE_RADIO_CAPABILITY_ID_MAPPING_RESPONSE

    NgapMessage DOWNLINK_RAN_CONFIGURATION_TRANSFER

    NgapMessage DOWNLINK_RAN_STATUS_TRANSFER

    NgapMessage DOWNLINK_NAS_TRANSPORT

    NgapMessage ERROR_INDICATION

    NgapMessage UPLINK_RAN_CONFIGURATION_TRANSFER

    NgapMessage UPLINK_RAN_STATUS_TRANSFER

    NgapMessage HANDOVER_NOTIFY

    NgapMessage INITIAL_UE_MESSAGE

    NgapMessage NAS_NON_DELIVERY_INDICATION

    NgapMessage PAGING

    NgapMessage PDU_SESSION_RESOURCE_NOTIFY

    NgapMessage REROUTE_NAS_REQUEST

    NgapMessage UE_CONTEXT_RELEASE_REQUEST

    NgapMessage UPLINK_NAS_TRANSPORT

    NgapMessage AMF_STATUS_INDICATION

    NgapMessage PWS_RESTART_INDICATION

    NgapMessage PWS_FAILURE_INDICATION

    NgapMessage DOWNLINK_UE_ASSOCIATED_NRPPA_TRANSPORT

    NgapMessage UPLINK_UE_ASSOCIATED_NRPPA_TRANSPORT

    NgapMessage DOWNLINK_NON_UE_ASSOCIATED_NRPPA_TRANSPORT

    NgapMessage UPLINK_NON_UE_ASSOCIATED_NRPPA_TRANSPORT

    NgapMessage TRACE_START

    NgapMessage TRACE_FAILURE_INDICATION

    NgapMessage DEACTIVATE_TRACE

    NgapMessage CELL_TRAFFIC_TRACE

    NgapMessage LOCATION_REPORTING_CONTROL

    NgapMessage LOCATION_REPORTING_FAILURE_INDICATION

    NgapMessage LOCATION_REPORT

    NgapMessage UE_TNLA_BINDING_RELEASE_REQUEST

    NgapMessage UE_RADIO_CAPABILITY_INFO_INDICATION

    NgapMessage RRC_INACTIVE_TRANSITION_REPORT

    NgapMessage OVERLOAD_START

    NgapMessage OVERLOAD_STOP

    NgapMessage SECONDARY_RAT_DATA_USAGE_REPORT

    NgapMessage UPLINK_RIM_INFORMATION_TRANSFER

    NgapMessage DOWNLINK_RIM_INFORMATION_TRANSFER

    NgapMessage RETRIEVE_UE_INFORMATION

    NgapMessage UE_INFORMATION_TRANSFER

    NgapMessage RAN_CP_RELOCATION_INDICATION

    NgapMessage CONNECTION_ESTABLISHMENT_INDICATION

    NgapMessage AMF_CP_RELOCATION_INDICATION

    NgapMessage HANDOVER_SUCCESS

    NgapMessage UPLINK_RAN_EARLY_STATUS_TRANSFER

    NgapMessage DOWNLINK_RAN_EARLY_STATUS_TRANSFER

    Cause Multiple_Location_Reporting_Reference_ID_instances



    Message Gate defaultGT accepts NgapMessage



    Component NgapComponent {

        gate defaultGT g

        gate defaultGT g2

    }



    Configuration CF_GNB_N2 {

        NgapComponent AMF as Tester,

        NgapComponent IUT as SUT,

        connect AMF::g to IUT::g

    }



    Configuration CF_AMF_N2 {

        NgapComponent GNB as Tester,

        NgapComponent IUT as SUT,

        connect GNB::g to IUT::g

    }



    Configuration CF_GNB_2N2 {

        NgapComponent AMF as Tester,

        NgapComponent IUT as SUT,

        connect AMF::g to IUT::g

    }



    Configuration CF_AMF_2N2 {

        NgapComponent GNB as Tester,

        NgapComponent IUT as SUT,

        connect GNB::g to IUT::g

    }



}

test_purposes/TDL_TO/TDL.tdltx

0 → 100644
+59 −0
Original line number Diff line number Diff line 
@Version: "1.8.1"

Package TDL {

	Constraint length

	Constraint minLength

	Constraint maxLength

	Constraint range

	Constraint format

	Constraint union

	Constraint uniontype

	

	Type Boolean

	Type Integer

	Type String

	Type Verdict

	

	Boolean ^true

	Boolean ^false

	Boolean True

	Boolean False

	

	Verdict pass

	Verdict fail

	Verdict inconclusive

	

	Time second

	

	Annotation Master

	Annotation MappingName

	Annotation Version

	Annotation check

	Annotation where

	Annotation PICS



    //standard annotations for STO

    Annotation Initial conditions

    Annotation Expected behaviour

    Annotation Final conditions

    Annotation Test Purpose Description

    Annotation when

    Annotation then

	

	Predefined == returns Boolean

	Predefined != returns Boolean

	Predefined and returns Boolean

	Predefined or returns Boolean

	Predefined xor returns Boolean

	Predefined not returns Boolean

	Predefined < returns Boolean

	Predefined > returns Boolean

	Predefined <= returns Boolean

	Predefined >= returns Boolean

	Predefined +

	Predefined -

	Predefined *

	Predefined /

	Predefined mod

	Predefined size returns Integer

	

}
 
 No newline at end of file

test_purposes/TDL_TO/TP_AMF_NGAP.tdltx

0 → 100644
+1257 −0

File added.

Preview size limit exceeded, changes collapsed.

test_purposes/TDL_TO/TP_GNB_NGAP.tdltx

0 → 100644
+496 −0

File added.

Preview size limit exceeded, changes collapsed.