Skip to content
GitLab
Commit 8b379cad authored by garciay's avatar garciay
Browse files

Unify STF525 TTCN-3 code

parent 4e96efa4
Expand all Hide whitespace changes
Inline Side-by-side
scripts/update_its_project.bash
View file @ 8b379cad
......@@ -163,7 +163,7 @@ echo 'Update TTCN-3 files'
TTCN_3_ORG_PATH=${SRC_ITS_PATH}/ttcn
TTCN_3_DST_PATH=${PATH_DEV_ITS}/src
CC_SRC_PATH=${SRC_ITS_PATH}/ccsrc
TTCN_3_ATS_LIST='AtsAutoInterop AtsCAM AtsDENM AtsBTP AtsGeoNetworking AtsSecurity AtsRSUsSimulator LibCommon/ttcn TestCodec AtsGenCert AtsPki'
TTCN_3_ATS_LIST='AtsAutoInterop AtsCAM AtsDENM AtsBTP AtsGeoNetworking AtsSecurity AtsRSUsSimulator LibCommon/ttcn AtsGenCert AtsPki AtsIVIM AtsSremSsem AtsMapemSpatem'
for i in ${TTCN_3_ATS_LIST}
do
if [ ! -d ${TTCN_3_DST_PATH}/$i ]
......@@ -340,11 +340,6 @@ then
cp ${PATH_PATCHES}/run_mtc.bash ${PATH_DEV_ITS}/src/AtsGenCert/bin
cp ${PATH_PATCHES}/run_ptcs.bash ${PATH_DEV_ITS}/src/AtsGenCert/bin
cp ${PATH_PATCHES}/run_all.bash ${PATH_DEV_ITS}/src/AtsGenCert/bin
# Update TestCodec
cp ${PATH_PATCHES}/testcodec_generate_makefile.bash ${PATH_DEV_ITS}/src/TestCodec/bin
cp ${PATH_PATCHES}/run_mtc.bash ${PATH_DEV_ITS}/src/TestCodec/bin
cp ${PATH_PATCHES}/run_ptcs.bash ${PATH_DEV_ITS}/src/TestCodec/bin
cp ${PATH_PATCHES}/run_all.bash ${PATH_DEV_ITS}/src/TestCodec/bin
# Update Pki
cp ${PATH_PATCHES}/pki_generate_makefile.bash ${PATH_DEV_ITS}/src/AtsPki/bin
cp ${PATH_PATCHES}/run_mtc.bash ${PATH_DEV_ITS}/src/AtsPki/bin
......
ttcn/AtsBTP/ItsBtp_TestCases.ttcn
View file @ 8b379cad
This diff is collapsed.
ttcn/AtsBTP/ItsBtp_TestControl.ttcn
View file @ 8b379cad
/**
* @author ETSI / STF405
* @version $URL$
* $Id$
* @desc Test Control file for Basic Transport Protocol
* @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 ItsBtp_TestControl {
// ATS BTP
import from ItsBtp_TestCases {testcase all};
// Test Execution
control {
execute(TC_BTP_PGA_BV_01());
execute(TC_BTP_PGB_BV_01());
execute(TC_BTP_PGB_BV_02());
execute(TC_BTP_PP_BV_01());
execute(TC_BTP_PP_BV_02());
}
} // end ItsBtp_TestControl
/**
* @author ETSI / STF405
* @version $Url: https://oldforge.etsi.org/svn/ITS/tags/20170222_STF527_Final/ttcn/AtsBTP/ItsBtp_TestControl.ttcn $
* $Id: ItsBtp_TestControl.ttcn 2655 2017-01-26 10:46:08Z filatov $
* @desc Test Control file for Basic Transport Protocol
* @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 ItsBtp_TestControl {
// ATS BTP
import from ItsBtp_TestCases {testcase all};
// Test Execution
control {
execute(TC_BTP_PGA_BV_01());
execute(TC_BTP_PGB_BV_01());
execute(TC_BTP_PGB_BV_02());
execute(TC_BTP_PP_BV_01());
execute(TC_BTP_PP_BV_02());
}
} // end ItsBtp_TestControl
ttcn/AtsCAM/ItsCam_TestCases.ttcn
View file @ 8b379cad
This diff is collapsed.
ttcn/AtsCAM/ItsCam_TestControl.ttcn
View file @ 8b379cad
/**
* @author ETSI / STF405 / STF449 / STF484 / STF517
* @version $URL$
* $Id$
* @desc Test Control file for CAM
* @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 ItsCam_TestControl {
// ATS CAM
import from ItsCam_TestCases all;
// LibIts
import from LibItsCam_Pics all;
// Test Execution
control {
if(PICS_CAM_GENERATION) {
execute(TC_CAM_MSD_FMT_BV_01());
if (not PICS_RSU) {
execute(TC_CAM_MSD_FMT_BV_02());
execute(TC_CAM_MSD_FMT_BV_03());
execute(TC_CAM_MSD_FMT_BV_04());
execute(TC_CAM_MSD_FMT_BV_05());
execute(TC_CAM_MSD_INA_BV_01_01());
execute(TC_CAM_MSD_INA_BV_01_02());
execute(TC_CAM_MSD_INA_BV_01_03());
execute(TC_CAM_MSD_INA_BV_01_04());
execute(TC_CAM_MSD_INA_BV_01_05());
execute(TC_CAM_MSD_INA_BV_01_06());
execute(TC_CAM_MSD_INA_BV_01_07());
execute(TC_CAM_MSD_INA_BV_01_08());
execute(TC_CAM_MSD_INA_BV_01_09());
execute(TC_CAM_MSD_INA_BV_01_10());
execute(TC_CAM_MSD_INA_BV_01_11());
execute(TC_CAM_MSD_INA_BV_01_12());
execute(TC_CAM_MSD_INA_BV_01_13());
execute(TC_CAM_MSD_INA_BV_01_14());
execute(TC_CAM_MSD_INA_BV_01_15());
execute(TC_CAM_MSD_INA_BV_01_16());
execute(TC_CAM_MSD_INA_BV_01_17());
execute(TC_CAM_MSD_INA_BV_01_18());
execute(TC_CAM_MSD_INA_BV_01_19());
execute(TC_CAM_MSD_INA_BV_01_20());
execute(TC_CAM_MSD_INA_BV_01_21());
execute(TC_CAM_MSD_INA_BV_01_22());
execute(TC_CAM_MSD_INA_BV_01_23());
execute(TC_CAM_MSD_INA_BV_01_24());
execute(TC_CAM_MSD_INA_BV_01_25());
execute(TC_CAM_MSD_INA_BV_01_26());
execute(TC_CAM_MSD_INA_BV_01_27());
execute(TC_CAM_MSD_INA_BV_01_28());
execute(TC_CAM_MSD_INA_BV_01_29());
execute(TC_CAM_MSD_INA_BV_01_30());
execute(TC_CAM_MSD_INA_BV_01_31());
execute(TC_CAM_MSD_INA_BV_01_32());
execute(TC_CAM_MSD_INA_BV_01_33());
execute(TC_CAM_MSD_INA_BV_01_34());
execute(TC_CAM_MSD_INA_BV_01_35());
}
if (PICS_PUBLICTRANS) {
execute(TC_CAM_MSD_INA_BV_02());
}
if (PICS_SPECIALTRANS) {
execute(TC_CAM_MSD_INA_BV_03());
}
if (PICS_DANGEROUSGOODS) {
execute(TC_CAM_MSD_INA_BV_04());
}
if (PICS_ROADWORKS) {
execute(TC_CAM_MSD_INA_BV_05());
}
if (PICS_RESCUE) {
execute(TC_CAM_MSD_INA_BV_06());
}
if (PICS_EMERGENCY) {
execute(TC_CAM_MSD_INA_BV_07());
}
if (PICS_SAFETY_CAR) {
execute(TC_CAM_MSD_INA_BV_08());
}
execute(TC_CAM_MSD_GFQ_TI_01());
execute(TC_CAM_MSD_GFQ_TI_02());
execute(TC_CAM_MSD_GFQ_TI_03());
execute(TC_CAM_MSD_GFQ_BV_04());
execute(TC_CAM_MSD_GFQ_BV_05());
execute(TC_CAM_MSD_GFQ_BV_06());
execute(TC_CAM_MSD_GFQ_TI_07());
execute(TC_CAM_MSD_GFQ_TI_08());
execute(TC_CAM_MSD_PAR_BV_01());
execute(TC_CAM_MSD_PAR_BV_02());
execute(TC_CAM_MSD_PAR_BV_03());
if (PICS_IS_IUT_SECURED) {
if (PICS_PUBLICTRANS and PICS_SPECIALVEHICLECONTAINER) {
execute(TC_CAM_MSD_SSP_BO_02());
}
if (PICS_SPECIALTRANS and PICS_SPECIALVEHICLECONTAINER) {
execute(TC_CAM_MSD_SSP_BO_03());
}
}
}
if(PICS_CAM_RECEPTION) {
execute(TC_CAM_MSP_BV_01());
if (PICS_IS_IUT_SECURED) {
execute(TC_CAM_MSP_SSP_BV_02());
execute(TC_CAM_MSP_SSP_BV_03());
}
}
}
/**
* @author ETSI / STF405 / STF449 / STF484 / STF517
* @version $Url: https://oldforge.etsi.org/svn/ITS/tags/20170222_STF527_Final/ttcn/AtsCAM/ItsCam_TestControl.ttcn $
* $Id: ItsCam_TestControl.ttcn 2655 2017-01-26 10:46:08Z filatov $
* @desc Test Control file for CAM
* @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 ItsCam_TestControl {
// ATS CAM
import from ItsCam_TestCases all;
// LibIts
import from LibItsCam_Pics all;
// Test Execution
control {
if(PICS_CAM_GENERATION) {
execute(TC_CAM_MSD_FMT_BV_01());
if (not PICS_RSU) {
execute(TC_CAM_MSD_FMT_BV_02());
execute(TC_CAM_MSD_FMT_BV_03());
execute(TC_CAM_MSD_FMT_BV_04());
execute(TC_CAM_MSD_FMT_BV_05());
execute(TC_CAM_MSD_INA_BV_01_01());
execute(TC_CAM_MSD_INA_BV_01_02());
execute(TC_CAM_MSD_INA_BV_01_03());
execute(TC_CAM_MSD_INA_BV_01_04());
execute(TC_CAM_MSD_INA_BV_01_05());
execute(TC_CAM_MSD_INA_BV_01_06());
execute(TC_CAM_MSD_INA_BV_01_07());
execute(TC_CAM_MSD_INA_BV_01_08());
execute(TC_CAM_MSD_INA_BV_01_09());
execute(TC_CAM_MSD_INA_BV_01_10());
execute(TC_CAM_MSD_INA_BV_01_11());
execute(TC_CAM_MSD_INA_BV_01_12());
execute(TC_CAM_MSD_INA_BV_01_13());
execute(TC_CAM_MSD_INA_BV_01_14());
execute(TC_CAM_MSD_INA_BV_01_15());
execute(TC_CAM_MSD_INA_BV_01_16());
execute(TC_CAM_MSD_INA_BV_01_17());
execute(TC_CAM_MSD_INA_BV_01_18());
execute(TC_CAM_MSD_INA_BV_01_19());
execute(TC_CAM_MSD_INA_BV_01_20());
execute(TC_CAM_MSD_INA_BV_01_21());
execute(TC_CAM_MSD_INA_BV_01_22());
execute(TC_CAM_MSD_INA_BV_01_23());
execute(TC_CAM_MSD_INA_BV_01_24());
execute(TC_CAM_MSD_INA_BV_01_25());
execute(TC_CAM_MSD_INA_BV_01_26());
execute(TC_CAM_MSD_INA_BV_01_27());
execute(TC_CAM_MSD_INA_BV_01_28());
execute(TC_CAM_MSD_INA_BV_01_29());
execute(TC_CAM_MSD_INA_BV_01_30());
execute(TC_CAM_MSD_INA_BV_01_31());
execute(TC_CAM_MSD_INA_BV_01_32());
execute(TC_CAM_MSD_INA_BV_01_33());
execute(TC_CAM_MSD_INA_BV_01_34());
execute(TC_CAM_MSD_INA_BV_01_35());
}
if (PICS_PUBLICTRANS) {
execute(TC_CAM_MSD_INA_BV_02());
}
if (PICS_SPECIALTRANS) {
execute(TC_CAM_MSD_INA_BV_03());
}
if (PICS_DANGEROUSGOODS) {
execute(TC_CAM_MSD_INA_BV_04());
}
if (PICS_ROADWORKS) {
execute(TC_CAM_MSD_INA_BV_05());
}
if (PICS_RESCUE) {
execute(TC_CAM_MSD_INA_BV_06());
}
if (PICS_EMERGENCY) {
execute(TC_CAM_MSD_INA_BV_07());
}
if (PICS_SAFETY_CAR) {
execute(TC_CAM_MSD_INA_BV_08());
}
execute(TC_CAM_MSD_GFQ_TI_01());
execute(TC_CAM_MSD_GFQ_TI_02());
execute(TC_CAM_MSD_GFQ_TI_03());
execute(TC_CAM_MSD_GFQ_BV_04());
execute(TC_CAM_MSD_GFQ_BV_05());
execute(TC_CAM_MSD_GFQ_BV_06());
execute(TC_CAM_MSD_GFQ_TI_07());
execute(TC_CAM_MSD_GFQ_TI_08());
execute(TC_CAM_MSD_PAR_BV_01());
execute(TC_CAM_MSD_PAR_BV_02());
execute(TC_CAM_MSD_PAR_BV_03());
if (PICS_IS_IUT_SECURED) {
if (PICS_PUBLICTRANS and PICS_SPECIALVEHICLECONTAINER) {
execute(TC_CAM_MSD_SSP_BO_02());
}
if (PICS_SPECIALTRANS and PICS_SPECIALVEHICLECONTAINER) {
execute(TC_CAM_MSD_SSP_BO_03());
}
}
}
if(PICS_CAM_RECEPTION) {
execute(TC_CAM_MSP_BV_01());
if (PICS_IS_IUT_SECURED) {
execute(TC_CAM_MSP_SSP_BV_02());
execute(TC_CAM_MSP_SSP_BV_03());
}
}
}
} // end ItsCam_TestControl
\ No newline at end of file
ttcn/AtsCAM/ItsCam_TpFunctions.ttcn
View file @ 8b379cad
This diff is collapsed.
ttcn/AtsDENM/ItsDenm_TestCases.ttcn
View file @ 8b379cad
This diff is collapsed.
ttcn/AtsDENM/ItsDenm_TestControl.ttcn
View file @ 8b379cad
/**
* @author ETSI / STF449 / STF484 / STF517
* @version $URL$
* $Id$
* @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());
}
}
/**
* @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
ttcn/AtsDENM/ItsDenm_TpFunctions.ttcn
View file @ 8b379cad
This diff is collapsed.
ttcn/AtsSecurity/ItsSecurity_Functions.ttcn
View file @ 8b379cad
This diff is collapsed.
ttcn/AtsSecurity/ItsSecurity_Pics.ttcn
View file @ 8b379cad
/**
* @author ETSI / STF481 / STF507 / STF517 / STF538
* @version $URL$
* $Id$
* @desc Module containing Pics for Security ATS
* @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 ItsSecurity_Pics {
// LibIts
import from IEEE1609dot2BaseTypes language "ASN.1:1997" all;
import from IEEE1609dot2 language "ASN.1:1997" all;
import from EtsiTs103097Module language "ASN.1:1997" all;
// LibItsSecurity
import from LibItsSecurity_TypesAndValues all;
// TODO To be removed
type record certificates_foi {
charstring certificate_id,
HashAlgorithm hashAlgorithm,
HashedId8 issuer,
HashedId8 hashedId8,
GeographicRegion region optional
} // End of type certificates_foi