titanization (b85494eb) · Commits · ITS - Intelligent Transport Systems / ttcn / IS TS 103 191-3

.gitmodules

0 → 100644

+3 −0

Original line number	Diff line number	Diff line
		[submodule "lib/asn1"]
		path = lib/asn1
		url = https://forge.etsi.org/rep/ITS/asn1/is_ts103301.git

ItsIvim_TestCases.ttcn

0 → 100755

+3115 −0

File added.

Preview size limit exceeded, changes collapsed.

ItsIvim_TestControl.ttcn

0 → 100755

+160 −0

Original line number	Diff line number	Diff line
		/**
		* @author ETSI / STF517 / TTF002
		* @version $Url: https://oldforge.etsi.org/svn/ITS/tags/20170222_STF527_Final/ttcn/AtsIVIM/ItsIvim_TestControl.ttcn $
		* $Id: ItsIvim_TestControl.ttcn 2648 2017-01-03 09:02:30Z garciay $
		* @desc Test Control file for IVIM
		* @copyright ETSI Copyright Notification
		* No part may be reproduced except as authorized by written permission.
		* The copyright and the foregoing restriction extend to reproduction in all media.
		* All rights reserved.
		*
		*/
		module ItsIvim_TestControl {

		// ATS IVIM
		import from ItsIvim_TestCases all;

		// LibIts
		import from LibItsIvim_Pics all;

		// Test Execution
		control {

		if(PICS_IVIM_GENERATION) {
		execute(TC_IS_IVI_GEN_MSGF_BV_01());
		execute(TC_IS_IVI_GEN_LOC_BV_01());
		execute(TC_IS_IVI_GEN_LOC_BV_02());
		execute(TC_IS_IVI_GEN_LOC_BV_03());
		execute(TC_IS_IVI_GEN_LOC_BV_04());
		execute(TC_IS_IVI_GEN_LOC_BV_05());
		execute(TC_IS_IVI_GEN_LOC_BV_06());
		execute(TC_IS_IVI_GEN_MANC_BV_01());
		}
		if(PICS_IVIM_GENERATION and PICS_IVIM_FRAGMENTATION) {
		execute(TC_IS_IVI_GEN_MANC_BV_02());
		}
		if(PICS_IVIM_GENERATION) {
		execute(TC_IS_IVI_GEN_EVGN_BV_01());
		execute(TC_IS_IVI_GEN_EVGN_BV_02());
		execute(TC_IS_IVI_GEN_EVGN_BV_03());
		execute(TC_IS_IVI_GEN_EVGN_BV_04());
		execute(TC_IS_IVI_GEN_EVGN_BV_05());
		}
		if(PICS_IVIM_GENERATION and PICS_IVIM_UPDATE) {
		execute(TC_IS_IVI_GEN_EVUP_BV_01());
		execute(TC_IS_IVI_GEN_EVUP_BV_02());
		execute(TC_IS_IVI_GEN_EVUP_BV_03());
		execute(TC_IS_IVI_GEN_EVUP_BV_04());
		execute(TC_IS_IVI_GEN_EVUP_BV_05());
		}
		if(PICS_IVIM_GENERATION and PICS_IVIM_HAS_GENERAL_CONTAINER) {
		execute(TC_IS_IVI_GEN_GENAPP_BV_01());
		execute(TC_IS_IVI_GEN_GENAPP_BV_02());
		execute(TC_IS_IVI_GEN_GENAPP_BV_03());
		}
		if(PICS_IVIM_GENERATION and PICS_IVIM_HAS_GENERAL_CONTAINER and PICS_IVIM_RSCODE_VIENNACONV and PICS_IVIM_RSCODE_ISO14823 and PICS_IVIM_RSCODE_SAEJ2540 and PICS_IVIM_RSCODE_ANY_CATALOGUE) {
		execute(TC_IS_IVI_GEN_GENAPP_BV_04());
		}
		if(PICS_IVIM_GENERATION and PICS_IVIM_HAS_GENERAL_CONTAINER and PICS_IVIM_HAS_LAYOUT_CONTAINER) {
		execute(TC_IS_IVI_GEN_GENAPP_BV_05());
		}
		if(PICS_IVIM_GENERATION and PICS_IVIM_HAS_ROAD_CFG_CONTAINER) {
		execute(TC_IS_IVI_GEN_RCC_BV_01());
		execute(TC_IS_IVI_GEN_RCC_BV_02());
		execute(TC_IS_IVI_GEN_RCC_BV_03());
		}
		if(PICS_IVIM_GENERATION and PICS_IVIM_HAS_TEXT_CONTAINER) {
		execute(TC_IS_IVI_GEN_TEXT_BV_01());
		execute(TC_IS_IVI_GEN_TEXT_BV_02());
		execute(TC_IS_IVI_GEN_TEXT_BV_03());
		}
		if(PICS_IVIM_GENERATION and PICS_IVIM_HAS_TEXT_CONTAINER and PICS_IVIM_HAS_LAYOUT_CONTAINER) {
		execute(TC_IS_IVI_GEN_TEXT_BV_04());
		}
		if(PICS_IVIM_GENERATION) {
		execute(TC_IS_IVI_GEN_GFQ_TI_01());
		execute(TC_IS_IVI_GEN_GFQ_TI_02());
		}
		if(PICS_IVIM_UPDATE) {
		execute(TC_IS_IVI_GEN_EVRP_BV_01());
		execute(TC_IS_IVI_GEN_EVRP_BV_02());
		}
		if(PICS_IVIM_GENERATION) {
		execute(TC_IS_IVI_GEN_EVTR_BV_01());
		execute(TC_IS_IVI_GEN_EVTR_BV_02());
		}
		if(PICS_IVIM_CANCELLATION) {
		execute(TC_IS_IVI_GEN_EVTR_BV_03());
		}
		if(PICS_IVIM_NEGATION) {
		execute(TC_IS_IVI_GEN_EVTR_BV_04());
		}
		if(PICS_IVIM_GENERATION) {
		execute(TC_IS_IVI_GEN_COM_BV_01());
		execute(TC_IS_IVI_GEN_COM_BV_02());
		}
		if(PICS_IVIM_GENERATION and PICS_IS_IUT_SECURED) {
		execute(TC_IS_IVI_GEN_SEC_BV_01());
		execute(TC_IS_IVI_GEN_SEC_BV_02());
		execute(TC_IS_IVI_GEN_SSP_BV_01());
		execute(TC_IS_IVI_GEN_SSP_BO_01());
		}
		if(PICS_IVIM_GENERATION and PICS_IS_IUT_SECURED and PICS_IVIM_RSCODE_VIENNACONV and PICS_IVIM_RSCODE_SAEJ2540) {
		execute(TC_IS_IVI_GEN_SSP_BV_02());
		execute(TC_IS_IVI_GEN_SSP_BO_02());
		}
		if(PICS_IVIM_GENERATION and PICS_IS_IUT_SECURED and PICS_IVIM_RSCODE_ISO14823) {
		execute(TC_IS_IVI_GEN_SSP_BV_03());
		execute(TC_IS_IVI_GEN_SSP_BV_04());
		execute(TC_IS_IVI_GEN_SSP_BO_03());
		execute(TC_IS_IVI_GEN_SSP_BO_04());
		}
		if(PICS_IVIM_GENERATION and PICS_IS_IUT_SECURED and PICS_IVIM_HAS_ROAD_CFG_CONTAINER and PICS_IVIM_HAS_TEXT_CONTAINER and PICS_IVIM_HAS_LAYOUT_CONTAINER) {
		execute(TC_IS_IVI_GEN_SSP_BV_05());
		execute(TC_IS_IVI_GEN_SSP_BO_05());
		}
		if(PICS_IVIM_GENERATION and PICS_IS_IUT_SECURED) {
		execute(TC_IS_IVI_GEN_SSP_BV_06());
		execute(TC_IS_IVI_GEN_SSP_BO_06());
		}
		if (PICS_IVIM_RECEPTION) {
		execute(TC_IS_IVI_RCV_MSGF_BV_01());
		execute(TC_IS_IVI_RCV_DATA_BV_01());
		execute(TC_IS_IVI_RCV_DATA_BV_02());
		execute(TC_IS_IVI_RCV_DATA_BV_03());
		execute(TC_IS_IVI_RCV_DATA_BV_04());
		execute(TC_IS_IVI_RCV_DATA_BV_05());
		execute(TC_IS_IVI_RCV_EVUP_BV_01());
		execute(TC_IS_IVI_RCV_EVUP_BV_02());
		}
		if (PICS_IVIM_RECEPTION and PICS_IVIM_UPDATE) {
		execute(TC_IS_IVI_RCV_EVUP_BV_03());
		execute(TC_IS_IVI_RCV_EVUP_BV_04());
		}
		if (PICS_IVIM_RECEPTION and PICS_IVIM_CANCELLATION) {
		execute(TC_IS_IVI_RCV_EVUP_BV_05());
		}
		if (PICS_IVIM_RECEPTION and PICS_IVIM_NEGATION) {
		execute(TC_IS_IVI_RCV_EVUP_BV_06());
		}
		if (PICS_IVIM_RECEPTION and PICS_IS_IUT_SECURED) {
		execute(TC_IS_IVI_RCV_SSP_BV_01());
		execute(TC_IS_IVI_RCV_SSP_BO_01());
		execute(TC_IS_IVI_RCV_SSP_BO_02());
		}
		if(PICS_IVIM_RECEPTION and PICS_IS_IUT_SECURED and PICS_IVIM_RSCODE_VIENNACONV and PICS_IVIM_RSCODE_SAEJ2540) {
		execute(TC_IS_IVI_RCV_SSP_BO_03());
		}
		if(PICS_IVIM_RECEPTION and PICS_IS_IUT_SECURED and PICS_IVIM_RSCODE_ISO14823) {
		execute(TC_IS_IVI_RCV_SSP_BO_04());
		execute(TC_IS_IVI_RCV_SSP_BO_05());
		}
		if(PICS_IVIM_RECEPTION and PICS_IS_IUT_SECURED and PICS_IVIM_HAS_ROAD_CFG_CONTAINER and PICS_IVIM_HAS_TEXT_CONTAINER and PICS_IVIM_HAS_LAYOUT_CONTAINER) {
		execute(TC_IS_IVI_RCV_SSP_BO_06());
		}
		if (PICS_IVIM_RECEPTION and PICS_IS_IUT_SECURED) {
		execute(TC_IS_IVI_RCV_SSP_BO_07());
		}
		}

		} // End of module ItsIvim_TestControl
		No newline at end of file

ItsIvim_TpFunctions.ttcn

0 → 100755

+4838 −0

File added.

Preview size limit exceeded, changes collapsed.

ItsMapemSpatem_TestControl.ttcn

0 → 100755

+157 −0

Original line number	Diff line number	Diff line
		/**
		* @author ETSI / STF484 / TTF002
		* @version $Url: https://oldforge.etsi.org/svn/ITS/tags/20170222_STF527_Final/ttcn/AtsMapemSpatem/ItsMapemSpatem_TestControl.ttcn $
		* $Id: ItsMapemSpatem_TestControl.ttcn 2639 2016-12-14 09:22:07Z garciay $
		* @desc Test Control file for MAPEM SPATEM
		* @copyright ETSI Copyright Notification
		* No part may be reproduced except as authorized by written permission.
		* The copyright and the foregoing restriction extend to reproduction in all media.
		* All rights reserved.
		*
		*/
		module ItsMapemSpatem_TestControl {

		// LibItsMapemSpatem
		import from LibItsMapemSpatem_Pics all;

		// ATS MAPSpat
		import from ItsMapem_TestCases all;
		import from ItsSpatem_TestCases all;

		// Test Execution
		control {

		if (PICS_MAPEM_GENERATION) {
		execute(TC_IS_RLT_GEN_MSGF_BV_01 ());
		execute(TC_IS_RLT_GEN_MSGF_BV_02 ());
		execute(TC_IS_RLT_GEN_MSGF_BV_03 ());
		execute(TC_IS_RLT_GEN_MSGF_BV_04 ());
		execute(TC_IS_RLT_GEN_MSGF_BV_05 ());
		execute(TC_IS_RLT_GEN_MSGF_BV_06 ());
		execute(TC_IS_RLT_GEN_MSGF_BV_07 ());
		execute(TC_IS_RLT_GEN_MSGF_BV_08 ());
		if (PICS_PEDESTRIAN_MANOEUVRES) {
		execute(TC_IS_RLT_GEN_MSGF_BV_09 ());
		}
		if (PICS_SPECIALIZED_CARS_MANOEUVRES) {
		execute(TC_IS_RLT_GEN_MSGF_BV_10 ());
		}
		execute(TC_IS_RLT_GEN_MSGF_BV_11 ());
		if (PICS_MAPEM_HAS_LANE_WIDTH) {
		execute(TC_IS_RLT_GEN_MSGF_BV_12 ());
		execute(TC_IS_RLT_GEN_MSGF_BV_13 ());
		}
		execute(TC_IS_RLT_GEN_MSGF_BV_14 ());
		execute(TC_IS_RLT_GEN_MSGF_BV_15 ());
		execute(TC_IS_RLT_GEN_MSGF_BV_16 ());
		if (PICS_ETSI_STRICT) {
		execute(TC_IS_RLT_GEN_MSGF_BV_17 ());
		}

		if (PICS_SPATEM_GENERATION) {
		execute(TC_IS_RLT_GEN_COM_BV_01 ());
		// execute(TC_IS_RLT_GEN_COM_BV_02 ());
		}

		execute(TC_IS_RLT_GEN_COM_BV_03 ());
		if (PICS_SHORT_RANGE) {
		execute(TC_IS_RLT_GEN_COM_BV_04 ());
		}
		if (PICS_IS_IUT_SECURED) {
		execute(TC_IS_RLT_GEN_SEC_BV_01 ());
		execute(TC_IS_RLT_GEN_SEC_BV_02 ());
		execute(TC_IS_RLT_GEN_SSP_BV_01 ());
		execute(TC_IS_RLT_GEN_SSP_BV_02 ());
		execute(TC_IS_RLT_GEN_SSP_BO_03 ());
		execute(TC_IS_RLT_GEN_SSP_BV_04 ());
		execute(TC_IS_RLT_GEN_SSP_BO_05 ());
		}
		}

		if (PICS_MAPEM_RECEPTION) {
		if (PICS_MAPEM_TRANSMISSION_RATE) {
		execute(TC_IS_RLT_GEN_RATE_BV_01 ());
		}
		execute(TC_IS_RLT_GEN_RCV_BV_03 ());
		if (PICS_IS_IUT_SECURED) {
		execute(TC_IS_RLT_RCV_SEC_BV_01 ());
		execute(TC_IS_RLT_RCV_SEC_BO_02 ());
		execute(TC_IS_RLT_RCV_SEC_BO_03 ());
		execute(TC_IS_RLT_RCV_SEC_BO_04 ());
		}
		}

		if (PICS_SPATEM_GENERATION) {
		execute(TC_IS_TLM_GEN_MSGF_BV_01 ());
		execute(TC_IS_TLM_GEN_MSGF_BV_02 ());
		execute(TC_IS_TLM_GEN_MSGF_BV_03 ());
		execute(TC_IS_TLM_GEN_MSGF_BV_04 ());
		execute(TC_IS_TLM_GEN_MSGF_BV_05 ());
		execute(TC_IS_TLM_GEN_MSGF_BV_06 ());
		if (PICS_SPATEM_PEDESTRIAN_MANOEUVRES) {
		execute(TC_IS_TLM_GEN_MSGF_BV_07 ());
		}

		execute(TC_IS_TLM_GEN_MSGF_BV_08 ());
		if (PICS_SPATEM_HAS_TIMING) {
		execute(TC_IS_TLM_GEN_MSGF_BV_09 ());
		}
		if (PICS_SPATEM_PRIORITIZATION ) {
		execute(TC_IS_TLM_GEN_MSGF_BV_10 ());
		}
		if (PICS_SPATEM_PEDESTRIAN_MANOEUVRES ) {
		execute(TC_IS_TLM_GEN_MSGF_BV_11 ());
		}
		if (PICS_SPATEM_HAS_OPTIMAL_SPEED ) {
		execute(TC_IS_TLM_GEN_MSGF_BV_12 ());
		}
		if (PICS_SPATEM_HAS_SIGNAL_PROGRESSION_SPEED ) {
		execute(TC_IS_TLM_GEN_MSGF_BV_13 ());
		}
		if (PICS_SPATEM_HAS_EGRESS_QUEUE ) {
		execute(TC_IS_TLM_GEN_MSGF_BV_14 ());
		}
		execute(TC_IS_TLM_GEN_EVGN_BV_01 ());
		execute(TC_IS_TLM_GEN_EVGN_BV_02 ());
		execute(TC_IS_TLM_GEN_EVGN_BV_03 ());
		execute(TC_IS_TLM_GEN_EVGN_BV_04 ());

		if (PICS_SHORT_RANGE) {
		execute(TC_IS_TLM_GEN_COM_BV_01 ());
		execute(TC_IS_TLM_GEN_COM_BV_02 ());
		}
		execute(TC_IS_TLM_GEN_COM_BV_03 ());
		if (PICS_IS_IUT_SECURED) {
		execute(TC_IS_TLM_GEN_SEC_BV_01 ());
		execute(TC_IS_TLM_GEN_SEC_BV_02 ());
		execute(TC_IS_TLM_GEN_SSP_BV_01 ());
		execute(TC_IS_TLM_GEN_SSP_BV_02 ());
		execute(TC_IS_TLM_GEN_SSP_BO_03 ());
		execute(TC_IS_TLM_GEN_SSP_BV_04 ());
		execute(TC_IS_TLM_GEN_SSP_BO_05 ());
		execute(TC_IS_TLM_GEN_SSP_BV_06 ());
		execute(TC_IS_TLM_GEN_SSP_BV_07 ());
		execute(TC_IS_TLM_GEN_SSP_BO_08 ());
		execute(TC_IS_TLM_GEN_SSP_BO_09 ());
		}
		if (PICS_SPATEM_TRANSMISSION_RATE) {
		execute(TC_IS_TLM_GEN_RATE_BV_01 ());
		}
		}
		if (PICS_SPATEM_RECEPTION) {
		execute(TC_IS_TLM_RCV_MSGF_BV_01 ());
		if (PICS_IS_IUT_SECURED) {
		execute(TC_IS_TLM_RCV_SEC_BV_01 ());
		execute(TC_IS_TLM_RCV_SEC_BO_01 ());
		execute(TC_IS_TLM_RCV_SSP_BV_01 ());
		execute(TC_IS_TLM_RCV_SSP_BO_02 ());
		execute(TC_IS_TLM_RCV_SSP_BV_03 ());
		execute(TC_IS_TLM_RCV_SSP_BO_04 ());
		execute(TC_IS_TLM_RCV_SSP_BV_05 ());
		execute(TC_IS_TLM_RCV_SSP_BO_06 ());
		}
		}

		} // End of 'control' statement

		} // End of module ItsMapemSpatem_TestControl