Merge branch 'TTF0002' of https://forge.etsi.org/gitlab/ITS/ITS into TTF0002 (92b90c74) · Commits · ITS - Intelligent Transport Systems / ITS

ttcn/AtsIVIM/ItsIvim_TpFunctions.ttcn

+368 −7

Original line number	Diff line number	Diff line
		@@ -35,6 +35,7 @@ module ItsIvim_TpFunctions {
		import from LibItsIvim_TestSystem all;
		import from LibItsIvim_Functions all;
		import from LibItsIvim_Pics all;
		import from LibItsIvim_Pixits all;
		import from LibItsIvim_ASN1_IVInamedNumbers all;

		group iviMessageTransmission {
		@@ -99,7 +100,57 @@ module ItsIvim_TpFunctions {
		*/
		function f_IS_IVI_GEN_LOC_BV_01() runs on ItsIvim {

		// TODO
		// Local variables
		var IviIdentificationNumber v_iviIdentificationNumber;

		// Test control
		if (not PICS_IVIM_GENERATION) {
		log("* " & testcasename() & ": PICS_IVIM_GENERATION required for executing the TC *");
		setverdict(inconc);
		stop;
		}

		// Test component configuration
		f_cfUp();

		// Test adapter configuration

		// Preamble
		f_prInitialState();
		f_selfOrClientSyncAndVerdictPreamble(c_prDone, e_success);

		// Test Body
		v_iviIdentificationNumber := f_utTriggerEvent(valueof(m_utTriggerEvent(omit,-,-,{PX_ZONEID_1},-)));

		tc_ac.start;
		alt {
		[] ivimPort.receive(
		mw_ivimInd(
		mw_anyIvimPdu(
		mw_itsPduHeader,
		mw_ivimStructure(
		?,
		{mw_iviContainer_geographicLocationContainer(
		mw_geographicLocationContainer(
		?,
		{mw_glcPart(PX_ZONEID_1)}
		)
		)}
		)
		))) {
		tc_ac.stop;
		log("* " & testcasename() & ": PASS: Expected IVIM received *");
		f_selfOrClientSyncAndVerdict(c_tbDone, e_success);
		}
		[] tc_ac.timeout {
		log("* " & testcasename() & ": INCONC: IVIM not received *");
		f_selfOrClientSyncAndVerdict(c_tbDone, e_timeout);
		}
		}

		// Postamble
		f_poCancelEvent(e_iut, v_iviIdentificationNumber);
		f_cfDown();

		} // End of function f_IS_IVI_GEN_LOC_BV_01

		@@ -108,7 +159,60 @@ module ItsIvim_TpFunctions {
		*/
		function f_IS_IVI_GEN_LOC_BV_02() runs on ItsIvim {

		// TODO
		// Local variables
		var IviIdentificationNumber v_iviIdentificationNumber;

		// Test control
		if (not PICS_IVIM_GENERATION) {
		log("* " & testcasename() & ": PICS_IVIM_GENERATION required for executing the TC *");
		setverdict(inconc);
		stop;
		}

		// Test component configuration
		f_cfUp();

		// Test adapter configuration

		// Preamble
		f_prInitialState();
		f_selfOrClientSyncAndVerdictPreamble(c_prDone, e_success);

		// Test Body
		v_iviIdentificationNumber := f_utTriggerEvent(valueof(m_utTriggerEvent(omit,-,-,{PX_ZONEID_1, PX_ZONEID_2},-)));

		tc_ac.start;
		alt {
		[] ivimPort.receive(
		mw_ivimInd(
		mw_anyIvimPdu(
		mw_itsPduHeader,
		mw_ivimStructure(
		?,
		{mw_iviContainer_geographicLocationContainer(//TODO check if list of GeographicLocationContainer is checked or list of GlC is checked???
		mw_geographicLocationContainer(
		?,
		{permutation(mw_glcPart(PX_ZONEID_1),
		mw_glcPart(PX_ZONEID_2))
		}
		)
		)
		}
		)
		))) {
		tc_ac.stop;
		log("* " & testcasename() & ": PASS: Expected IVIM received *");
		f_selfOrClientSyncAndVerdict(c_tbDone, e_success);
		}
		[] tc_ac.timeout {
		log("* " & testcasename() & ": INCONC: IVIM not received *");
		f_selfOrClientSyncAndVerdict(c_tbDone, e_timeout);
		}
		}

		// Postamble
		f_poCancelEvent(e_iut, v_iviIdentificationNumber);
		f_cfDown();

		} // End of function f_IS_IVI_GEN_LOC_BV_02

		@@ -117,7 +221,64 @@ module ItsIvim_TpFunctions {
		*/
		function f_IS_IVI_GEN_LOC_BV_03() runs on ItsIvim {

		// TODO
		// Local variables
		var IviIdentificationNumber v_iviIdentificationNumber;

		// Test control
		if (not PICS_IVIM_GENERATION) {
		log("* " & testcasename() & ": PICS_IVIM_GENERATION required for executing the TC *");
		setverdict(inconc);
		stop;
		}

		// Test component configuration
		f_cfUp();

		// Test adapter configuration

		// Preamble
		f_prInitialState();
		f_selfOrClientSyncAndVerdictPreamble(c_prDone, e_success);

		// Test Body
		v_iviIdentificationNumber := f_utTriggerEvent(valueof(m_utTriggerEvent())); //TODO: line need to be updated

		tc_ac.start;
		alt {
		[] ivimPort.receive(
		mw_ivimInd(
		mw_anyIvimPdu(
		mw_itsPduHeader,
		mw_ivimStructure(
		?,
		{permutation(mw_iviContainer_geographicLocationContainer(
		mw_geographicLocationContainer(
		?,
		{mw_glcPart((2)/CHECK if Z_ID_1 should be PIXIT or /)}
		)
		),
		mw_iviContainer_geographicLocationContainer(
		mw_geographicLocationContainer(
		?,
		{mw_glcPart((2)/CHECK if Z_ID_2 should be PIXIT or /)}
		)
		)
		)}
		)
		))) {
		tc_ac.stop;
		log("* " & testcasename() & ": PASS: Expected IVIM received *");
		f_selfOrClientSyncAndVerdict(c_tbDone, e_success);
		}
		[] tc_ac.timeout {
		log("* " & testcasename() & ": INCONC: IVIM not received *");
		f_selfOrClientSyncAndVerdict(c_tbDone, e_timeout);
		}
		}

		// Postamble
		f_poCancelEvent(e_iut, v_iviIdentificationNumber);
		f_cfDown();

		} // End of function f_IS_IVI_GEN_LOC_BV_03

		@@ -126,7 +287,57 @@ module ItsIvim_TpFunctions {
		*/
		function f_IS_IVI_GEN_LOC_BV_04() runs on ItsIvim {

		// TODO
		// Local variables
		var IviIdentificationNumber v_iviIdentificationNumber;

		// Test control
		if (not PICS_IVIM_GENERATION) {
		log("* " & testcasename() & ": PICS_IVIM_GENERATION required for executing the TC *");
		setverdict(inconc);
		stop;
		}

		// Test component configuration
		f_cfUp();

		// Test adapter configuration

		// Preamble
		f_prInitialState();
		f_selfOrClientSyncAndVerdictPreamble(c_prDone, e_success);

		// Test Body
		v_iviIdentificationNumber := f_utTriggerEvent(valueof(m_utTriggerEvent())); //TODO: line need to be updated

		tc_ac.start;
		alt {
		[] ivimPort.receive(
		mw_ivimInd(
		mw_anyIvimPdu(
		mw_itsPduHeader,
		mw_ivimStructure(
		?,
		{mw_iviContainer_geographicLocationContainer(
		mw_geographicLocationContainer(
		?,
		{mw_glcPart(?,?,-,-,?)} //zone Id., LaneNumber and zone should be present
		)
		)}
		)
		))) {
		tc_ac.stop;
		log("* " & testcasename() & ": PASS: Expected IVIM received *");
		f_selfOrClientSyncAndVerdict(c_tbDone, e_success);
		}
		[] tc_ac.timeout {
		log("* " & testcasename() & ": INCONC: IVIM not received *");
		f_selfOrClientSyncAndVerdict(c_tbDone, e_timeout);
		}
		}

		// Postamble
		f_poCancelEvent(e_iut, v_iviIdentificationNumber);
		f_cfDown();

		} // End of function f_IS_IVI_GEN_LOC_BV_04

		@@ -135,7 +346,57 @@ module ItsIvim_TpFunctions {
		*/
		function f_IS_IVI_GEN_LOC_BV_05() runs on ItsIvim {

		// TODO
		// Local variables
		var IviIdentificationNumber v_iviIdentificationNumber;

		// Test control
		if (not PICS_IVIM_GENERATION) {
		log("* " & testcasename() & ": PICS_IVIM_GENERATION required for executing the TC *");
		setverdict(inconc);
		stop;
		}

		// Test component configuration
		f_cfUp();

		// Test adapter configuration

		// Preamble
		f_prInitialState();
		f_selfOrClientSyncAndVerdictPreamble(c_prDone, e_success);

		// Test Body
		v_iviIdentificationNumber := f_utTriggerEvent(valueof(m_utTriggerEvent())); //TODO: line need to be updated

		tc_ac.start;
		alt {
		[] ivimPort.receive(
		mw_ivimInd(
		mw_anyIvimPdu(
		mw_itsPduHeader,
		mw_ivimStructure(
		?,
		{mw_iviContainer_geographicLocationContainer(
		mw_geographicLocationContainer(
		?,
		{mw_glcPart(?,?,-,-,?)} //zone Id., LaneNumber and zone should be present
		)
		)}
		)
		))) {
		tc_ac.stop;
		log("* " & testcasename() & ": PASS: Expected IVIM received *");
		f_selfOrClientSyncAndVerdict(c_tbDone, e_success);
		}
		[] tc_ac.timeout {
		log("* " & testcasename() & ": INCONC: IVIM not received *");
		f_selfOrClientSyncAndVerdict(c_tbDone, e_timeout);
		}
		}

		// Postamble
		f_poCancelEvent(e_iut, v_iviIdentificationNumber);
		f_cfDown();

		} // End of function f_IS_IVI_GEN_LOC_BV_05

		@@ -144,7 +405,61 @@ module ItsIvim_TpFunctions {
		*/
		function f_IS_IVI_GEN_LOC_BV_06() runs on ItsIvim {

		// TODO
		// Local variables
		var IviIdentificationNumber v_iviIdentificationNumber;

		// Test control
		if (not PICS_IVIM_GENERATION) {
		log("* " & testcasename() & ": PICS_IVIM_GENERATION required for executing the TC *");
		setverdict(inconc);
		stop;
		}

		// Test component configuration
		f_cfUp();

		// Test adapter configuration

		// Preamble
		f_prInitialState();
		f_selfOrClientSyncAndVerdictPreamble(c_prDone, e_success);

		// Test Body
		v_iviIdentificationNumber := f_utTriggerEvent(valueof(m_utTriggerEvent())); //TODO: line need to be updated

		tc_ac.start;
		alt {
		[] ivimPort.receive(
		mw_ivimInd(
		mw_anyIvimPdu(
		mw_itsPduHeader,
		mw_ivimStructure(
		?,
		{mw_iviContainer_geographicLocationContainer(
		mw_geographicLocationContainer(
		?,
		{(mw_glcPart(?,-,?,-,-), //zone Extension should be present or
		mw_glcPart(?,-,-,?,-), //zoneHeading should be present or
		mw_glcPart(?,-,-,-,?) //zone should be present
		)
		}
		)
		)}
		)
		))) {
		tc_ac.stop;
		log("* " & testcasename() & ": PASS: Expected IVIM received *");
		f_selfOrClientSyncAndVerdict(c_tbDone, e_success);
		}
		[] tc_ac.timeout {
		log("* " & testcasename() & ": INCONC: IVIM not received *");
		f_selfOrClientSyncAndVerdict(c_tbDone, e_timeout);
		}
		}

		// Postamble
		f_poCancelEvent(e_iut, v_iviIdentificationNumber);
		f_cfDown();

		} // End of function f_IS_IVI_GEN_LOC_BV_06

		@@ -157,7 +472,53 @@ module ItsIvim_TpFunctions {
		*/
		function f_IS_IVI_GEN_MANC_BV_01() runs on ItsIvim {

		// TODO
		// Local variables
		var IviIdentificationNumber v_iviIdentificationNumber;

		// Test control
		if (not PICS_IVIM_GENERATION) {
		log("* " & testcasename() & ": PICS_IVIM_GENERATION required for executing the TC *");
		setverdict(inconc);
		stop;
		}

		// Test component configuration
		f_cfUp();

		// Test adapter configuration

		// Preamble
		f_prInitialState();
		f_selfOrClientSyncAndVerdictPreamble(c_prDone, e_success);

		// Test Body
		v_iviIdentificationNumber := f_utTriggerEvent(valueof(m_utTriggerEvent()));

		tc_ac.start;
		alt {
		[] ivimPort.receive(
		mw_ivimInd(
		mw_anyIvimPdu(
		mw_itsPduHeader,
		mw_ivimStructure(
		mw_iviManagementContainer(

		)
		)
		))) {
		tc_ac.stop;
		log("* " & testcasename() & ": PASS: Expected IVIM received *");
		f_selfOrClientSyncAndVerdict(c_tbDone, e_success);
		}
		[] tc_ac.timeout {
		log("* " & testcasename() & ": INCONC: IVIM not received *");
		f_selfOrClientSyncAndVerdict(c_tbDone, e_timeout);
		}
		}

		// Postamble
		f_poCancelEvent(e_iut, v_iviIdentificationNumber);
		f_cfDown();

		} // End of function f_IS_IVI_GEN_MANC_BV_01

Admin message