Commit 8f6d350a authored by garciay's avatar garciay

Add TestControl modules

parent 4a876ba7
This diff is collapsed.
......@@ -11,7 +11,7 @@ module ItsIvim_TestControl {
import from ItsIvim_TestCases all;
// LibIts
import from LibItsIvim_Pics all;
import from LibItsIvim_Pics all;
// Test Execution
control {
......@@ -20,10 +20,28 @@ module ItsIvim_TestControl {
execute(TC_IS_IVI_MSGF_BV_01());
execute(TC_IS_IVI_EVGN_BV_01());
execute(TC_IS_IVI_EVGN_BV_02());
execute(TC_IS_IVI_EVGN_BV_03());
execute(TC_IS_IVI_EVGN_BV_04());
execute(TC_IS_IVI_EVGN_BV_05());
execute(TC_IS_IVI_EVTR_BV_01());
execute(TC_IS_IVI_EVTR_BV_01());
execute(TC_IS_IVI_GFQ_TI_01());
execute(TC_IS_IVI_GFQ_TI_02());
execute(TC_IS_IVI_COMM_BV_01_01());
execute(TC_IS_IVI_COMM_BV_01_02());
execute(TC_IS_IVI_COMM_BV_02());
}
if (PICS_RSU_ROLE) {
} else {
if(PICS_IVIM_UPDATE) {
execute(TC_IS_IVI_EVUP_BV_01());
execute(TC_IS_IVI_EVUP_BV_02());
execute(TC_IS_IVI_EVUP_BV_03());
execute(TC_IS_IVI_EVUP_BV_04());
execute(TC_IS_IVI_EVUP_BV_01());
execute(TC_IS_IVI_EVRP_BV_01());
execute(TC_IS_IVI_EVRP_BV_02());
}
if (PICS_IVIM_RECEPTION) {
execute(TC_IVIM_MSP_BV_01());
}
}
......
......@@ -416,7 +416,7 @@ module ItsIvim_TpFunctions {
group iviEventUpdate {
function f_IS_IVI_EVUP_BV_05() runs on ItsIvim {
function f_IS_IVI_EVUP_BV_01() runs on ItsIvim {
// Local variables
var IviIdentificationNumber v_iviIdentificationNumber;
......@@ -490,7 +490,7 @@ module ItsIvim_TpFunctions {
} // End of function f_IVIM_MSD_FMT_BV_05
function f_IS_IVI_EVUP_BV_06() runs on ItsIvim {
function f_IS_IVI_EVUP_BV_02() runs on ItsIvim {
// Local variables
var IviIdentificationNumber v_iviIdentificationNumber;
......@@ -580,7 +580,7 @@ module ItsIvim_TpFunctions {
} // End of function f_IVIM_MSD_FMT_BV_06
function f_IS_IVI_EVUP_BV_07() runs on ItsIvim {
function f_IS_IVI_EVUP_BV_03() runs on ItsIvim {
// Local variables
var IviIdentificationNumber v_iviIdentificationNumber;
......@@ -670,7 +670,7 @@ module ItsIvim_TpFunctions {
} // End of function f_IVIM_MSD_FMT_BV_07
function f_IS_IVI_EVUP_BV_08() runs on ItsIvim {
function f_IS_IVI_EVUP_BV_04() runs on ItsIvim {
// Local variables
const integer c_epsilon := 500; // maximum c_epsilon cannot exceed 500ms
......@@ -752,7 +752,7 @@ module ItsIvim_TpFunctions {
} // End of function f_IVIM_MSD_FMT_BV_08
function f_IS_IVI_EVUP_BV_09() runs on ItsIvim {
function f_IS_IVI_EVUP_BV_05() runs on ItsIvim {
// Local variables
var IviIdentificationNumber v_iviIdentificationNumber;
......@@ -828,9 +828,9 @@ module ItsIvim_TpFunctions {
} // End of group iviEventUpdate
group iviMessageRepetition {
group iviEventRepetition {
function f_IS_IVIM_EVRP_BV_01() runs on ItsIvim {
function f_IS_IVI_EVRP_BV_01() runs on ItsIvim {
// Local variables
const integer c_maxLoopValue := 10;
......@@ -926,9 +926,9 @@ module ItsIvim_TpFunctions {
f_poCancelEvent(e_iut, v_iviIdentificationNumber);
f_cfDown();
} // End of function f_IS_IVIM_EVRP_BV_01
} // End of function f_IS_IVI_EVRP_BV_01
function f_IS_IVIM_EVRP_BV_02() runs on ItsIvim {
function f_IS_IVI_EVRP_BV_02() runs on ItsIvim {
// Local variables
var IviIdentificationNumber v_iviIdentificationNumber;
......@@ -993,13 +993,13 @@ module ItsIvim_TpFunctions {
f_poCancelEvent(e_iut, v_iviIdentificationNumber);
f_cfDown();
} // End of function f_IS_IVIM_EVRP_BV_02
} // End of function f_IS_IVI_EVRP_BV_02
} // End of group iviMessageRepetition
} // End of group iviEventRepetition
group iviEventTermination {
function f_IS_IVIM_EVTR_BV_01() runs on ItsIvim {
function f_IS_IVI_EVTR_BV_01() runs on ItsIvim {
// Local variables
var IviIdentificationNumber v_iviIdentificationNumber;
......@@ -1061,9 +1061,9 @@ module ItsIvim_TpFunctions {
// Postamble
f_cfDown();
} // End of function f_IS_IVIM_EVTR_BV_01
} // End of function f_IS_IVI_EVTR_BV_01
function f_IS_IVIM_EVTR_BV_02() runs on ItsIvim {
function f_IS_IVI_EVTR_BV_02() runs on ItsIvim {
// Local variables
var IviIdentificationNumber v_iviIdentificationNumber;
......@@ -1125,13 +1125,13 @@ module ItsIvim_TpFunctions {
// Postamble
f_cfDown();
} // End of function f_IS_IVIM_EVTR_BV_02
} // End of function f_IS_IVI_EVTR_BV_02
} // End of group iviEventTermination
group iviGenerationFrequency {
function f_IS_IVIM_GFQ_TI_01() runs on ItsIvim {
function f_IS_IVI_GFQ_TI_01() runs on ItsIvim {
// Local variables
const integer c_maxLoopValue := 10;
......@@ -1218,9 +1218,9 @@ module ItsIvim_TpFunctions {
f_poCancelEvent(e_iut, v_iviIdentificationNumber);
f_cfDown();
} // End of function f_IS_IVIM_GFQ_TI_01
} // End of function f_IS_IVI_GFQ_TI_01
function f_IS_IVIM_GFQ_TI_02() runs on ItsIvim {
function f_IS_IVI_GFQ_TI_02() runs on ItsIvim {
// Local variables
const integer c_maxLoopValue := 10;
......@@ -1305,13 +1305,13 @@ module ItsIvim_TpFunctions {
f_poCancelEvent(e_iut, v_iviIdentificationNumber);
f_cfDown();
} // End of function f_IS_IVIM_GFQ_TI_02
} // End of function f_IS_IVI_GFQ_TI_02
} // End of group iviGenerationFrequency
group iviCommunication {
function f_IS_IVIM_COMM_BV_01_01() runs on ItsIvim {
function f_IS_IVI_COMM_BV_01_01() runs on ItsIvim {
// Local variables
const UInt8 c_gnNhBtpB := 2;
......@@ -1382,9 +1382,9 @@ module ItsIvim_TpFunctions {
f_poCancelEvent(e_iut, v_iviIdentificationNumber);
f_cfDown();
} // End of function f_IS_IVIM_COMM_BV_01_01
} // End of function f_IS_IVI_COMM_BV_01_01
function f_IS_IVIM_COMM_BV_01_02() runs on ItsIvim {
function f_IS_IVI_COMM_BV_01_02() runs on ItsIvim {
// Local variables
const UInt16 c_gnNhBtpBPort := 2006;
......@@ -1454,9 +1454,9 @@ module ItsIvim_TpFunctions {
f_poCancelEvent(e_iut, v_iviIdentificationNumber);
f_cfDown();
} // End of function f_IS_IVIM_COMM_BV_01_02
} // End of function f_IS_IVI_COMM_BV_01_02
function f_IS_IVIM_COMM_BV_02 () runs on ItsIvim {
function f_IS_IVI_COMM_BV_02 () runs on ItsIvim {
// Local variables
const UInt8 c_gnHtUnc := 2;
......@@ -1524,7 +1524,7 @@ module ItsIvim_TpFunctions {
f_poCancelEvent(e_iut, v_iviIdentificationNumber);
f_cfDown();
} // End of function f_IS_IVIM_COMM_BV_02
} // End of function f_IS_IVI_COMM_BV_02
} // End of group iviCommunication
......
......@@ -17,6 +17,34 @@ module ItsMapemSpatem_TestControl {
// Test Execution
control {
if (PICS_MAPEM_GENERATION) {
execute(TC_IS_RLT_MSGF_BV_01 ());
execute(TC_IS_RLT_EVGN_BV_01 ());
execute(TC_IS_RLT_EVGN_BV_02 ());
if (PICS_SPATEM_GENERATION) {
execute(TC_IS_RLT_COMM_BV_01 ());
}
execute(TC_IS_RLT_COMM_BV_02_01 ());
execute(TC_IS_RLT_COMM_BV_02_02 ());
execute(TC_IS_RLT_COMM_BV_03 ());
}
if (PICS_SPATEM_GENERATION) {
execute(TC_IS_TLM_MSGF_BV_01 ());
execute(TC_IS_TLM_EVGN_BV_01 ());
execute(TC_IS_TLM_EVGN_BV_02 ());
execute(TC_IS_TLM_EVGN_BV_03 ());
execute(TC_IS_TLM_EVGN_BV_04 ());
execute(TC_IS_TLM_COMM_BV_01 ());
execute(TC_IS_TLM_COMM_BV_02_01 ());
execute(TC_IS_TLM_COMM_BV_02_02 ());
execute(TC_IS_TLM_COMM_BV_03 ());
execute(TC_IS_TLM_MSGF_BV_02 ());
}
} // End of 'control' statement
} // End of module ItsMapemSpatem_TestControl
......@@ -21,7 +21,7 @@ module ItsMapem_TestCases {
/**
* @desc Check that protocolVersion is set to 1 and messageID is set to 4
* <pre>
* Pics Selection: PICS_RSU and PICS_MAPEM_GENERATION
* Pics Selection: PICS_MAPEM_GENERATION
* Initial conditions:
* with {
* the IUT being in the "initial state"
......@@ -55,12 +55,12 @@ module ItsMapem_TestCases {
} // End of group mapeMessageFormat
group mapeMessageEventGeneration {
group mapeEventGeneration {
/**
* @desc Check that IVI Service generates a new MAPEM on reception of a valid AppMAPEM_Trigger request
* <pre>
* Pics Selection: PICS_RSU and PICS_MAPEM_GENERATION
* Pics Selection: PICS_MAPEM_GENERATION
* Initial conditions:
* with {
* the IUT being in the "initial state"
......@@ -90,7 +90,7 @@ module ItsMapem_TestCases {
/**
* @desc Check that IVI Service generates a new MAPEM on reception of a valid AppMAPEM_Trigger request
* <pre>
* Pics Selection: PICS_RSU and PICS_MAPEM_GENERATION
* Pics Selection: PICS_MAPEM_GENERATION
* Initial conditions:
* with {
* the IUT being in the "initial state"
......@@ -127,14 +127,14 @@ module ItsMapem_TestCases {
} // End of testcase TC_IS_RLT_EVGN_BV_02
} // End of group mapeMessageEventGeneration
} // End of group mapeEventGeneration
group mapeCommunication {
/**
* @desc Check that the RLT Service transmits continuously both MAPEM and SPATEM
* <pre>
* Pics Selection: PICS_RSU and PICS_MAPEM_GENERATION and PICS_SPATEM_GENERATION
* Pics Selection: PICS_MAPEM_GENERATION and PICS_SPATEM_GENERATION
* Initial conditions:
* with {
* the IUT being in the "initial state"
......@@ -166,7 +166,7 @@ module ItsMapem_TestCases {
/**
* @desc Check that MAPEM uses BTP_B packet
* <pre>
* Pics Selection: PICS_RSU and PICS_MAPEM_GENERATION
* Pics Selection: PICS_MAPEM_GENERATION
* Initial conditions:
* with {
* the IUT being in the "initial state"
......@@ -197,7 +197,7 @@ module ItsMapem_TestCases {
/**
* @desc Check that the destination port for MAPEM is set to 2003
* <pre>
* Pics Selection: PICS_RSU and PICS_MAPEM_GENERATION
* Pics Selection: PICS_MAPEM_GENERATION
* Initial conditions:
* with {
* the IUT being in the "initial state"
......@@ -230,7 +230,7 @@ module ItsMapem_TestCases {
/**
* @desc Check that TLM service encapsulates MAPEM in a GBC with the HeaderType field set to the value of 4
* <pre>
* Pics Selection: PICS_RSU and PICS_MAPEM_GENERATION
* Pics Selection: PICS_MAPEM_GENERATION
* Initial conditions:
* with {
* the IUT being in the "initial state"
......@@ -270,7 +270,7 @@ module ItsMapem_TestCases {
/**
* @desc Check that the IUT can successfully process all mandatory fields of MAPEM received
* <pre>
* Pics Selection: not PICS_RSU and PICS_MAPEM_RECEPTION
* Pics Selection: not PICS_MAPEM_RECEPTION
* Initial conditions:
* with {
* the IUT being in the "initial state"
......
......@@ -43,8 +43,8 @@ module ItsMapem_TpFunctions {
// Local variables
// Test control
if (not PICS_RSU or not PICS_MAPEM_GENERATION) {
log("*** " & testcasename() & ": PICS_RSU and PICS_MAPEM_GENERATION required for executing the TC ***");
if (not PICS_MAPEM_GENERATION) {
log("*** " & testcasename() & ": PICS_MAPEM_GENERATION required for executing the TC ***");
setverdict(inconc);
stop;
}
......@@ -53,6 +53,7 @@ module ItsMapem_TpFunctions {
f_cfUp();
// Preamble
f_prInitialState();
f_selfOrClientSyncAndVerdictPreamble(c_prDone, e_success);
// Test Body
......@@ -80,7 +81,7 @@ module ItsMapem_TpFunctions {
} // End of group mapeMessageFormat
group mapeMessageEventGeneration {
group mapeEventGeneration {
/**
* @desc TP Function for TC_IS_RLT_EVGN_BV_01
......@@ -90,8 +91,8 @@ module ItsMapem_TpFunctions {
// Local variables
// Test control
if (not PICS_RSU or not PICS_MAPEM_GENERATION) {
log("*** " & testcasename() & ": PICS_RSU and PICS_MAPEM_GENERATION required for executing the TC ***");
if (not PICS_MAPEM_GENERATION) {
log("*** " & testcasename() & ": PICS_MAPEM_GENERATION required for executing the TC ***");
setverdict(inconc);
stop;
}
......@@ -100,6 +101,7 @@ module ItsMapem_TpFunctions {
f_cfUp();
// Preamble
f_prInitialState();
f_selfOrClientSyncAndVerdictPreamble(c_prDone, e_success);
// Test Body
......@@ -144,8 +146,8 @@ module ItsMapem_TpFunctions {
var MapemInd v_mapem;
// Test control
if (not PICS_RSU or not PICS_MAPEM_GENERATION) {
log("*** " & testcasename() & ": PICS_RSU and PICS_MAPEM_GENERATION required for executing the TC ***");
if (not PICS_MAPEM_GENERATION) {
log("*** " & testcasename() & ": PICS_MAPEM_GENERATION required for executing the TC ***");
setverdict(inconc);
stop;
}
......@@ -154,6 +156,7 @@ module ItsMapem_TpFunctions {
f_cfUp();
// Preamble
f_prInitialState();
f_awaitMapeMessage(
mw_mapemInd(
mw_mapemPdu(
......@@ -202,7 +205,7 @@ module ItsMapem_TpFunctions {
} // End of function f_IS_RLT_EVGN_BV_02
} // End of group mapeMessageEventGeneration
} // End of group mapeEventGeneration
group mapeCommunication {
......@@ -215,8 +218,8 @@ module ItsMapem_TpFunctions {
var boolean v_tlmServiceStarted := false;
// Test control
if (not PICS_RSU or not PICS_MAPEM_GENERATION or not PICS_SPATEM_GENERATION) {
log("*** " & testcasename() & ": PICS_RSU and PICS_MAPEM_GENERATION and PICS_SPATEM_GENERATION required for executing the TC ***");
if (not PICS_MAPEM_GENERATION or not PICS_SPATEM_GENERATION) {
log("*** " & testcasename() & ": PICS_MAPEM_GENERATION and PICS_SPATEM_GENERATION required for executing the TC ***");
setverdict(inconc);
stop;
}
......@@ -225,6 +228,7 @@ module ItsMapem_TpFunctions {
f_cfUp();
// Preamble
f_prInitialState();
f_selfOrClientSyncAndVerdictPreamble(c_prDone, e_success);
// Test Body
......@@ -275,6 +279,7 @@ module ItsMapem_TpFunctions {
f_cfUp();
// Preamble
f_prInitialState();
f_selfOrClientSyncAndVerdictPreamble(c_prDone, e_success);
// Test Body
......@@ -325,6 +330,7 @@ module ItsMapem_TpFunctions {
f_cfUp();
// Preamble
f_prInitialState();
f_selfOrClientSyncAndVerdictPreamble(c_prDone, e_success);
// Test Body
......@@ -366,8 +372,8 @@ module ItsMapem_TpFunctions {
const UInt8 c_gnHtGbc := 4;
// Test control
if (not PICS_RSU or not PICS_MAPEM_GENERATION) {
log("*** " & testcasename() & ": PICS_RSU and PICS_MAPEM_GENERATION required for executing the TC ***");
if (not PICS_MAPEM_GENERATION) {
log("*** " & testcasename() & ": PICS_MAPEM_GENERATION required for executing the TC ***");
setverdict(inconc);
stop;
}
......@@ -376,6 +382,7 @@ module ItsMapem_TpFunctions {
f_cfUp();
// Preamble
f_prInitialState();
f_selfOrClientSyncAndVerdictPreamble(c_prDone, e_success);
// Test Body
......@@ -441,7 +448,7 @@ module ItsMapem_TpFunctions {
var MapemReq v_mapemReq;
var integer i;
if (PICS_RSU or not PICS_MAPEM_RECEPTION) {
if (not PICS_MAPEM_RECEPTION) {
log("*** " & testcasename() & ": not PICS_RSU and PICS_MAPEM_RECEPTION required for executing the TC ***");
setverdict(inconc);
stop;
......@@ -451,6 +458,7 @@ module ItsMapem_TpFunctions {
f_cfUp();
// Preamble
f_prInitialState();
f_selfOrClientSyncAndVerdictPreamble(c_prDone, e_success);
// Test Body
......
......@@ -21,7 +21,7 @@ module ItsSpatem_TestCases {
/**
* @desc Check that protocolVersion is set to 1 and messageID is set to 4
* <pre>
* Pics Selection: PICS_RSU and PICS_SPATEM_GENERATION
* Pics Selection: PICS_SPATEM_GENERATION
* Initial conditions:
* with {
* the IUT being in the "initial state"
......@@ -55,12 +55,12 @@ module ItsSpatem_TestCases {
} // End of group spateMessageFormat
group spateMessageEventGeneration {
group spateEventGeneration {
/**
* @desc Check that TLM Service generates a new SPATEM on reception of a valid AppSPATEM _Start request
* <pre>
* Pics Selection: PICS_RSU and PICS_SPATEM_GENERATION
* Pics Selection: PICS_SPATEM_GENERATION
* Initial conditions:
* with {
* the IUT being in the "initial state"
......@@ -90,7 +90,7 @@ module ItsSpatem_TestCases {
/**
* @desc Check that TLM Service generates SPATEM are time ordered
* <pre>
* Pics Selection: PICS_RSU and PICS_SPATEM_GENERATION
* Pics Selection: PICS_SPATEM_GENERATION
* Initial conditions:
* with {
* the IUT being in the "initial state"
......@@ -120,7 +120,7 @@ module ItsSpatem_TestCases {
/**
* @desc Check that TLM Service terminates on reception of a valid AppSPATEM _Stop request
* <pre>
* Pics Selection: PICS_RSU and PICS_SPATEM_GENERATION
* Pics Selection: PICS_SPATEM_GENERATION
* Initial conditions:
* with {
* the IUT being in the "initial state"
......@@ -150,7 +150,7 @@ module ItsSpatem_TestCases {
/**
* @desc Check that TLM Service generates a new SPATEM on reception of a valid AppSPATEM_Trigger request
* <pre>
* Pics Selection: PICS_RSU and PICS_SPATEM_GENERATION
* Pics Selection: PICS_SPATEM_GENERATION
* Initial conditions:
* with {
* the IUT being in the "initial state"
......@@ -177,14 +177,14 @@ module ItsSpatem_TestCases {
} // End of testcase TC_IS_TLM_EVGN_BV_04
} // End of group spateMessageEventGeneration
} // End of group spateEventGeneration
group spateCommunication {
/**
* @desc Check that TLM Service provides the destination area in SPATEM
* <pre>
* Pics Selection: PICS_RSU and PICS_SPATEM_GENERATION
* Pics Selection: PICS_SPATEM_GENERATION
* Initial conditions:
* with {
* the IUT being in the "initial state"
......@@ -218,7 +218,7 @@ module ItsSpatem_TestCases {
/**
* @desc Check that SPATEM uses BTP_B packet
* <pre>
* Pics Selection: PICS_RSU and PICS_SPATEM_GENERATION
* Pics Selection: PICS_SPATEM_GENERATION
* Initial conditions:
* with {
* the IUT being in the "initial state"
......@@ -249,7 +249,7 @@ module ItsSpatem_TestCases {
/**
* @desc Check that the destination port for SPATEM is set to 2004
* <pre>
* Pics Selection: PICS_RSU and PICS_SPATEM_GENERATION
* Pics Selection: PICS_SPATEM_GENERATION
* Initial conditions:
* with {
* the IUT being in the "initial state"
......@@ -282,7 +282,7 @@ module ItsSpatem_TestCases {
/**
* @desc Check that TLM Service provides the destination area in SPATEM
* <pre>
* Pics Selection: PICS_RSU and PICS_SPATEM_GENERATION
* Pics Selection: PICS_SPATEM_GENERATION
* Initial conditions:
* with {
* the IUT being in the "initial state"
......@@ -322,7 +322,7 @@ module ItsSpatem_TestCases {
/**
* @desc Check that the IUT can successfully process all mandatory fields of SPATEM received
* <pre>
* Pics Selection: not PICS_RSU and PICS_SPATEM_RECEPTION
* Pics Selection: PICS_SPATEM_RECEPTION
* Initial conditions:
* with {
* the IUT being in the "initial state"
......
......@@ -43,7 +43,7 @@ module ItsSpatem_TpFunctions {
// Local variables
// Test control
if (not PICS_RSU or not PICS_SPATEM_GENERATION) {
if (not not PICS_SPATEM_GENERATION) {
log("*** " & testcasename() & ": PICS_RSU and PICS_SPATEM_GENERATION required for executing the TC ***");
setverdict(inconc);
stop;
......@@ -53,7 +53,10 @@ module ItsSpatem_TpFunctions {
f_cfUp();
// Preamble
f_prInitialState();
f_utTriggerEvent(m_utTriggerEvent(startTLMService));
// Wait for SPATEM sent
tc_ac.start(2.0);
f_selfOrClientSyncAndVerdictPreamble(c_prDone, e_success);
// Test Body
......@@ -82,7 +85,7 @@ module ItsSpatem_TpFunctions {
} // End of group spateMessageFormat
group spateMessageEventGeneration {
group spateEventGeneration {
/**
* @desc TP Function for f_IS_TLM_EVGN_BV_01
......@@ -92,7 +95,7 @@ module ItsSpatem_TpFunctions {
// Local variables
// Test control
if (not PICS_RSU or not PICS_SPATEM_GENERATION) {
if (not not PICS_SPATEM_GENERATION) {
log("*** " & testcasename() & ": PICS_RSU and PICS_SPATEM_GENERATION required for executing the TC ***");
setverdict(inconc);
stop;
......@@ -102,11 +105,11 @@ module ItsSpatem_TpFunctions {
f_cfUp();
// Preamble
f_prInitialState();
f_utTriggerEvent(m_utTriggerEvent(startTLMService));
f_selfOrClientSyncAndVerdictPreamble(c_prDone, e_success);
// Test Body
f_utTriggerEvent(m_utTriggerEvent(startTLMService));
tc_ac.start;
alt {
[] mapemSpatemPort.receive(
......@@ -149,7 +152,7 @@ module ItsSpatem_TpFunctions {
var SpatemInd v_spatem;
// Test control
if (not PICS_RSU or not PICS_SPATEM_GENERATION) {
if (not not PICS_SPATEM_GENERATION) {
log("*** " & testcasename() & ": PICS_RSU and PICS_SPATEM_GENERATION required for executing the TC ***");
setverdict(inconc);
stop;
......@@ -159,6 +162,7 @@ module ItsSpatem_TpFunctions {
f_cfUp();
// Preamble
f_prInitialState();
f_utTriggerEvent(m_utTriggerEvent(startTLMService));
f_awaitSpateMessage(
mw_spatemInd(
......@@ -217,7 +221,7 @@ module ItsSpatem_TpFunctions {
// Local variables
// Test control
if (not PICS_RSU or not PICS_SPATEM_GENERATION) {
if (not not PICS_SPATEM_GENERATION) {
log("*** " & testcasename() & ": PICS_RSU and PICS_SPATEM_GENERATION required for executing the TC ***");
setverdict(inconc);
stop;
......@@ -227,9 +231,8 @@ module ItsSpatem_TpFunctions {
f_cfUp();
// Preamble
f_prInitialState();
f_utTriggerEvent(m_utTriggerEvent(startTLMService));
// Wait for SPATEM sent
tc_ac.start(2.0);
f_selfOrClientSyncAndVerdictPreamble(c_prDone, e_success);
// Test Body
......@@ -267,7 +270,7 @@ module ItsSpatem_TpFunctions {
var SpatemInd v_spatem;
// Test control
if (not PICS_RSU or not PICS_SPATEM_GENERATION) {
if (not not PICS_SPATEM_GENERATION) {
log("*** " & testcasename() & ": PICS_RSU and PICS_SPATEM_GENERATION required for executing the TC ***");
setverdict(inconc);
stop;
......@@ -277,6 +280,7 @@ module ItsSpatem_TpFunctions {
f_cfUp();
// Preamble
f_prInitialState();
f_utTriggerEvent(m_utTriggerEvent(startTLMService));
f_awaitSpateMessage(
mw_spatemInd(
......@@ -327,7 +331,7 @@ module ItsSpatem_TpFunctions {
} // End of function f_IS_TLM_EVGN_BV_04
} // End of group spateMessageEventGeneration
} // End of group spateEventGeneration
group spateCommunication {
......@@ -342,6 +346,7 @@ module ItsSpatem_TpFunctions {
f_cfUp();
// Preamble
f_prInitialState();
f_utTriggerEvent(m_utTriggerEvent(startTLMService));
f_selfOrClientSyncAndVerdictPreamble(c_prDone, e_success);
......@@ -382,6 +387,7 @@ module ItsSpatem_TpFunctions {
f_cfUp();
// Preamble
f_prInitialState();
f_utTriggerEvent(m_utTriggerEvent(startTLMService));
f_selfOrClientSyncAndVerdictPreamble(c_prDone, e_success);
......@@ -432,6 +438,7 @@ module ItsSpatem_TpFunctions {
f_cfUp();
// Preamble
f_prInitialState();
f_utTriggerEvent(m_utTriggerEvent(startTLMService));
f_selfOrClientSyncAndVerdictPreamble(c_prDone, e_success);
......@@ -478,6 +485,7 @@ module ItsSpatem_TpFunctions {
f_cfUp();
// Preamble
f_prInitialState();
f_utTriggerEvent(m_utTriggerEvent(startTLMService));
f_selfOrClientSyncAndVerdictPreamble(c_prDone, e_success);
......@@ -545,8 +553,8 @@ module ItsSpatem_TpFunctions {
var SpatemReq v_spatemReq;
var integer i;
if (PICS_RSU or not PICS_SPATEM_RECEPTION) {
log("*** " & testcasename() & ": not PICS_RSU and PICS_SPATEM_RECEPTION required for executing the TC ***");
if (not PICS_SPATEM_RECEPTION) {
log("*** " & testcasename() & ": PICS_SPATEM_RECEPTION required for executing the TC ***");
setverdict(inconc);
stop;
}
......@@ -555,6 +563,7 @@ module ItsSpatem_TpFunctions {
f_cfUp();
// Preamble
f_prInitialState();
f_selfOrClientSyncAndVerdictPreamble(c_prDone, e_success);
// Test Body
......
......@@ -21,9 +21,9 @@ module ItsSrem_TestCases {
group sreMessageFormat {
/**
* @desc Check that protocolVersion is set to 1 and messageID is set to 9 (ITS-S)
* @desc Check that protocolVersion is set to 1 and messageID is set to 9
* <pre>
* Pics Selection: not PICS_RSU
* Pics Selection: not PICS_RSU and PICS_SREM_GENERATION
* Initial conditions:
* with {
* the IUT being in the "initial state"
......@@ -45,8 +45,8 @@ module ItsSrem_TestCases {
* </pre>
*
* @version 1.0.4
* @see ETSI TS 103 191-2 v0.0.1 TP_IS_RLT_MSGF_BV_01
* @reference ETSI TS 103 301 V1.0.4 Clause 6.3
* @see ETSI TS 103 191-2 v0.0.1 TP_IS_TLC_MSGF_BV_01
* @reference ETSI TS 103 301 V1.0.4 Clause 8.3
*/
testcase TP_IS_TLC_MSGF_BV_01 () runs on ItsSremSsem system ItsSremSsemSystem {
......@@ -56,6 +56,73 @@ module ItsSrem_TestCases {
} // End of group sreMessageFormat
group sreEventGeneration {
/**
* @desc Check that IVI Service generates a new SREM on reception of a valid AppSREM_Trigger request
* <pre>
* Pics Selection: not PICS_RSU and PICS_SREM_GENERATION
* Initial conditions:
* with {
* the IUT being in the "initial state"
* }
* Expected behaviour:
* ensure that {
* when {
* the IUT receives an AppSREM_Trigger request from the application layer
* }
* then {
* the IUT sends a valid SREM
* }
* }
* </pre>
*