Commit ecd66ae6 authored by Bostjan Pintar's avatar Bostjan Pintar
Browse files

Initial conditions aligned

parent d1b97ea4

test_purposes/Ngnas_Common.tplan2

+12 −56
Original line number Diff line number Diff line
@@ -123,67 +123,23 @@ Package Ngnas_Common { 
            - receives

            - sends

            - forwards

            - isRequestedToPlaceACall

            - aborts

            // Initial conditions

            - isNotRegisteredTo

            - hasAchievedFirstRegistration

            - isRegisteredTo

            - isNotAttachedTo

            - isAttachedTo

            - isNotConfiguredForTopologyHiding

            - isConfiguredForTopologyHiding

            - isExistingIn

            - isNotAppropriateToServe

            - establishedSecurityRelation

            - registeredIdentityTelURI

            - registeredIdentitySipURI

            - hasInitiatedDialogWith

            - hasInitiatedPS2CSinEarlydialog

            - hasInitiatedPS2CSinAlertingState

            - hasEstablishedDialog

            - hasEstablishedPS2CSDialog

            - isNotRegisteredToAMF

            - isRegisteredToAMF

            - hasEstablishedInitialContext

            - hasEstablishedRRCConnection

            - hasEstablishedContextInproperly

            - hasEstablishedPDUsessionWithSameId

            - hasEstablishedPDUsession

            - isConfiguredWithENUMentryForTelURI_E164NumberOf

            - hasReceivedInitialRequestForDialog

            - hasReceived200OkOnInitialRequestForDialogWith

            - hasReceived180OnInitialRequest

            - hasReceived200OkCancel

            - hasReceivedTerminatedRequest

            - hasReceivedNASMessage

            - hasReceivedPAGINGMessage

            - hasReceivedOVERLOADSTARTtMessage

            - hasSuspendedContext

            - hasPendingDataTransmission

            - registeredPublicIdsWithTelUriAndSipUri

            - hasReceivedSubsequentOrTargetRefreshRequestInDialog

            - previouslyEstablishedCallWith

            - isRequestedToSend

            - isRequestedToDeregisterUser

            - isBusy

            - isNoLongerAvailable

            - isTriggeredToDetachUser

            - isRequestedToDetachfromNetwork

            - isTransitioningTo

            - hasAchievedFirstREGISTER

            - hasResponded486INVITE

            - hasAchievedInitialINVITE

            - hasAchievedINVITE

            - hasAchievedUPDATEuponINVITE

            - timerOperatorSpecificTimeout //NOTE: 8 seconds is an appropriate value for the operator policy.

            - isAttachingToNetwork

            - hasDoneSubscription

            - indicate

            - trigger

            - isCMIDLE

            - isCMCONNECTED

            - alreadyPreparedHandover

            - completedHandover

            - indicateConnectionEstablishmentIndicationProcedure

            - hasEstablished_NG_C_AssociationToAMF

            - hasNotEstablished_NG_C_AssociationToAMF

            - hasEstablishedTNL_AssociationToAMF

            - processTheUEderegistration

            - isInOverloadedState

            //When Triggers

            - u_Plane_inactivity_timer_expires

            - hasSuccessfullyEstablishedTNLconnection

            - indicateUEdeactivation

            - indicateUEderegistration

        ;

        event templates:

        /* This template can be used as default AUTHENTICATION REQUEST message within a DOWNLINK NAS TRANSFER message. */