blob: 204ee74ba8291a85e6314c288f01c8bf41cd4c3d [file] [log] [blame]
///////////////////////////////////////////////////////////////////////////////
// Copyright (c) 2000-2019 Ericsson Telecom AB
// All rights reserved. This program and the accompanying materials
// are made available under the terms of the Eclipse Public License v2.0
// which accompanies this distribution, and is available at
// https://www.eclipse.org/org/documents/epl-2.0/EPL-2.0.html
///////////////////////////////////////////////////////////////////////////////
//
// File: NAS_EPS_Test.ttcn
// Rev: <RnXnn>
// Prodnr: 1/CNL 113 862
// Contact: http://ttcn.ericsson.se
// Reference: 3GPP 24.301 v15.2.0 (24.008 v15.3.0, 24.011 v15.1.0, 24.161 v15.0.0
module NAS_EPS_Test
{
import from NAS_EPS_Types all;
type component NAS_EPS_Test_CT { }
const PDU_NAS_EPS c_PDU_NAS_EPS_AttachAccept :=
{
protocolDiscriminator := '0111'B,
ePS_messages := {
ePS_MobilityManagement :={
pDU_NAS_EPS_AttachAccept := {
securityHeaderType := '0000'B,
messageType := '01000010'B,
ePS_AttachResult :=
{
valueOfAttachResult := '111'B,
spare := '0'B
},
spare := '0000'B,
t3412 := {
timerValue := '01111'B,
unit := '001'B
},
tAI_List :=
{
lengthIndicator := 6,
trackingAreaIdentityLists :=
{
{
list01 :=
{
nrOfElements := 0,
typeOfList := '01'B,
spare := '0'B, //0
mccDigit1 := '1'H,
mccDigit2 := '2'H,
mccDigit3 := '3'H,
mncDigit3 := '4'H,
mncDigit1 := '5'H,
mncDigit2 := '6'H,
tAC1 := 'FFFF'O
}
}
}
},
eSM_MessageContainer :=
{
lengthIndicator := 10,
content := 'AABBCCDDEE0011223344'O
},
gUTI :=
{
elementIdentifier := '50'O,
ePS_MobileIdentity :=
{
lengthIndicator := 11,
ePS_MobileIdentity :=
{
typeOfIdentity := '110'B,
oddEvenInd_identity :=
{
guti :=
{
oddevenIndicator := '0'B,
spare := '1111'B,
mccDigit1 := '1'H,
mccDigit2 := '2'H,
mccDigit3 := '3'H,
mncDigit3 := '4'H,
mncDigit1 := '5'H,
mncDigit2 := '6'H,
mMEGI := 'AABB'O,
mMEC := 'FF'O,
mTMSI := 'AABBCCDD'O
}
}
}
}
},
locationAreaIdentification :=
{
elementIdentifier := '13'O,
mcc_mnc := '112233'O,
lac := 'BBBB'O
},
msIdentity := omit,
eMMCause := omit,
t3402 := omit,
t3423 := omit,
equivalentPLMNs := omit,
emergencyNumberList := omit,
ePS_NetworkFeatureSupport := omit,
additionalUpdateResult :=
{
additionalUpdateResultValue := '11'B,
spare := '00'B,
elementIdentifier := '1111'B
},
t3412_Extended :=
{
elementIdentifier := '5E'O,
lengthIndicator := 1 ,
gprsTimer3 :=
{
timerValue := '00101'B,
unit := '011'B
}
},
t3324 :=
{
elementIdentifier := '6A'O,
lengthIndicator := 1 ,
gprsTimer2 :=
{
timerValue := '00101'B,
unit := '011'B
}
},
extendedDRXParameters :=
{
elementIdentifier := '6E'O,
lengthIndicator := 1,
eDRXvalue := '0101'B,
pagingTimeWindow := '0101'B
},
dNCID :=
{
elementIdentifier := '65'O,
lengthIndicator := 2,
dCNIDvalue := '1234'O
},
sMS_ServiceStatus :=
{
sMS_ServiceStatusValue := '001'B,
spare := '0'B,
elementIdentifier := '1110'B
},
non3GPP_NW_ProvidedPolicies :=
{
n3EN_Indicator := '1'B,
spare := '000'B,
elementIdentifier := '1101'B
},
t3448 :=
{
elementIdentifier := '6B'O,
lengthIndicator := 1 ,
gprsTimer2 :=
{
timerValue := '00101'B,
unit := '011'B
}
},
networkPolicy :=
{
redirPolicy := '1'B,
spare := '000'B,
elementIdentifier := '1100'B
},
t3447 :=
{
elementIdentifier := '6C'O,
lengthIndicator := 1,
gprsTimer3 :={
timerValue := '00111'B,
unit := '000'B
}
},
extendedEmergencyNumberList :=
{
elementIdentifier := 'FF'O,
lengthIndicator := 4,
extendedEmergencyNumberList :=
{
{
lengthOfExtendedEmergencyNumber := 1,
extendedEmergencyNumber := '01'O
},
{
lengthOfExtendedEmergencyNumber := 1,
extendedEmergencyNumber := '02'O
}
}
}
}
}
}
}
const PDU_NAS_EPS c_PDU_NAS_EPS_AttachReject :=
{
protocolDiscriminator := '0111'B,
ePS_messages := {
ePS_MobilityManagement :={
pDU_NAS_EPS_AttachReject := {
securityHeaderType := '0000'B,
messageType := '01000100'B,
emmCause :=
{
causeValue := 'BB'O
},
eSM_MessageContainer := omit,
t3346 :=
{
elementIdentifier := '5F'O,
lengthIndicator := 1,
gprsTimer2 :=
{
timerValue := '00000'B,
unit := '011'B
}
},
t3402 :=
{
elementIdentifier := '16'O,
lengthIndicator := 1,
gprsTimer2 :=
{
timerValue := '11111'B,
unit := '011'B
}
},
extendedEmmCause :=
{
eUTRANallowedValue := '1'B,
ePSoptimizationInfo := '0'B,
spare := '00'B,
elementIdentifier := '1010'B
}
}
}
}
}
const PDU_NAS_EPS c_PDU_NAS_EPS_AttachRequest :=
{
protocolDiscriminator := '0111'B,
ePS_messages := {
ePS_MobilityManagement :={
pDU_NAS_EPS_AttachRequest := {
securityHeaderType := '0000'B,
messageType := '01000001'B,
ePS_attachType :=
{
typeOfAttach := '000'B,
spare := '0'B
},
nasKeySetId :=
{
identifier := '111'B,
tSC := '0'B
},
ePSMobileId :=
{
lengthIndicator := 11,
ePS_MobileIdentity :=
{
typeOfIdentity := '110'B,
oddEvenInd_identity :=
{
guti :=
{
oddevenIndicator := '0'B,
spare := '1111'B,
mccDigit1 := '1'H,
mccDigit2 := '2'H,
mccDigit3 := '3'H,
mncDigit3 := '4'H,
mncDigit1 := '5'H,
mncDigit2 := '6'H,
mMEGI := 'AABB'O,
mMEC := 'FF'O,
mTMSI := 'AABBCCDD'O
}
}
}
},
uENetworkCapability :=
{
lengthIndicator := 7,
uENetworkCapabilityV :=
{
eEA := '00001111'B,
eIA := '11110000'B,
uEA := '00110011'B,
uIA := '0111110'B,
uCS2 := '0'B,
nF := '0'B,
vCC := '0'B,
lCS := '0'B,
lPP := '0'B,
aCC_CSFB := '0'B,
h245_ASH := '0'B,
proSe := '0'B,
proSe_dd := '0'B,
proSe_dc := '0'B,
proSe_relay := '0'B,
cP_CIoT := '0'B,
uP_CIoT := '0'B,
s1_Udata := '0'B,
eRwoPDN := '0'B,
hC_CP_CIoT := '0'B,
ePCO := '0'B,
multipleDRB := '0'B,
v2XPC5 := '0'B,
restrictEC := '0'B,
cPbackoff := '0'B,
dCNR := '0'B,
n1Mode := '0'B,
sGC := '0'B,
spare1 := '0'B,
spare := omit
}
},
eSM_MessageContainer :=
{
lengthIndicator := 2,
content := 'FFFF'O
},
old_P_TMSISignature := omit,
additionalGUTI := omit,
lastVisitedRegisteredTAI := omit,
dRXParameter := omit,
mSNetworkCapability :=
{
elementIdentifier := '31'O,
mSNetworkCapabilityLV :=
{
lengthIndicator := 4,
msNetworkCapabilityV :=
{
gea1bit := '0'B,
smCapabilitiesviaDedicatedChannels := '0'B,
smCapabilitiesviaGPRSChannels := '0'B,
ucs2Support := '0'B,
ssScreeningIndicator := '00'B,
solSACapability := '0'B,
revisionLevelIndicatior := '0'B,
pFCFeatureMode := '0'B,
extendedGEAbits := '000111'B,
lcsVAcapability := '0'B,
pSInterRATHOtoUTRANIuModeCapability := '0'B,
pSInterRATHOtoEUTRANS1ModeCapability := '0'B,
eMMCombinedProceduresCapability := '0'B,
iSRSupport := '0'B,
sRVCCtoGERANUTRANCapability := '0'B,
epcCapability := '0'B,
nFCapability := '0'B,
gERANNwSharingCapability := '0'B,
userPlaneIntegrityProtectionSupport := '0'B,
gIA4 := '0'B,
gIA5 := '0'B,
gIA6 := '0'B,
gIA7 := '0'B,
ePCOIEIndicator := '0'B,
restrictionOnUseOfEnhancedCoverageCapability := '0'B,
dualConnectivityOfEUTRANwithNRCapability := '0'B,
spare_octets := omit
}
}
},
oldLocationAreaIdentification := omit,
tMSIStatusTV := omit,
mobileStationClassmark2 := omit,
mobileStationClassmark3 := omit,
supportedCodecList := omit,
additionalUpdateType := omit,
voiceDomainPrefandUEsettings := omit,
deviceProperties :=
{
lowPriority := '1'B,
spare := '000'B,
elementIdentifier := '1101'B
},
oldGUTI_Type :=
{
gUTI_Type := '0'B,
spare := '000'B,
elementIdentifier := '1110'B
},
mS_NetworkFeatureSupport :=
{
extendedPeriodicTimers := '1'B,
spare := '000'B,
elementIdentifier := '1100'B
},
tMSIBasedNRIContainer :=
{
elementIdentifier := '10'O,
networkResourceIdentifierContainerLV :=
{
lengthIndicator := 2 ,
networkResourceIdentifierContainerV :=
{
nRIContainerValue := '1111111111'B,
spare := '000000'B
}
}
},
t3324 :=
{
elementIdentifier := '6A'O,
lengthIndicator := 1 ,
gprsTimer2 :=
{
timerValue := '00101'B,
unit := '011'B
}
},
t3412_Extended :=
{
elementIdentifier := '5E'O,
lengthIndicator := 1 ,
gprsTimer3 :=
{
timerValue := '00101'B,
unit := '011'B
}
},
extendedDRXParameters :=
{
elementIdentifier := '6E'O,
lengthIndicator := 1,
eDRXvalue := '0101'B,
pagingTimeWindow := '0101'B
},
uEAdditionalSecurityCapability :=
{
elementIdentifier := '6F'O,
lengthIndicator := 4,
uEAdditionalSecurityCapabilityV :=
{
fiveG_eA7 := '0'B,
fiveG_eA6 := '0'B,
fiveG_eA5 := '0'B,
fiveG_eA4 := '0'B,
fiveG_eA3_128 := '0'B,
fiveG_eA2_128 := '0'B,
fiveG_eA1_128 := '0'B,
fiveG_eA0 := '0'B,
fiveG_eA15 := '0'B,
fiveG_eA14 := '0'B,
fiveG_eA13 := '0'B,
fiveG_eA12 := '0'B,
fiveG_eA11 := '0'B,
fiveG_eA10 := '0'B,
fiveG_eA9 := '0'B,
fiveG_eA8 := '0'B,
fiveG_iA7 := '0'B,
fiveG_iA6 := '0'B,
fiveG_iA5 := '0'B,
fiveG_iA4 := '0'B,
fiveG_iA3_128 := '0'B,
fiveG_iA2_128 := '0'B,
fiveG_iA1_128 := '0'B,
fiveG_iA0 := '0'B,
fiveG_iA15 := '0'B,
fiveG_iA14 := '0'B,
fiveG_iA13 := '0'B,
fiveG_iA12 := '0'B,
fiveG_iA11 := '0'B,
fiveG_iA10 := '0'B,
fiveG_iA9 := '0'B,
fiveG_iA8 := '0'B
}
}
}
}
}
}
const PDU_NAS_EPS c_PDU_NAS_EPS_TrackingAreaUpdateAccept :=
{
protocolDiscriminator := '0111'B,
ePS_messages := {
ePS_MobilityManagement :={
pDU_NAS_EPS_TrackingAreaUpdateAccept := {
securityHeaderType := '0000'B,
messageType := '01001001'B,
updateResult :=
{
valueOfUpdateResult := '111'B,
spare := '0'B
},
spareHalfOctet := '0000'B,
t3412 :=
{
elementIdentifier := '5A'O,
gprsTimer :=
{
timerValue := '11111'B,
unit := '011'B
}
},
gUTI := omit,
tAI_List := omit,
ePSBearerContextStatus := omit,
locationAreaIdentification := omit,
msIdentity := omit,
eMMCause := omit,
t3402 :=
{
elementIdentifier := '17'O,
gprsTimer :=
{
timerValue := '11111'B,
unit:= '011'B
}
},
t3423 :=
{
elementIdentifier := '59'O,
gprsTimer :=
{
timerValue := '11111'B,
unit:= '011'B
}
},
equivalentPLMNs := omit,
emergencyNumberList := omit,
ePS_NetworkFeatureSupport := omit,
additionalUpdateResult := omit,
t3412_Extended :=
{
elementIdentifier := '5E'O,
lengthIndicator := 1,
gprsTimer3 :=
{
timerValue := '00101'B,
unit := '011'B
}
},
t3324 :=
{
elementIdentifier := '6A'O,
lengthIndicator := 1,
gprsTimer2 :=
{
timerValue := '11111'B,
unit:= '011'B
}
},
extendedDRXParameters :=
{
elementIdentifier := '6E'O,
lengthIndicator := 1,
eDRXvalue := '0101'B,
pagingTimeWindow := '0101'B
},
headerCompressionConfigurationStatus :=
{
elementIdentifier := '68'O,
lengthIndicator := 2,
headerCompressionConfigurationStatus :=
{
ebi0 := '1'B,
ebi1 := '1'B,
ebi2 := '1'B,
ebi3 := '1'B,
ebi4 := '1'B,
ebi5 := '1'B,
ebi6 := '1'B,
ebi7 := '1'B,
ebi8 := '1'B,
ebi9 := '1'B,
ebi10 := '1'B,
ebi11 := '1'B,
ebi12 := '1'B,
ebi13 := '1'B,
ebi14 := '1'B,
ebi15 := '1'B
}
},
dNCID :=
{
elementIdentifier := '65'O,
lengthIndicator := 2,
dCNIDvalue := '1234'O
},
sMS_ServiceStatus :=
{
sMS_ServiceStatusValue := '001'B,
spare := '0'B,
elementIdentifier := '1110'B
},
non3GPP_NW_ProvidedPolicies :=
{
n3EN_Indicator := '1'B,
spare := '000'B,
elementIdentifier := '1101'B
},
t3448 :=
{
elementIdentifier := '6B'O,
lengthIndicator := 1 ,
gprsTimer2 :=
{
timerValue := '00101'B,
unit := '011'B
}
},
networkPolicy :=
{
redirPolicy := '1'B,
spare := '000'B,
elementIdentifier := '1100'B
},
t3447 :=
{
elementIdentifier := '6C'O,
lengthIndicator := 1,
gprsTimer3 :={
timerValue := '00111'B,
unit := '000'B
}
},
extendedEmergencyNumberList :=
{
elementIdentifier := 'FF'O,
lengthIndicator := 4,
extendedEmergencyNumberList :=
{
{
lengthOfExtendedEmergencyNumber := 1,
extendedEmergencyNumber := '01'O
},
{
lengthOfExtendedEmergencyNumber := 1,
extendedEmergencyNumber := '02'O
}
}
}
}
}
}
}
const PDU_NAS_EPS c_PDU_NAS_EPS_TrackingAreaUpdateReject :=
{
protocolDiscriminator := '0111'B,
ePS_messages := {
ePS_MobilityManagement :={
pDU_NAS_EPS_TrackingAreaUpdateReject := {
securityHeaderType := '0000'B,
messageType := '01001011'B,
emmCause:=
{
causeValue := '12'O
},
t3346 := {
elementIdentifier := '5F'O,
lengthIndicator := 1,
gprsTimer2 :=
{
timerValue := '11111'B,
unit := '011'B
}
},
extendedEmmCause :=
{
eUTRANallowedValue := '1'B,
ePSoptimizationInfo := '0'B,
spare := '00'B,
elementIdentifier := '1010'B
}
}
}
}
}
const PDU_NAS_EPS c_PDU_NAS_EPS_TrackingAreaUpdateRequest :=
{
protocolDiscriminator := '0111'B,
ePS_messages := {
ePS_MobilityManagement :={
pDU_NAS_EPS_TrackingAreaUpdateRequest := {
securityHeaderType := '0000'B,
messageType := '01001000'B,
ePSupdateType :=
{
typeOfUpdate := '111'B,
activeFlag := '0'B
},
nasKeySetId := {
identifier := '111'B,
tSC := '0'B
},
oldGUTI := {
lengthIndicator := 11,
ePS_MobileIdentity :=
{
typeOfIdentity := '110'B,
oddEvenInd_identity :=
{
guti :=
{
oddevenIndicator := '0'B,
spare := '1111'B,
mccDigit1 := '1'H,
mccDigit2 := '2'H,
mccDigit3 := '3'H,
mncDigit3 := '4'H,
mncDigit1 := '5'H,
mncDigit2 := '6'H,
mMEGI := 'AABB'O,
mMEC := 'FF'O,
mTMSI := 'AABBCCDD'O
}
}
}
},
nonCurrentNative_nasKeySetId := omit,
gprsCipheringKeySequenceNumber := omit,
old_P_TMSISignature := omit,
additionalGUTI := omit,
nonce := omit,
uENetworkCapability := omit,
lastVisitedRegisteredTAI := omit,
dRXParameter := omit,
uE_RadioCapabilityInfoUpdateNeeded := omit,
ePSBearerContextStatus := omit,
mSNetworkCapability := omit,
oldLocationAreaIdentification := omit,
tMSIStatusTV := omit,
mobileStationClassmark2 := omit,
mobileStationClassmark3 := omit,
supportedCodecList := omit,
additionalUpdateType := omit,
voiceDomainPrefandUEsettings := omit,
oldGUTI_Type := {
gUTI_Type := '0'B,
spare := '000'B,
elementIdentifier := '1110'B
},
deviceProperties := {
lowPriority := '1'B,
spare := '000'B,
elementIdentifier := '1101'B
},
mS_NetworkFeatureSupport := {
extendedPeriodicTimers := '1'B,
spare := '000'B,
elementIdentifier := '1100'B
},
tMSIBasedNRIContainer :=
{
elementIdentifier := '10'O,
networkResourceIdentifierContainerLV :=
{
lengthIndicator := 2 ,
networkResourceIdentifierContainerV :=
{
nRIContainerValue := '1111111111'B,
spare := '000000'B
}
}
},
t3324 :=
{
elementIdentifier := '6A'O,
lengthIndicator := 1 ,
gprsTimer2 :=
{
timerValue := '00101'B,
unit := '011'B
}
},
t3412_Extended :=
{
elementIdentifier := '5E'O,
lengthIndicator := 1 ,
gprsTimer3 :=
{
timerValue := '00101'B,
unit := '011'B
}
},
extendedDRXParameters :=
{
elementIdentifier := '6E'O,
lengthIndicator := 1,
eDRXvalue := '0101'B,
pagingTimeWindow := '0101'B
},
uEAdditionalSecurityCapability :=
{
elementIdentifier := '6F'O,
lengthIndicator := 4,
uEAdditionalSecurityCapabilityV :=
{
fiveG_eA7 := '0'B,
fiveG_eA6 := '0'B,
fiveG_eA5 := '0'B,
fiveG_eA4 := '0'B,
fiveG_eA3_128 := '0'B,
fiveG_eA2_128 := '0'B,
fiveG_eA1_128 := '0'B,
fiveG_eA0 := '0'B,
fiveG_eA15 := '0'B,
fiveG_eA14 := '0'B,
fiveG_eA13 := '0'B,
fiveG_eA12 := '0'B,
fiveG_eA11 := '0'B,
fiveG_eA10 := '0'B,
fiveG_eA9 := '0'B,
fiveG_eA8 := '0'B,
fiveG_iA7 := '0'B,
fiveG_iA6 := '0'B,
fiveG_iA5 := '0'B,
fiveG_iA4 := '0'B,
fiveG_iA3_128 := '0'B,
fiveG_iA2_128 := '0'B,
fiveG_iA1_128 := '0'B,
fiveG_iA0 := '0'B,
fiveG_iA15 := '0'B,
fiveG_iA14 := '0'B,
fiveG_iA13 := '0'B,
fiveG_iA12 := '0'B,
fiveG_iA11 := '0'B,
fiveG_iA10 := '0'B,
fiveG_iA9 := '0'B,
fiveG_iA8 := '0'B
}
},
uEStatus :=
{
elementIdentifier := '6D'O,
lengthIndicator := 1,
uEStatusV :=
{
s1ModeReg := '0'B,
n1ModeReg := '0'B,
spare := '00000'B
}
}
}
}
}
}
const PDU_NAS_EPS c_PDU_NAS_EPS_ActDedEPSBearerContextRequest :=
{
protocolDiscriminator := '0010'B,
ePS_messages := {
ePS_SessionManagement :={
pDU_NAS_EPS_ActDedEPSBearerContextRequest := {
ePSBearerIdentity := '0000'B,
procedureTransactionIdentifier := '00000000'B,
messageType := '11000101'B,
linked_EPS_BearerIdentity :=
{
linked_EPS_BearerIdentityValue := '1111'B
},
spareHalfOctet := '0000'B,
ePS_QoS := {
lengthIndicator := 1,
ePS_QualityOfServiceV :=
{
qCI := 'AA'O,
maxBitRateUplink := omit,
maxBitRateDownlink := omit,
guaranteedBitRateUplink := omit,
guaranteedBitRateDownlink := omit,
maxBitRateUplinkExt := omit,
maxBitRateDownlinkExt := omit,
guaranteedBitRateUplinkExt := omit,
guaranteedBitRateDownlinkExt := omit,
maxBitRateUplinkExt2 := omit,
maxBitRateDownlinkExt2 := omit,
guaranteedBitRateUplinkExt2 := omit,
guaranteedBitRateDownlinkExt2 := omit
}
},
trafficFlowTemplate :=
{
lengthIndicator := 1,
valueField :=
{
trafficFlowTemplateV_Delete_Existing_TFT_or_No_TFT_Operation :=
{
numberOfPacketFilters := '0000'B,
eBIT := '0'B,
operationCodeTFT := '010'B,
parametersList := omit
}
}
},
transactionIdentifier := omit,
negotiatedQoS :=
{
elementIdentifier := '30'O,
qoSLV :=
{
lengthIndicator := 20,
qoSV :=
{
reliabilityClass := '010'B,
delayClass := '010'B,
spare1 := '00'B,
precedenceClass := '010'B,
spare2 := '0'B,
peakThroughput := '1010'B,
meanThroughput := '10101'B,
spare3 := '000'B,
deliverErroneusSDU := '000'B,
deliveryOrder := '00'B,
trafficClass := '000'B,
maxSDUSize := '00'O,
maxBitrateUplink := '00'O,
maxBitrateDownlink := '00'O,
sduErrorRatio := '0000'B,
residualBER := '0000'B,
trafficHandlingPriority := '00'B,
transferDelay := '000000'B,
guaranteedBitRateUplink := '00'O,
guaranteedBitRateDownlink := '00'O,
sourceStatisticsDescriptor := '0000'B,
signallingIndication := '0'B,
spare4 := '000'B,
maxBitrateDownlinkExt := '00'O,
guaranteedBitRateDownlinkExt := '00'O,
maxBitrateUplinkExt := '00'O,
guaranteedBitRateUplinkExt := '00'O,
maxBitrateDownlinkExt2 := '00'O,
guaranteedBitRateDownlinkExt2 := '00'O,
maxBitrateUplinkExt2 := '00'O,
guaranteedBitRateUplinkExt2 := '00'O
}
}
},
negotiated_LLC_SAPI := omit,
radioPriority := omit,
packetFlowID := omit,
protocolConfigOptions := omit,
wLANOffloadIndication :=
{
valueField :=
{
eUTRAN_offloadAcceptabilityValue := '0'B,
uTRAN_offloadAcceptabilityValue := '1'B,
spare := '00'B
},
elementIdentifier := '1100'B
},
nBIFOMContainer :=
{
elementIdentifier := '33'O,
lengthIndicator := 3,
contents :=
{{
parameterIdentifier := '01'O,
lengthIndicator := 1,
parameterContents :=
{
nBIFOM_Mode := '11'O
}
}}
},
extendedProtocolConfigurationOptions := omit,
extendedQoS :=
{
elementIdentifier := '5C'O,
lengthIndicator := 10,
extended_QoS_Value :=
{
unit_MaxBitRate := '00'O,
maxBitRate_Uplink := '0002'O,
maxBitRate_Downlink := '0002'O,
unit_GuaranteedBitRate := '00'O,
guaranteedBitRate_Uplink := '0002'O,
guaranteedBitRate_Downlink := '0002'O
}
}
}
}
}
}
const PDU_NAS_EPS c_PDU_NAS_EPS_ActDefEPSBearerContextRequest :=
{
protocolDiscriminator := '0010'B,
ePS_messages := {
ePS_SessionManagement :={
pDU_NAS_EPS_ActDefEPSBearerContextRequest := {
ePSBearerIdentity := '0000'B,
procedureTransactionIdentifier := '00000000'B,
messageType := '11000001'B,
ePS_QoS := {
lengthIndicator := 1,
ePS_QualityOfServiceV :=
{
qCI := 'AA'O,
maxBitRateUplink := omit,
maxBitRateDownlink := omit,
guaranteedBitRateUplink := omit,
guaranteedBitRateDownlink := omit,
maxBitRateUplinkExt := omit,
maxBitRateDownlinkExt := omit,
guaranteedBitRateUplinkExt := omit,
guaranteedBitRateDownlinkExt := omit,
maxBitRateUplinkExt2 := omit,
maxBitRateDownlinkExt2 := omit,
guaranteedBitRateUplinkExt2 := omit,
guaranteedBitRateDownlinkExt2 := omit
}
},
accessPointName :=
{
lengthIndicator := 3,
accessPointNameValue := 'AABBCC'O
},
pDN_Address :=
{
lengthIndicator := 5,
typeValue := '111'B,
spare := '00000'B,
addressInformation := '01010101'O
},
transactionIdentifier := omit,
negotiatedQoS := omit,
negotiated_LLC_SAPI := omit,
radioPriority := omit,
packetFlowID := omit,
aPN_AMBR := omit,
esmCause := omit,
protocolConfigOptions := omit,
connectivityType := {
connectivityTypeValue := '0001'B,
elementIdentifier := '1011'B
},
wLANOffloadIndication :=
{
valueField :=
{
eUTRAN_offloadAcceptabilityValue := '0'B,
uTRAN_offloadAcceptabilityValue := '1'B,
spare := '00'B
},
elementIdentifier := '1100'B
},
nBIFOMContainer :=
{
elementIdentifier := '33'O,
lengthIndicator := 3,
contents :=
{{
parameterIdentifier := '01'O,
lengthIndicator := 1,
parameterContents :=
{
nBIFOM_Mode := '11'O
}
}}
},
headerCompressinConfiguration :=
{
elementIdentifier := '66'O,
lengthIndicator := 3,
headerCompressinConfiguration :=
{
p0x0002 := '1'B,
p0x0003 := '1'B,
p0x0004 := '1'B,
p0x0006 := '1'B,
p0x0102 := '1'B,
p0x0103 := '1'B,
p0x0104 := '1'B,
spare := '0'B,
max_CID := '0001'O,
additionalHeaderCompression := omit
}
},
controlPlaneOnlyIndication :=
{
cPOI := '1'B,
spare := '000'B,
elementIdentifier := '1001'B
},
extendedProtocolConfigurationOptions := omit,
servingPLMNRateControl :=
{
elementIdentifier := '6E'O,
lengthIndicator := 2,
servingPLMNRateControlValue := 5
},
extended_APN_AMBR :=
{
elementIdentifier := '5F'O,
lengthIndicator := 6,
extended_APN_AMBR_Value :=
{
unit_Extended_APN_AMBR_Downlink := '00'O,
extended_APN_AMBR_Downlink := '0001'O,
unit_Extended_APN_AMBR_Uplink := '00'O,
extended_APN_AMBR_Uplink := '0001'O
}
},
extendedQoS :=
{
elementIdentifier := '5C'O,
lengthIndicator := 10,
extended_QoS_Value :=
{
unit_MaxBitRate := '00'O,
maxBitRate_Uplink := '0002'O,
maxBitRate_Downlink := '0002'O,
unit_GuaranteedBitRate := '00'O,
guaranteedBitRate_Uplink := '0002'O,
guaranteedBitRate_Downlink := '0002'O
}
}
}
}
}
}
const PDU_NAS_EPS c_PDU_NAS_EPS_BearerResourceAllocationReject :=
{
protocolDiscriminator := '0010'B,
ePS_messages := {
ePS_SessionManagement :={
pDU_NAS_EPS_BearerResourceAllocationReject := {
ePSBearerIdentity := '0000'B,
procedureTransactionIdentifier := '00000000'B,
messageType := '11010101'B,
esmCause :=
{
causeValue := '11'O
},
protocolConfigOptions := omit,
backOffTimer := {
elementIdentifier := '37'O,
lengthIndicator := 1,
gprsTimer3 :={
timerValue := '00111'B,
unit := '000'B
}
},
reAttemptIndicator :=
{
elementIdentifier := '6B'O,
reAttemptIndicatorLV :=
{
lengthIndicator := 1,
valueField :=
{
rATC := '1'B,
ePLMNC := '1'B,
spare := '000000'B
}
}
},
nBIFOMContainer :=
{
elementIdentifier := '33'O,
lengthIndicator := 3,
contents :=
{{
parameterIdentifier := '01'O,
lengthIndicator := 1,
parameterContents :=
{
nBIFOM_Mode := '11'O
}
}}
},
extendedProtocolConfigurationOptions := omit
}
}
}
}
const PDU_NAS_EPS c_PDU_NAS_EPS_BearerResourceModificationReject :=
{
protocolDiscriminator := '0010'B,
ePS_messages := {
ePS_SessionManagement :={
pDU_NAS_EPS_BearerResourceModificationReject := {
ePSBearerIdentity := '0000'B,
procedureTransactionIdentifier := '00000000'B,
messageType := '11010111'B,
esmCause :=
{
causeValue := '11'O
},
protocolConfigOptions := omit,
backOffTimer := {
elementIdentifier := '37'O,
lengthIndicator := 1,
gprsTimer3 :={
timerValue := '00111'B,
unit := '000'B
}
},
reAttemptIndicator :=
{
elementIdentifier := '6B'O,
reAttemptIndicatorLV :=
{
lengthIndicator := 1,
valueField :=
{
rATC := '1'B,
ePLMNC := '1'B,
spare := '000000'B
}
}
},
nBIFOMContainer :=
{
elementIdentifier := '33'O,
lengthIndicator := 3,
contents :=
{{
parameterIdentifier := '01'O,
lengthIndicator := 1,
parameterContents :=
{
nBIFOM_Mode := '11'O
}
}}
},
extendedProtocolConfigurationOptions := omit
}
}
}
}
const PDU_NAS_EPS c_PDU_NAS_EPS_DeactEPSBearerContextRequest :=
{
protocolDiscriminator := '0010'B,
ePS_messages := {
ePS_SessionManagement :={
pDU_NAS_EPS_DeactEPSBearerContextRequest := {
ePSBearerIdentity := '0000'B,
procedureTransactionIdentifier := '00000000'B,
messageType := '11001101'B,
esmCause :=
{
causeValue := '11'O
},
protocolConfigOptions := omit,
t3396 := {
elementIdentifier := '37'O,
lengthIndicator := 1,
gprsTimer3 :={
timerValue := '00111'B,
unit := '000'B
}
},
wLANOffloadIndication :=
{
valueField :=
{
eUTRAN_offloadAcceptabilityValue := '0'B,
uTRAN_offloadAcceptabilityValue := '1'B,
spare := '00'B
},
elementIdentifier := '1100'B
},
nBIFOMContainer :=
{
elementIdentifier := '33'O,
lengthIndicator := 3,
contents :=
{{
parameterIdentifier := '01'O,
lengthIndicator := 1,
parameterContents :=
{
nBIFOM_Mode := '11'O
}
}}
},
extendedProtocolConfigurationOptions := omit
}
}
}
}
const PDU_NAS_EPS c_PDU_NAS_EPS_ModifyEPSBearerContextRequest := {
protocolDiscriminator := '0010'B,
ePS_messages := {
ePS_SessionManagement := {
pDU_NAS_EPS_ModifyEPSBearerContextRequest := {
ePSBearerIdentity := '0001'B,
procedureTransactionIdentifier := '01010101'B,
messageType := '11001001'B,
newEPS_QoS := {
elementIdentifier := '5B'O,
lengthIndicator := 1,
ePS_QualityOfServiceV := {
qCI := 'AB'O,
maxBitRateUplink := omit,
maxBitRateDownlink := omit,
guaranteedBitRateUplink := omit,
guaranteedBitRateDownlink := omit,
maxBitRateUplinkExt := omit,
maxBitRateDownlinkExt := omit,
guaranteedBitRateUplinkExt := omit,
guaranteedBitRateDownlinkExt := omit,
maxBitRateUplinkExt2 := omit,
maxBitRateDownlinkExt2 := omit,
guaranteedBitRateUplinkExt2 := omit,
guaranteedBitRateDownlinkExt2 := omit
}
},
trafficFlowTemplate := omit,
new_QoS := omit,
negotiated_LLC_SAPI := omit,
radioPriority := omit,
packetFlowID := omit,
aPN_AMBR := omit,
protocolConfigOptions := omit,
wLANOffloadIndication :=
{
valueField :=
{
eUTRAN_offloadAcceptabilityValue := '0'B,
uTRAN_offloadAcceptabilityValue := '1'B,
spare := '00'B
},
elementIdentifier := '1100'B
},
nBIFOMContainer :=
{
elementIdentifier := '33'O,
lengthIndicator := 3,
contents :=
{{
parameterIdentifier := '01'O,
lengthIndicator := 1,
parameterContents :=
{
nBIFOM_Mode := '11'O
}
}}
},
headerCompressinConfiguration := omit,
extendedProtocolConfigurationOptions := omit,
extended_APN_AMBR :=
{
elementIdentifier := '5F'O,
lengthIndicator := 6,
extended_APN_AMBR_Value :=
{
unit_Extended_APN_AMBR_Downlink := '00'O,
extended_APN_AMBR_Downlink := '0001'O,
unit_Extended_APN_AMBR_Uplink := '00'O,
extended_APN_AMBR_Uplink := '0001'O
}
},
extendedQoS :=
{
elementIdentifier := '5C'O,
lengthIndicator := 10,
extended_QoS_Value :=
{
unit_MaxBitRate := '00'O,
maxBitRate_Uplink := '0002'O,
maxBitRate_Downlink := '0002'O,
unit_GuaranteedBitRate := '00'O,
guaranteedBitRate_Uplink := '0002'O,
guaranteedBitRate_Downlink := '0002'O
}
}
}
}
}
};
const PDU_NAS_EPS c_PDU_NAS_EPS_PDN_ConnectivityReject :=
{
protocolDiscriminator := '0010'B,
ePS_messages := {
ePS_SessionManagement :={
pDU_NAS_EPS_PDN_ConnectivityReject := {
ePSBearerIdentity := '0000'B,
procedureTransactionIdentifier := '00000000'B,
messageType := '11010001'B,
esmCause :=
{
causeValue := '11'O
},
protocolConfigOptions := omit,
backOffTimer := {
elementIdentifier := '37'O,
lengthIndicator := 1,
gprsTimer3 :={
timerValue := '00111'B,
unit := '000'B
}
},
reAttemptIndicator :=
{
elementIdentifier := '6B'O,
reAttemptIndicatorLV :=
{
lengthIndicator := 1,
valueField :=
{
rATC := '1'B,
ePLMNC := '1'B,
spare := '000000'B
}
}
},
nBIFOMContainer := omit,
extendedProtocolConfigurationOptions := omit
}
}
}
}
const PDU_NAS_EPS c_PDU_NAS_EPS_RemoteUEReport :=
{
protocolDiscriminator := '0010'B,
ePS_messages := {
ePS_SessionManagement :={
pDU_NAS_EPS_RemoteUEReport := {
ePSBearerIdentity := '0000'B,
procedureTransactionIdentifier := '00000000'B,
messageType := '11101001'B,
remoteUEContextConnected :=
{
elementIdentifier := '79'O,
lengthIndicator := 8,
nrOfContents := 1,
contents :=
{{
lengthIndicator := 6,
numberOfUserIDs := 1,
userIDList :=
{
{
lengthIndicator := 4,
typeOfUserInfo := '011'B,
digits :=
{
mSISDN :=
{
oddevenIndicator := '1'B,
digits := '00ABCDE'H,
fillerDigit := omit
}
}
}
},
addressType := omit,
spare := omit,
addressInformation := omit
}}
},
remoteUEContextDisconnected :=
{
elementIdentifier := '7A'O,
lengthIndicator := 8,
nrOfContents := 1,
contents :=
{{
lengthIndicator := 6,
numberOfUserIDs := 1,
userIDList :=
{
{
lengthIndicator := 4,
typeOfUserInfo := '010'B,
digits :=
{
iMSI :=
{
oddevenIndicator := '1'B,
digits := '00ABCDE'H,
fillerDigit := omit
}
}
}
},
addressType := omit,
spare := omit,
addressInformation := omit
}}
},
proSeKeyManagementFunctionAddress :=
{
elementIdentifier := '6F'O,
lengthIndicator := 5,
addressType := '001'B,
spare := '00000'B,
addressInformation :=
{
ipv4 := '7F000001'O
}
}
}
}
}
}
const PDU_NAS_EPS c_PDU_NAS_EPS_RemoteUEReportResponse :=
{
protocolDiscriminator := '0010'B,
ePS_messages := {
ePS_SessionManagement :={
pDU_NAS_EPS_RemoteUEReportResponse := {
ePSBearerIdentity := '0000'B,
procedureTransactionIdentifier := '00000000'B,
messageType := '11101010'B
}
}
}
}
const PDU_NAS_EPS c_PDU_NAS_EPS_ESMDataTransport :=
{
protocolDiscriminator := '0010'B,
ePS_messages := {
ePS_SessionManagement :={
pDU_NAS_EPS_ESMDataTransport := {
ePSBearerIdentity := '0000'B,
procedureTransactionIdentifier := '00000000'B,
messageType := '11101011'B,
userDataContainer :=
{
lengthIndicator := 1,
contents := '00'O
},
releaseAssistanceIndication :=
{
dDX := '00'B,
spare := '00'B,
elementIdentifier := '1111'B
}
}
}
}
}
const PDU_NAS_EPS c_PDU_NAS_EPS_DataServiceRequest :=
{
protocolDiscriminator := '0111'B,
ePS_messages := {
ePS_MobilityManagement :={
pDU_NAS_EPS_ControlPlaneServiceRequest := {
securityHeaderType := '0000'B,
messageType := '01001101'B,
controlPlaneServiceType :=
{
controlPlaneServiceTypeValue := '001'B,
activeFlag := '0'B
},
nASKeySetIdentifier :=
{
identifier := '001'B,
tSC := '1'B
},
eSM_MessageContainer :=
{
elementIdentifier := '78'O,
eSM_MessageContainer :=
{
lengthIndicator := 2,
content := 'FFFF'O
}
},
nAS_MessageContainer := omit,
ePS_BearerContextStatus := omit,
deviceProperties :=
{
lowPriority := '1'B,
spare := '000'B,
elementIdentifier := '1101'B
}
}
}
}
}
const PDU_NAS_EPS c_PDU_NAS_EPS_ServiceAccept :=
{
protocolDiscriminator := '0111'B,
ePS_messages := {
ePS_MobilityManagement :={
pDU_NAS_EPS_ServiceAccept := {
securityHeaderType := '0000'B,
messageType := '01001111'B,
ePS_BearerContextStatus :=
{
elementIdentifier := '57'O,
lengthIndicator := 2,
ebi0 := '1'B,
ebi1 := '1'B,
ebi2 := '1'B,
ebi3 := '1'B,
ebi4 := '1'B,
ebi5 := '1'B,
ebi6 := '1'B,
ebi7 := '1'B,
ebi8 := '1'B,
ebi9 := '1'B,
ebi10 := '1'B,
ebi11 := '1'B,
ebi12 := '1'B,
ebi13 := '1'B,
ebi14 := '1'B,
ebi15 := '1'B
},
t3448 :=
{
elementIdentifier := '6B'O,
lengthIndicator := 1 ,
gprsTimer2 :=
{
timerValue := '00101'B,
unit := '011'B
}
}
}
}
}
}
template EPS_MobileIdentityV t_ePS_MobileIdentityV :=
{
typeOfIdentity := '110'B,
oddEvenInd_identity :=
{
guti :=
{
oddevenIndicator := '0'B,
spare := '1111'B,
mccDigit1 := '1'H,
mccDigit2 := '2'H,
mccDigit3 := '3'H,
mncDigit3 := '4'H,
mncDigit1 := '5'H,
mncDigit2 := '6'H,
mMEGI := 'AABB'O,
mMEC := 'FF'O,
mTMSI := 'AABBCCDD'O
}
}
}
template IMSI t_imsi :=
{
oddevenIndicator := '1'B,
digits := '1234567'H,
fillerDigit := omit
}
template GUTI t_guti :=
{
oddevenIndicator := '0'B,
spare := '1111'B,
mccDigit1 := '1'H,
mccDigit2 := '2'H,
mccDigit3 := '3'H,
mncDigit3 := '4'H,
mncDigit1 := '5'H,
mncDigit2 := '6'H,
mMEGI := 'AABB'O,
mMEC := 'FF'O,
mTMSI := 'AABBCCDD'O
}
template IMEI t_imei :=
{
oddevenIndicator := '1'B,
digits := '1234567'H,
fillerDigit := omit
}
testcase tc_NAS_EPS_AttachAccept() runs on NAS_EPS_Test_CT
{
var octetstring v_Encoded_msg;
log(c_PDU_NAS_EPS_AttachAccept);
v_Encoded_msg := enc_PDU_NAS_EPS( c_PDU_NAS_EPS_AttachAccept );
log("ENCODE: ",v_Encoded_msg);
var PDU_NAS_EPS v_EPSM_msg;
v_EPSM_msg := dec_PDU_NAS_EPS( v_Encoded_msg );
log("DECODE: ",v_EPSM_msg);
if ( c_PDU_NAS_EPS_AttachAccept == v_EPSM_msg ) {setverdict(pass);}
else {setverdict(fail);}
}
testcase tc_NAS_EPS_AttachReject() runs on NAS_EPS_Test_CT
{
var octetstring v_Encoded_msg;
log(c_PDU_NAS_EPS_AttachReject);
v_Encoded_msg := enc_PDU_NAS_EPS( c_PDU_NAS_EPS_AttachReject );
log("ENCODE: ",v_Encoded_msg);
var PDU_NAS_EPS v_EPSM_msg;
v_EPSM_msg := dec_PDU_NAS_EPS( v_Encoded_msg );
log("DECODE: ",v_EPSM_msg);
if ( c_PDU_NAS_EPS_AttachReject == v_EPSM_msg ) {setverdict(pass);}
else {setverdict(fail);}
}
testcase tc_NAS_EPS_AttachRequest() runs on NAS_EPS_Test_CT
{
var octetstring v_Encoded_msg;
log(c_PDU_NAS_EPS_AttachRequest);
v_Encoded_msg := enc_PDU_NAS_EPS( c_PDU_NAS_EPS_AttachRequest );
log("ENCODE: ",v_Encoded_msg);
var PDU_NAS_EPS v_EPSM_msg;
v_EPSM_msg := dec_PDU_NAS_EPS( v_Encoded_msg );
log("DECODE: ",v_EPSM_msg);
if ( c_PDU_NAS_EPS_AttachRequest == v_EPSM_msg ) {setverdict(pass);}
else {setverdict(fail);}
}
testcase tc_NAS_EPS_AttachRequest_withCodec() runs on NAS_EPS_Test_CT
{
var octetstring v_Encoded_msg;
var PDU_NAS_EPS v_PDU_NAS_EPS_AttachRequest := c_PDU_NAS_EPS_AttachRequest;
v_PDU_NAS_EPS_AttachRequest.ePS_messages.ePS_MobilityManagement.pDU_NAS_EPS_AttachRequest.supportedCodecList := {
elementIdentifier := '40'O,
lengthIndicator := 3,
codecList := {
{
systemIdentification1 := '01'O,
lengthOfBitmap1 := 1,
codecBitmap1_bits1to8 := '01'O,
codecBitmap1_bits9to16 := omit,
additional_codecs := omit
}
}
};
log(c_PDU_NAS_EPS_AttachRequest);
v_Encoded_msg := enc_PDU_NAS_EPS( v_PDU_NAS_EPS_AttachRequest );
log("ENCODE: ",v_Encoded_msg);
var PDU_NAS_EPS v_EPSM_msg;
v_EPSM_msg := dec_PDU_NAS_EPS( v_Encoded_msg );
log("DECODE: ",v_EPSM_msg);
if ( v_PDU_NAS_EPS_AttachRequest == v_EPSM_msg ) {setverdict(pass);}
else {setverdict(fail);}
}
testcase tc_NAS_EPS_TrackingAreaUpdateAccept() runs on NAS_EPS_Test_CT
{
var octetstring v_Encoded_msg;
log(c_PDU_NAS_EPS_TrackingAreaUpdateAccept);
v_Encoded_msg := enc_PDU_NAS_EPS( c_PDU_NAS_EPS_TrackingAreaUpdateAccept );
log("ENCODE: ",v_Encoded_msg);
var PDU_NAS_EPS v_EPSM_msg;
v_EPSM_msg := dec_PDU_NAS_EPS( v_Encoded_msg );
log("DECODE: ",v_EPSM_msg);
if ( c_PDU_NAS_EPS_TrackingAreaUpdateAccept == v_EPSM_msg ) {setverdict(pass);}
else {setverdict(fail);}
}
testcase tc_NAS_EPS_TrackingAreaUpdateReject() runs on NAS_EPS_Test_CT
{
var octetstring v_Encoded_msg;
log(c_PDU_NAS_EPS_TrackingAreaUpdateReject);
v_Encoded_msg := enc_PDU_NAS_EPS( c_PDU_NAS_EPS_TrackingAreaUpdateReject );
log("ENCODE: ",v_Encoded_msg);
var PDU_NAS_EPS v_EPSM_msg;
v_EPSM_msg := dec_PDU_NAS_EPS( v_Encoded_msg );
log("DECODE: ",v_EPSM_msg);
if ( c_PDU_NAS_EPS_TrackingAreaUpdateReject == v_EPSM_msg ) {setverdict(pass);}
else {setverdict(fail);}
}
testcase tc_NAS_EPS_TrackingAreaUpdateRequest() runs on NAS_EPS_Test_CT
{
var octetstring v_Encoded_msg;
log(c_PDU_NAS_EPS_TrackingAreaUpdateRequest);
v_Encoded_msg := enc_PDU_NAS_EPS( c_PDU_NAS_EPS_TrackingAreaUpdateRequest );
log("ENCODE: ",v_Encoded_msg);
var PDU_NAS_EPS v_EPSM_msg;
v_EPSM_msg := dec_PDU_NAS_EPS( v_Encoded_msg );
log("DECODE: ",v_EPSM_msg);
if ( c_PDU_NAS_EPS_TrackingAreaUpdateRequest == v_EPSM_msg ) {setverdict(pass);}
else {setverdict(fail);}
}
testcase tc_NAS_EPS_ActDedEPSBearerContextRequest() runs on NAS_EPS_Test_CT
{
var octetstring v_Encoded_msg;
log(c_PDU_NAS_EPS_ActDedEPSBearerContextRequest);
v_Encoded_msg := enc_PDU_NAS_EPS( c_PDU_NAS_EPS_ActDedEPSBearerContextRequest );
log("ENCODE: ",v_Encoded_msg);
var PDU_NAS_EPS v_EPSM_msg;
v_EPSM_msg := dec_PDU_NAS_EPS( v_Encoded_msg );
log("DECODE: ",v_EPSM_msg);
if ( c_PDU_NAS_EPS_ActDedEPSBearerContextRequest == v_EPSM_msg ) {setverdict(pass);}
else {setverdict(fail);}
}
testcase tc_NAS_EPS_ActDefEPSBearerContextRequest() runs on NAS_EPS_Test_CT
{
var octetstring v_Encoded_msg;
log(c_PDU_NAS_EPS_ActDefEPSBearerContextRequest);
v_Encoded_msg := enc_PDU_NAS_EPS( c_PDU_NAS_EPS_ActDefEPSBearerContextRequest );
log("ENCODE: ",v_Encoded_msg);
var PDU_NAS_EPS v_EPSM_msg;
v_EPSM_msg := dec_PDU_NAS_EPS( v_Encoded_msg );
log("DECODE: ",v_EPSM_msg);
if ( c_PDU_NAS_EPS_ActDefEPSBearerContextRequest == v_EPSM_msg ) {setverdict(pass);}
else {setverdict(fail);}
}
testcase tc_NAS_EPS_BearerResourceAllocationReject() runs on NAS_EPS_Test_CT
{
var octetstring v_Encoded_msg;
log(c_PDU_NAS_EPS_BearerResourceAllocationReject);
v_Encoded_msg := enc_PDU_NAS_EPS( c_PDU_NAS_EPS_BearerResourceAllocationReject );
log("ENCODE: ",v_Encoded_msg);
var PDU_NAS_EPS v_EPSM_msg;
v_EPSM_msg := dec_PDU_NAS_EPS( v_Encoded_msg );
log("DECODE: ",v_EPSM_msg);
if ( c_PDU_NAS_EPS_BearerResourceAllocationReject == v_EPSM_msg ) {setverdict(pass);}
else {setverdict(fail);}
}
testcase tc_NAS_EPS_BearerResourceModificationReject() runs on NAS_EPS_Test_CT
{
var octetstring v_Encoded_msg;
log(c_PDU_NAS_EPS_BearerResourceModificationReject);
v_Encoded_msg := enc_PDU_NAS_EPS( c_PDU_NAS_EPS_BearerResourceModificationReject );
log("ENCODE: ",v_Encoded_msg);
var PDU_NAS_EPS v_EPSM_msg;
v_EPSM_msg := dec_PDU_NAS_EPS( v_Encoded_msg );
log("DECODE: ",v_EPSM_msg);
if ( c_PDU_NAS_EPS_BearerResourceModificationReject == v_EPSM_msg ) {setverdict(pass);}
else {setverdict(fail);}
}
testcase tc_NAS_EPS_DeactEPSBearerContextRequest() runs on NAS_EPS_Test_CT
{
var octetstring v_Encoded_msg;
log(c_PDU_NAS_EPS_DeactEPSBearerContextRequest);
v_Encoded_msg := enc_PDU_NAS_EPS( c_PDU_NAS_EPS_DeactEPSBearerContextRequest );
log("ENCODE: ",v_Encoded_msg);
var PDU_NAS_EPS v_EPSM_msg;
v_EPSM_msg := dec_PDU_NAS_EPS( v_Encoded_msg );
log("DECODE: ",v_EPSM_msg);
if ( c_PDU_NAS_EPS_DeactEPSBearerContextRequest == v_EPSM_msg ) {setverdict(pass);}
else {setverdict(fail);}
}
testcase tc_NAS_EPS_ModifyEPSBearerContextRequest() runs on NAS_EPS_Test_CT
{
var octetstring v_Encoded_msg;
log(c_PDU_NAS_EPS_ModifyEPSBearerContextRequest);
v_Encoded_msg := enc_PDU_NAS_EPS( c_PDU_NAS_EPS_ModifyEPSBearerContextRequest );
log("ENCODE: ",v_Encoded_msg);
var PDU_NAS_EPS v_EPSM_msg;
v_EPSM_msg := dec_PDU_NAS_EPS( v_Encoded_msg );
log("DECODE: ",v_EPSM_msg);
if ( c_PDU_NAS_EPS_ModifyEPSBearerContextRequest == v_EPSM_msg ) {setverdict(pass);}
else {setverdict(fail);}
}
testcase tc_NAS_EPS_PDN_ConnectivityReject() runs on NAS_EPS_Test_CT
{
var octetstring v_Encoded_msg;
log(c_PDU_NAS_EPS_PDN_ConnectivityReject);
v_Encoded_msg := enc_PDU_NAS_EPS( c_PDU_NAS_EPS_PDN_ConnectivityReject );
log("ENCODE: ",v_Encoded_msg);
var PDU_NAS_EPS v_EPSM_msg;
v_EPSM_msg := dec_PDU_NAS_EPS( v_Encoded_msg );
log("DECODE: ",v_EPSM_msg);
if ( c_PDU_NAS_EPS_PDN_ConnectivityReject == v_EPSM_msg ) {setverdict(pass);}
else {setverdict(fail);}
}
testcase tc_NAS_EPS_encdec_EPS_MobileIdentityV() runs on NAS_EPS_Test_CT
{
var octetstring v_ePS_MobileIdentityV_oct := enc_EPS_MobileIdentityV_NAS_EPS(valueof(t_ePS_MobileIdentityV));
log("ENCODE: ",v_ePS_MobileIdentityV_oct);
var EPS_MobileIdentityV v_ePS_MobileIdentityV;
var integer vl_int := dec_EPS_MobileIdentityV_NAS_EPS_backtrack(v_ePS_MobileIdentityV_oct,v_ePS_MobileIdentityV);
log("DECODE: ",v_ePS_MobileIdentityV);
if ( vl_int == 0 and match(v_ePS_MobileIdentityV,t_ePS_MobileIdentityV)) {setverdict(pass);}
else {setverdict(fail);}
}
testcase tc_NAS_EPS_encdec_IMSI() runs on NAS_EPS_Test_CT
{
var octetstring v_imsi_oct := enc_IMSI_NAS_EPS(valueof(t_imsi));
log("ENCODE: ",v_imsi_oct);
var IMSI v_imsi;
var integer vl_int := dec_IMSI_NAS_EPS_backtrack(v_imsi_oct,v_imsi);
log("DECODE: ",v_imsi);
if ( vl_int == 0 and match(v_imsi,t_imsi)) {setverdict(pass);}
else {setverdict(fail);}
}
testcase tc_NAS_EPS_encdec_GUTI() runs on NAS_EPS_Test_CT
{
var octetstring v_guti_oct := enc_GUTI_NAS_EPS(valueof(t_guti));
log("ENCODE: ",v_guti_oct);
var GUTI v_guti;
var integer vl_int := dec_GUTI_NAS_EPS_backtrack(v_guti_oct,v_guti);
log("DECODE: ",v_guti);
if ( vl_int == 0 and match(v_guti,t_guti)) {setverdict(pass);}
else {setverdict(fail);}
}
testcase tc_NAS_EPS_encdec_IMEI() runs on NAS_EPS_Test_CT
{
var octetstring v_imei_oct := enc_IMEI_NAS_EPS(valueof(t_imei));
log("ENCODE: ",v_imei_oct);
var IMEI v_imei;
var integer vl_int := dec_IMEI_NAS_EPS_backtrack(v_imei_oct,v_imei);
log("DECODE: ",v_imei);
if ( vl_int == 0 and match(v_imei,t_imei)) {setverdict(pass);}
else {setverdict(fail);}
}
testcase tc_NAS_EPS_RemoteUEReport() runs on NAS_EPS_Test_CT
{
var octetstring v_Encoded_msg;
log(c_PDU_NAS_EPS_RemoteUEReport);
v_Encoded_msg := enc_PDU_NAS_EPS( c_PDU_NAS_EPS_RemoteUEReport );
log("ENCODE: ",v_Encoded_msg);
var PDU_NAS_EPS v_EPSM_msg;
v_EPSM_msg := dec_PDU_NAS_EPS( v_Encoded_msg );
log("DECODE: ",v_EPSM_msg);
if ( c_PDU_NAS_EPS_RemoteUEReport == v_EPSM_msg ) {setverdict(pass);}
else {setverdict(fail);}
}
testcase tc_NAS_EPS_RemoteUEReportResponse() runs on NAS_EPS_Test_CT
{
var octetstring v_Encoded_msg;
log(c_PDU_NAS_EPS_RemoteUEReportResponse);
v_Encoded_msg := enc_PDU_NAS_EPS( c_PDU_NAS_EPS_RemoteUEReportResponse );
log("ENCODE: ",v_Encoded_msg);
var PDU_NAS_EPS v_EPSM_msg;
v_EPSM_msg := dec_PDU_NAS_EPS( v_Encoded_msg );
log("DECODE: ",v_EPSM_msg);
if ( c_PDU_NAS_EPS_RemoteUEReportResponse == v_EPSM_msg ) {setverdict(pass);}
else {setverdict(fail);}
}
testcase tc_NAS_EPS_ESMDataTransport() runs on NAS_EPS_Test_CT
{
var octetstring v_Encoded_msg;
log(c_PDU_NAS_EPS_ESMDataTransport);
v_Encoded_msg := enc_PDU_NAS_EPS( c_PDU_NAS_EPS_ESMDataTransport );
log("ENCODE: ",v_Encoded_msg);
var PDU_NAS_EPS v_EPSM_msg;
v_EPSM_msg := dec_PDU_NAS_EPS( v_Encoded_msg );
log("DECODE: ",v_EPSM_msg);
if ( c_PDU_NAS_EPS_ESMDataTransport == v_EPSM_msg ) {setverdict(pass);}
else {setverdict(fail);}
}
testcase tc_NAS_EPS_DataServiceRequest() runs on NAS_EPS_Test_CT
{
var octetstring v_Encoded_msg;
log(c_PDU_NAS_EPS_DataServiceRequest);
v_Encoded_msg := enc_PDU_NAS_EPS( c_PDU_NAS_EPS_DataServiceRequest );
log("ENCODE: ",v_Encoded_msg);
var PDU_NAS_EPS v_EPSM_msg;
v_EPSM_msg := dec_PDU_NAS_EPS( v_Encoded_msg );
log("DECODE: ",v_EPSM_msg);
if ( c_PDU_NAS_EPS_DataServiceRequest == v_EPSM_msg ) {setverdict(pass);}
else {setverdict(fail);}
}
testcase tc_NAS_EPS_ServiceAccept() runs on NAS_EPS_Test_CT
{
var octetstring v_Encoded_msg;
log(c_PDU_NAS_EPS_ServiceAccept);
v_Encoded_msg := enc_PDU_NAS_EPS( c_PDU_NAS_EPS_ServiceAccept );
log("ENCODE: ",v_Encoded_msg);
var PDU_NAS_EPS v_EPSM_msg;
v_EPSM_msg := dec_PDU_NAS_EPS( v_Encoded_msg );
log("DECODE: ",v_EPSM_msg);
if ( c_PDU_NAS_EPS_ServiceAccept == v_EPSM_msg ) {setverdict(pass);}
else {setverdict(fail);}
}
control
{
execute( tc_NAS_EPS_AttachAccept());
execute( tc_NAS_EPS_AttachReject());
execute( tc_NAS_EPS_AttachRequest());
execute( tc_NAS_EPS_AttachRequest_withCodec());
execute( tc_NAS_EPS_TrackingAreaUpdateAccept())
execute( tc_NAS_EPS_TrackingAreaUpdateReject())
execute( tc_NAS_EPS_TrackingAreaUpdateRequest())
execute( tc_NAS_EPS_ActDedEPSBearerContextRequest())
execute( tc_NAS_EPS_ActDefEPSBearerContextRequest())
execute( tc_NAS_EPS_BearerResourceAllocationReject())
execute( tc_NAS_EPS_BearerResourceModificationReject())
execute( tc_NAS_EPS_DeactEPSBearerContextRequest())
execute( tc_NAS_EPS_ModifyEPSBearerContextRequest() );
execute( tc_NAS_EPS_PDN_ConnectivityReject() );
execute( tc_NAS_EPS_encdec_EPS_MobileIdentityV() );
execute( tc_NAS_EPS_encdec_IMSI() );
execute( tc_NAS_EPS_encdec_GUTI() );
execute( tc_NAS_EPS_encdec_IMEI() );
execute( tc_NAS_EPS_RemoteUEReport() );
execute( tc_NAS_EPS_RemoteUEReportResponse() );
execute( tc_NAS_EPS_ESMDataTransport() );
execute( tc_NAS_EPS_DataServiceRequest() );
execute( tc_NAS_EPS_ServiceAccept() );
}
} // end of module