module rrc-connection-request-testcase{ type union rrcmessage { message UL-CCCH-Message } type union messsage { rrc-Connection-Request RRC-Connection-Request } type record rrc-connection-request

{ initialUE-Identity InitialUE-Identity, establishment-Cause Establishment-Cause, protocol-Error-Indicator Protocol-Error-Indicator, measured-Results-On-RACH Measured-Results-On-RACH, } type union initialUE-Identity { tmsi-and-LAI Tmsi-and-lai } type record tmsi-and-LAI { tmsi Tmsi, LAI lai, } type record tmsi { BIT STRING SIZE (32) } template tmsi tmsitemplate { BIT STRING SIZE:= 01 13 E9 27 } type record LAI { plmn-Identity PLMN-Identity, lac LAC } type record plmn-Identity { mcc MCC, mnc MNC } type record mcc { BITS MCCvalue } type integer BITS(3);

template mcc mcctemplate { MCCvalue:= 234 } type record mnc { BITS MNCvalue } type integer BITS(2..3); template mnc mnctemplate { MNCvalue:=99 } type record lac { BIT STRING SIZE (16) } template lac lactemplate { BIT STRING SIZE:= 27 83; } template initialUE-Identity initialUE-Identitytemplate { tmsi:= tmsitemplate; mcc:= mcctemplate; mnc:= mnctemplate; lac:= lactemplate; } type enumerated establishment-Cause { originatingConversationalCall; } temlate establishment-Cause establishmentCausetemplate { originatingConversationalCall; } type enumerated protocol-Error-Indicator { noError, errorOccurred } template protocol-Error-Indicator protocolErrorIndicatortem plate { noError; } type union measured-Results-On-RACH

{ currentCell CurrentCell } type record currentCell { modeSpecificInfo ModespecificInfo } type union modeSpecificInfo { fdd Fdd } type record fdd { measurementQuantity MeasurmentQuantity } type union measurementQuantity { cpich-Ec-N0 CPICH-Ec-N0 } type record cpich-Ec-N0 { intraFreqMeasurementSysInfo IntraFreqMeasurementSysInfo -ECN0 } type integer intraFreqMeasurementSysInfo(0..63); template measured-Results-On-RACH measuredResultsOnRACHtempl ate { currentCell.modeSpecificInfo.fdd.measurementQuantity.cp ich-Ec-N0:=49 ; } template rrc-connection-request rrcconnectionrequest-testcase { InitialUE-Identity:=initialUE-Identitytemplate; Establishment-Cause:=establishmentCausetemplate; Protocol-Error-Indicator:=protocolErrorIndicatortemplate; Measured-Results-On-RACH:=measuredResultsOnRACHtemplate; } template rrcmessage rrcconnectionrequest { messsage.rrc-connection-request:=rrcconnectionrequest-test case; } type port rrcport requestmessage { inout reqmsg; } type component rrccomponent

{ port rrcport rrcreqmsg; } //test case test case rrcconnectionreqmsg() runs on rrccomponent { timer t1; rrcreqmsg.send(rrcconnectionrequest); t1.start(20); alt{ []rrcreqmsg.receive(rrcconnectionsetup); setverdict(pass); t1.stop; []rrcreqmsg.receive(); setverdict(fail); t1.stop; []t1.timeout; setverdict(fail); } } control { { excute(testcase(rrcconnectionreqmsg)); } stop; } }