initial parameterization of generic message templates

This commit is contained in:
rennoch 2017-01-11 16:35:57 +00:00
parent 63deaabcdf
commit 0bdd99c59c
3 changed files with 40 additions and 22 deletions

View File

@ -1,5 +1,5 @@
/**
* @desc Types import from ASN.1 definitions of ETSI TS136 413 V.13.4.0
* @desc Templates
*/
module S1AP_Templates {
@ -13,45 +13,43 @@ module S1AP_Templates {
import from S1AP_Types all;
template S1AP_PDU m_initiatingMessage := {
template S1AP_PDU m_initiatingMessage (ProcedureCode p_procedureCode, anytype p_value):= {
initiatingMessage := {
procedureCode := 0,
procedureCode := p_procedureCode,
criticality := reject,
value_ := {RecordOf_E_RABSetupRequestIEs:=m_E_RABSetupRequestIEs1}
value_ := p_value
}
}
template S1AP_PDU mw_successfulOutcome := {
template S1AP_PDU mw_successfulOutcome(template ProcedureCode
p_procedureCode := ?,
template anytype p_value) := {
successfulOutcome := {
procedureCode := ?,
procedureCode := p_procedureCode,
criticality := reject,
value_ := {
RecordOf_E_RABSetupResponseIEs := {
mw_E_RABSetupResponseIEs_MME,mw_E_RABSetupResponseIEs_ENB,mw_E_RABSetupResponseIEs_ERAB
mw_E_RABSetupResponseIEs_MME,
mw_E_RABSetupResponseIEs_ENB,
mw_E_RABSetupResponseIEs_ERAB
}
}
}
}
group g_E_RAB_SetupRequest {
template RecordOf_E_RABSetupRequestIEs m_E_RABSetupRequestIEs1 := {
m_E_RABSetupRequestIEs_MME,
m_E_RABSetupRequestIEs_ENB,
m_E_RABSetupRequestIEs_ERAB
}
template E_RABSetupRequest.protocolIEs[-] m_E_RABSetupRequestIEs_MME := {
template(value) E_RABSetupRequest.protocolIEs[-] m_E_RABSetupRequestIEs_MME := {
id := S1AP_Constants.id_MME_UE_S1AP_ID,
criticality := S1AP_CommonDataTypes.reject,
value_ := { MME_UE_S1AP_ID := 1 }
}
template E_RABSetupRequest.protocolIEs[-] m_E_RABSetupRequestIEs_ENB := {
template(value) E_RABSetupRequest.protocolIEs[-] m_E_RABSetupRequestIEs_ENB := {
id := S1AP_Constants.id_eNB_UE_S1AP_ID,
criticality := S1AP_CommonDataTypes.reject,
value_ := { ENB_UE_S1AP_ID := 1 }
}
template E_RABSetupRequest.protocolIEs[-] m_E_RABSetupRequestIEs_ERAB := {
template(value) E_RABSetupRequest.protocolIEs[-] m_E_RABSetupRequestIEs_ERAB := {
id := S1AP_Constants.id_E_RABToBeSetupListBearerSUReq,
criticality := S1AP_CommonDataTypes.reject,
value_ := { E_RABToBeSetupListBearerSUReq := m_e_rABToBeSetupListBearerSUReq }

View File

@ -1,5 +1,5 @@
/**
* @desc Types import from ASN.1 definitions of ETSI TS136 413 V.13.4.0
* @desc Testcases for ETSI TS136 413 V.13.4.0
*/
module S1AP_Testcase {
@ -13,8 +13,28 @@ module S1AP_Testcase {
import from S1AP_Templates all;
import from S1AP_Types all;
testcase TP_S1AP_ENB_RAB_01 () runs on MME {
eBport.send(m_initiatingMessage);
eBport.receive(S1AP_PDU:mw_successfulOutcome)
}
/**
* @desc
* @verdict
*/
testcase TP_S1AP_ENB_RAB_01() runs on MME {
eBport
.send(m_initiatingMessage(id_E_RABSetup,
{
RecordOf_E_RABSetupRequestIEs := {
m_E_RABSetupRequestIEs_MME,
m_E_RABSetupRequestIEs_ENB,
m_E_RABSetupRequestIEs_ERAB
}
}));
eBport
.receive(mw_successfulOutcome(-,
{
RecordOf_E_RABSetupResponseIEs := {
mw_E_RABSetupResponseIEs_MME,
mw_E_RABSetupResponseIEs_ENB,
mw_E_RABSetupResponseIEs_ERAB
}
}));
}
}

View File

@ -1,5 +1,5 @@
/**
* @desc Types import from ASN.1 definitions of ETSI TS136 413 V.13.4.0
* @desc Types
*/
module S1AP_Types {