Initial (46969588) · Commits · ITS - Intelligent Transport Systems / ttcn / DENM TS 102 869-3

.gitmodules

0 → 100644

+4 −0

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

ItsDenm_TestCases.ttcn

0 → 100755

+2368 −0

File added.

Preview size limit exceeded, changes collapsed.

ItsDenm_TestControl.ttcn

0 → 100755

+117 −0

Original line number	Diff line number	Diff line
		/**
		* @author ETSI / STF449 / STF484 / STF517
		* @version $Url: https://oldforge.etsi.org/svn/ITS/tags/20170222_STF527_Final/ttcn/AtsDENM/ItsDenm_TestControl.ttcn $
		* $Id: ItsDenm_TestControl.ttcn 2655 2017-01-26 10:46:08Z filatov $
		* @desc Test Control file for DENM
		* @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 ItsDenm_TestControl {

		// ATS DENM
		import from ItsDenm_TestCases all;

		// LibIts
		import from LibItsDenm_Pics all;

		// Test Execution
		control {

		if(PICS_DENM_GENERATION) {
		execute(TC_DEN_MSGF_BV_01());
		execute(TC_DEN_MSGF_BV_02());

		execute(TC_DEN_EVGN_BV_01());
		execute(TC_DEN_EVGN_BV_02());
		execute(TC_DEN_EVGN_BV_03());
		execute(TC_DEN_EVGN_BV_04());
		execute(TC_DEN_EVGN_BV_05());
		execute(TC_DEN_EVGN_BV_07());
		execute(TC_DEN_EVGN_BV_10());
		}

		if(PICS_DENM_UPDATE) {
		execute(TC_DEN_EVUP_BV_01());
		execute(TC_DEN_EVUP_BV_02());
		execute(TC_DEN_EVUP_BV_03());
		execute(TC_DEN_EVUP_BO_04());
		}

		if(PICS_DENM_CANCELLATION) {
		execute(TC_DEN_EVTR_BV_01());
		execute(TC_DEN_EVTR_BV_04());
		execute(TC_DEN_EVTR_BV_08());
		}

		if(PICS_DENM_NEGATION) {
		execute(TC_DEN_EVTR_BV_02());
		execute(TC_DEN_EVTR_BV_03());
		execute(TC_DEN_EVTR_BV_05());
		}

		if(PICS_DENM_NEGATION or PICS_DENM_CANCELLATION) {
		execute(TC_DEN_EVTR_BO_06());
		execute(TC_DEN_EVTR_BO_07());
		}

		if(PICS_DENM_REPETITION) {
		execute(TC_DEN_EVRP_TI_01());
		execute(TC_DEN_EVRP_BV_02());
		execute(TC_DEN_EVRP_BV_03());
		execute(TC_DEN_EVRP_BV_04());
		execute(TC_DEN_EVRP_BV_05());
		execute(TC_DEN_EVRP_BV_06());
		execute(TC_DEN_EVRP_BV_08());
		execute(TC_DEN_EVRP_BV_09());
		execute(TC_DEN_EVRP_BV_10());
		execute(TC_DEN_EVRP_BV_11());
		}

		if(PICS_DENM_GENERATION) {
		execute(TC_DEN_PAR_BV_01());
		execute(TC_DEN_PAR_BV_02());
		if(PICS_IS_IUT_SECURED) {
		execute(TC_DEN_SSP_BV_01_01());
		execute(TC_DEN_SSP_BV_01_02());
		}
		}

		if(PICS_DENM_RECEPTION) {
		execute(TC_DEN_MSRV_BV_01());
		execute(TC_DEN_MSRV_BV_02());
		execute(TC_DEN_MSRV_BO_03());
		execute(TC_DEN_MSRV_BO_04());
		execute(TC_DEN_MSRV_BO_05());
		execute(TC_DEN_MSRV_BO_06());
		execute(TC_DEN_MSRV_BV_07());

		if(PICS_IS_IUT_SECURED) {
		execute(TC_DEN_MSRV_BO_08_01());
		execute(TC_DEN_MSRV_BO_08_02());

		execute(TC_DEN_MSRV_BO_09_01());
		execute(TC_DEN_MSRV_BO_09_02());
		}
		if(PICS_IMPACT_REDUCTION) {
		execute(TC_DEN_MSRV_BV_10());
		}
		}

		if(PICS_DENM_KAF) {
		execute(TC_DEN_KAFW_BV_01());
		execute(TC_DEN_KAFW_BV_02());
		execute(TC_DEN_KAFW_TI_03());
		execute(TC_DEN_KAFW_BV_04());
		execute(TC_DEN_KAFW_BV_05());
		execute(TC_DEN_KAFW_BV_06());
		execute(TC_DEN_KAFW_BV_07());
		execute(TC_DEN_KAFW_BV_08());
		execute(TC_DEN_KAFW_BV_09());
		execute(TC_DEN_KAFW_BV_10());
		}
		}

		} // end ItsDenm_TestControl
		No newline at end of file

ItsDenm_TpFunctions.ttcn

0 → 100755

+4064 −0

File added.

Preview size limit exceeded, changes collapsed.

lib/LibItsDenm_EncdecDeclarations.ttcn

0 → 100755

+49 −0

Original line number	Diff line number	Diff line
		module LibItsDenm_EncdecDeclarations {

		// LibIts
		import from LibItsDenm_TypesAndValues all;

		// LibItsDenm
		import from LibItsDenm_TestSystem all;
		import from DENM_PDU_Descriptions language "ASN.1:1997" all;

		external function fx_enc_DenmReq (DenmReq p) return bitstring
		with {extension "prototype(convert) encode(LibIts_Interface)"}

		external function fx_dec_DenmReq (inout bitstring b, out DenmReq p) return integer
		with {extension "prototype(sliding) decode(LibIts_Interface)"}

		external function fx_dec_DenmInd (inout bitstring b, out DenmInd p) return integer
		with {extension "prototype(sliding) decode(LibIts_Interface)"}

		external function fx_enc_DENM (DENM p) return bitstring
		with {extension "prototype(convert) encode(PER)"}

		external function fx_dec_DENM (inout bitstring b, out DENM p) return integer
		with {extension "prototype(sliding) decode(PER)"}

		external function fx_enc_UtDenmInitialize (UtDenmInitialize p) return bitstring
		with {extension "prototype(convert) encode(UpperTester)"}

		external function fx_enc_UtDenmChangePosition (UtDenmChangePosition p) return bitstring
		with {extension "prototype(convert) encode(UpperTester)"}

		external function fx_enc_UtDenmChangePseudonym (UtDenmChangePseudonym p) return bitstring
		with {extension "prototype(convert) encode(UpperTester)"}

		external function fx_enc_UtDenmTrigger (UtDenmTrigger p) return bitstring
		with {extension "prototype(convert) encode(UpperTester)"}

		external function fx_enc_UtDenmUpdate (UtDenmUpdate p) return bitstring
		with {extension "prototype(convert) encode(UpperTester)"}

		external function fx_enc_UtDenmTermination (UtDenmTermination p) return bitstring
		with {extension "prototype(convert) encode(UpperTester)"}

		external function fx_dec_UtDenmResults (inout bitstring b, out UtDenmResults p) return integer
		with {extension "prototype(sliding) decode(UpperTester)"}

		external function fx_dec_UtDenmEventInd (inout bitstring b, out UtDenmEventInd p) return integer
		with {extension "prototype(sliding) decode(UpperTester)"}

		} // End of module LibItsDenm_EncdecDeclarations