Skip to content
GitLab
Commit 81a1888e authored by ASN.1 Documenter's avatar ASN.1 Documenter
Browse files

Initial

parent f55fee23
Hide whitespace changes
Inline Side-by-side
.gitmodules 0 → 100644
View file @ 81a1888e
[submodule "lib/asn1"]
path = lib/asn1
url = https://forge.etsi.org/rep/ITS/asn1/cam_en302637_2.git
branch = testing
ItsCam_TestCases.ttcn 0 → 100755
View file @ 81a1888e
/**
* @author ETSI / STF405 / STF449 / STF484 / STF517
* @version $Url: https://oldforge.etsi.org/svn/ITS/tags/20170222_STF527_Final/ttcn/AtsCAM/ItsCam_TestCases.ttcn $
* $Id: ItsCam_TestCases.ttcn 2655 2017-01-26 10:46:08Z filatov $
* @desc Testcases for CA Protocol
* @reference ETSI EN 302 637-2 v1.4.1
* @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_TestCases {
// LibItsCam
import from LibItsCam_TestSystem all;
// Ats Its
import from ItsCam_TpFunctions all;
// 5.2.1
group camMessageDissemination {
group camMessageFormat {
/**
* @desc Check that protocolVersion is set to 2 and messageID is
* set to 2.
* <pre>
* Pics Selection: PICS_CAM_GENERATION
* Initial conditions:
* with {
* the IUT being in the "initial state"
* }
* Expected behaviour:
* ensure that {
* when {
* a CAM is generated
* }
* then {
* the IUT sends a valid CAM
* containing ITS PDU header
* containing protocolVersion
* indicating value 2
* and containing messageID
* indicating value 2
* }
* }
* </pre>
*
* @see ETSI TS 102 868-2 v1.4.3 TP/CAM/MSD/FMT/BV-01
* @reference ETSI EN 302 637-2 v1.4.1, Annex B.1
*/
testcase TC_CAM_MSD_FMT_BV_01() runs on ItsCam system ItsCamSystem {
f_CAM_MSD_FMT_BV_01();
} // end TC_CAM_MSD_FMT_BV_01
/**
* @desc Check that LF container is included in 1st CAM since CA
* basic service activation.
* <pre>
* Pics Selection: PICS_CAM_GENERATION AND NOT PIC_RSU
* Initial conditions:
* with {
* the IUT being in the "initial state"
* and the IUT has not sent any CAM yet
* }
* Expected behaviour:
* ensure that {
* when {
* a CAM is generated
* }
* then {
* the IUT sends a valid CAM
* containing cam
* containing camParameters
* containing lowFrequencyContainer
* }
* }
* </pre>
*
* @see ETSI TS 102 868-2 v1.4.3 TP/CAM/MSD/FMT/BV-02
* @reference ETSI EN 302 637-2 v1.4.1, clause 6.1.3
*/
testcase TC_CAM_MSD_FMT_BV_02() runs on ItsCam system ItsCamSystem {
f_CAM_MSD_FMT_BV_02();
} // end TC_CAM_MSD_FMT_BV_02
/**
* @desc Check that LF container is included if time elapsed since
* the generation of the last CAM with the low frequency
* container generation is equal or larger than 500 ms.
* <pre>
* Pics Selection: PICS_CAM_GENERATION AND NOT PIC_RSU
* Initial conditions:
* with {
* the IUT being in the "initial state"
* and the IUT has sent a CAM
* containing cam
* containing camParameters
* containing lowFrequencyContainer at time TIME_1
* and the IUT has not sent CAM
* containing cam
* containing camParameters
* containing lowFrequencyContainer after TIME_1
* }
* Expected behaviour:
* ensure that {
* when {
* a CAM is generated at time TIME_2 >= (TIME_1 + 500ms)
* }
* then {
* the IUT sends a valid CAM
* containing cam
* containing camParameters
* containing lowFrequencyContainer
* }
* }
* </pre>
*
* @see ETSI TS 102 868-2 v1.4.3 TP/CAM/MSD/FMT/BV-03
* @reference ETSI EN 302 637-2 v1.4.1, clause 6.1.3
*/
testcase TC_CAM_MSD_FMT_BV_03() runs on ItsCam system ItsCamSystem {
f_CAM_MSD_FMT_BV_03();
} // end TC_CAM_MSD_FMT_BV_03
/**
* @desc Check that specialVehicle container is included in 1st CAM
* since CA basic service activation.
* <pre>
* Pics Selection: PICS_CAM_GENERATION AND NOT PIC_RSU AND (PICS_PUBLICTRANS OR PICS_SPECIALTRANS OR PICS_DANGEROUSGOODS OR PICS_ROADWORKS OR PICS_RESCUE OR PICS_EMERGENCY OR PICS_SAFETYCAR)
* Initial conditions:
* with {
* the IUT being in the "initial state"
* and the IUT is configured to advertise itself as a special vehicle
* and the IUT has not sent any CAM yet
* }
* Expected behaviour:
* ensure that {
* when {
* a CAM is generated
* }
* then {
* the IUT sends a valid CAM
* containing cam
* containing camParameters
* containing specialVehicleContainer
* }
* }
* </pre>
*
* @see ETSI TS 102 868-2 v1.4.3 TP/CAM/MSD/FMT/BV-04
* @reference ETSI EN 302 637-2 v1.4.1, clause 6.1.3
*/
testcase TC_CAM_MSD_FMT_BV_04() runs on ItsCam system ItsCamSystem {
f_CAM_MSD_FMT_BV_04();
} // end TC_CAM_MSD_FMT_BV_04
/**
* @desc Check that specialVehicle container is included if time
* elapsed since the generation of the last CAM with the
* special vehicle container generation is equal or larger
* than 500 ms.
* <pre>
* Pics Selection: PICS_CAM_GENERATION AND NOT PIC_RSU AND (PICS_PUBLICTRANS OR PICS_SPECIALTRANS OR PICS_DANGEROUSGOODS OR PICS_ROADWORKS OR PICS_RESCUE OR PICS_EMERGENCY OR PICS_SAFETYCAR)
* Initial conditions:
* with {
* the IUT being in the "initial state"
* and the IUT has sent a CAM
* containing cam
* containing camParameters
* containing specialVehicleContainer at time TIME_1
* and the IUT has not sent CAM
* containing cam
* containing camParameters
* containing specialVehicleContainer after TIME_1
* }
* Expected behaviour:
* ensure that {
* when {
* a CAM is generated at time TIME_2 >= (TIME_1 + 500ms)
* }
* then {
* the IUT sends a valid CAM
* containing cam
* containing camParameters
* containing specialVehicleContainer
* }
* }
* </pre>
*
* @see ETSI TS 102 868-2 v1.4.3 TP/CAM/MSD/FMT/BV-05
* @reference ETSI EN 302 637-2 v1.4.1, clause 6.1.3
*/
testcase TC_CAM_MSD_FMT_BV_05() runs on ItsCam system ItsCamSystem {
f_CAM_MSD_FMT_BV_05();
} // end TC_CAM_MSD_FMT_BV_05
} // end group camMessageFormat
group camInformationAdaptation {
group camInVehicleData {
/**
* @desc Check that latest value of in-vehicle data is included
* in CAM.
* <pre>
* Pics Selection: PICS_CAM_GENERATION AND NOT PICS_RSU
* Initial conditions:
* with {
* the IUT being in the "initial state
* }
* INFO: Curvature value
* FIELD: highFrequencyContainer
* .basicVehicleContainerHighFrequency
* .curvature
* VALUE: measured value
*
* Expected behaviour:
* ensure that {
* when {
* the IUT is alerted about INFO
* }
* then {
* the IUT sends a valid CAM
* containing cam
* containing camParameters
* containing FIELD set to VALUE
* }
* }
* </pre>
*
* @see ETSI TS 102 868-2 v1.4.3 TP/CAM/MSD/INA/BV-01
* @reference ETSI EN 302 637-2 v1.4.1, clause 5.2
*/
testcase TC_CAM_MSD_INA_BV_01_01() runs on ItsCam system ItsCamSystem {
f_CAM_MSD_INA_BV_01_01();
} // end TC_CAM_MSD_INA_BV_01_01
/**
* @desc Check that latest value of in-vehicle data is included
* in CAM.
* <pre>
* Pics Selection: PICS_CAM_GENERATION AND NOT PICS_RSU
* Initial conditions:
* with {
* the IUT being in the "initial state
* }
* INFO: Brake pedal being activated
* FIELD: highFrequencyContainer
* .basicVehicleContainerHighFrequency
* .accelerationControl
* .brakePedalActive
* VALUE: 1
*
* Expected behaviour:
* ensure that {
* when {
* the IUT is alerted about INFO
* }
* then {
* the IUT sends a valid CAM
* containing cam
* containing camParameters
* containing FIELD set to VALUE
* }
* }
* </pre>
*
* @see ETSI TS 102 868-2 v1.4.3 TP/CAM/MSD/INA/BV-01-02
* @reference ETSI EN 302 637-2 v1.4.1, clause 5.2
*/
testcase TC_CAM_MSD_INA_BV_01_02() runs on ItsCam system ItsCamSystem {
f_CAM_MSD_INA_BV_01_02();
} // end TC_CAM_MSD_INA_BV_01_02
/**
* @desc Check that latest value of in-vehicle data is included
* in CAM.
* <pre>
* Pics Selection: PICS_CAM_GENERATION AND NOT PICS_RSU
* Initial conditions:
* with {
* the IUT being in the "initial state
* }
* INFO: Brake pedal being deactivated
* FIELD: highFrequencyContainer
* .basicVehicleContainerHighFrequency
* .accelerationControl
* .brakePedalActive
* VALUE: 0
*
* Expected behaviour:
* ensure that {
* when {
* the IUT is alerted about INFO
* }
* then {
* the IUT sends a valid CAM
* containing cam
* containing camParameters
* containing FIELD set to VALUE
* }
* }
* </pre>
*
* @see ETSI TS 102 868-2 v1.4.3 TP/CAM/MSD/INA/BV-01-03
* @reference ETSI EN 302 637-2 v1.4.1, clause 5.2
*/
testcase TC_CAM_MSD_INA_BV_01_03() runs on ItsCam system ItsCamSystem {
f_CAM_MSD_INA_BV_01_03();
} // end TC_CAM_MSD_INA_BV_01_03
/**
* @desc Check that latest value of in-vehicle data is included
* in CAM.
* <pre>
* Pics Selection: PICS_CAM_GENERATION AND NOT PICS_RSU
* Initial conditions:
* with {
* the IUT being in the "initial state
* }
* INFO: Gas pedal being activated
* FIELD: highFrequencyContainer
* .basicVehicleContainerHighFrequency
* .accelerationControl
* .gasPedalActive
* VALUE: 1
*
* Expected behaviour:
* ensure that {
* when {
* the IUT is alerted about INFO
* }
* then {
* the IUT sends a valid CAM
* containing cam
* containing camParameters
* containing FIELD set to VALUE
* }
* }
* </pre>
*
* @see ETSI TS 102 868-2 v1.4.3 TP/CAM/MSD/INA/BV-01-04
* @reference ETSI EN 302 637-2 v1.4.1, clause 5.2
*/
testcase TC_CAM_MSD_INA_BV_01_04() runs on ItsCam system ItsCamSystem {
f_CAM_MSD_INA_BV_01_04();
} // end TC_CAM_MSD_INA_BV_01_04
/**
* @desc Check that latest value of in-vehicle data is included
* in CAM.
* <pre>
* Pics Selection: PICS_CAM_GENERATION AND NOT PICS_RSU
* Initial conditions:
* with {
* the IUT being in the "initial state
* }
* INFO: Gas pedal being deactivated
* FIELD: highFrequencyContainer
* .basicVehicleContainerHighFrequency
* .accelerationControl
* .gasPedalActive
* VALUE: 0
*
* Expected behaviour:
* ensure that {
* when {
* the IUT is alerted about INFO
* }
* then {
* the IUT sends a valid CAM
* containing cam
* containing camParameters
* containing FIELD set to VALUE
* }
* }
* </pre>
*
* @see ETSI TS 102 868-2 v1.4.3 TP/CAM/MSD/INA/BV-01-05
* @reference ETSI EN 302 637-2 v1.4.1, clause 5.2
*/
testcase TC_CAM_MSD_INA_BV_01_05() runs on ItsCam system ItsCamSystem {
f_CAM_MSD_INA_BV_01_05();
} // end TC_CAM_MSD_INA_BV_01_05
/**
* @desc Check that latest value of in-vehicle data is included
* in CAM.
* <pre>
* Pics Selection: PICS_CAM_GENERATION AND NOT PICS_RSU
* Initial conditions:
* with {
* the IUT being in the "initial state
* }
* INFO: Emergency brake being activated
* FIELD: highFrequencyContainer
* .basicVehicleContainerHighFrequency
* .accelerationControl
* .emergencyBrakeActive
* VALUE: 1
*
* Expected behaviour:
* ensure that {
* when {
* the IUT is alerted about INFO
* }
* then {
* the IUT sends a valid CAM
* containing cam
* containing camParameters
* containing FIELD set to VALUE
* }
* }
* </pre>
*
* @see ETSI TS 102 868-2 v1.4.3 TP/CAM/MSD/INA/BV-01-06
* @reference ETSI EN 302 637-2 v1.4.1, clause 5.2
*/
testcase TC_CAM_MSD_INA_BV_01_06() runs on ItsCam system ItsCamSystem {
f_CAM_MSD_INA_BV_01_06();
} // end TC_CAM_MSD_INA_BV_01_06
/**
* @desc Check that latest value of in-vehicle data is included
* in CAM.
* <pre>
* Pics Selection: PICS_CAM_GENERATION AND NOT PICS_RSU
* Initial conditions:
* with {
* the IUT being in the "initial state
* }
* INFO: Emergency brake being deactivated
* FIELD: highFrequencyContainer
* .basicVehicleContainerHighFrequency
* .accelerationControl
* .emergencyBrakeActive
* VALUE: 0
*
* Expected behaviour:
* ensure that {
* when {
* the IUT is alerted about INFO
* }
* then {
* the IUT sends a valid CAM
* containing cam
* containing camParameters
* containing FIELD set to VALUE
* }
* }
* </pre>
*
* @see ETSI TS 102 868-2 v1.4.3 TP/CAM/MSD/INA/BV-01-07
* @reference ETSI EN 302 637-2 v1.4.1, clause 5.2
*/
testcase TC_CAM_MSD_INA_BV_01_07() runs on ItsCam system ItsCamSystem {
f_CAM_MSD_INA_BV_01_07();
} // end TC_CAM_MSD_INA_BV_01_07
/**
* @desc Check that latest value of in-vehicle data is included
* in CAM.
* <pre>
* Pics Selection: PICS_CAM_GENERATION AND NOT PICS_RSU
* Initial conditions:
* with {
* the IUT being in the "initial state
* }
* INFO: Collision warning being activated
* FIELD: highFrequencyContainer
* .basicVehicleContainerHighFrequency
* .accelerationControl
* .collisionWarningActive
* VALUE: 1
*
* Expected behaviour:
* ensure that {
* when {
* the IUT is alerted about INFO
* }
* then {
* the IUT sends a valid CAM
* containing cam
* containing camParameters
* containing FIELD set to VALUE
* }
* }
* </pre>
*
* @see ETSI TS 102 868-2 v1.4.3 TP/CAM/MSD/INA/BV-01-08
* @reference ETSI EN 302 637-2 v1.4.1, clause 5.2
*/
testcase TC_CAM_MSD_INA_BV_01_08() runs on ItsCam system ItsCamSystem {
f_CAM_MSD_INA_BV_01_08();
} // end TC_CAM_MSD_INA_BV_01_08
/**
* @desc Check that latest value of in-vehicle data is included
* in CAM.
* <pre>
* Pics Selection: PICS_CAM_GENERATION AND NOT PICS_RSU
* Initial conditions:
* with {
* the IUT being in the "initial state
* }
* INFO: Collision warning being deactivated
* FIELD: highFrequencyContainer
* .basicVehicleContainerHighFrequency
* .accelerationControl
* .collisionWarningActive
* VALUE: 0
*
* Expected behaviour:
* ensure that {
* when {
* the IUT is alerted about INFO
* }
* then {
* the IUT sends a valid CAM
* containing cam
* containing camParameters
* containing FIELD set to VALUE
* }
* }
* </pre>
*
* @see ETSI TS 102 868-2 v1.4.3 TP/CAM/MSD/INA/BV-01-09
* @reference ETSI EN 302 637-2 v1.4.1, clause 5.2
*/
testcase TC_CAM_MSD_INA_BV_01_09() runs on ItsCam system ItsCamSystem {
f_CAM_MSD_INA_BV_01_09();
} // end TC_CAM_MSD_INA_BV_01_09
/**
* @desc Check that latest value of in-vehicle data is included
* in CAM.
* <pre>
* Pics Selection: PICS_CAM_GENERATION AND NOT PICS_RSU
* Initial conditions:
* with {
* the IUT being in the "initial state
* }
* INFO: ACC being activated
* FIELD: highFrequencyContainer
* .basicVehicleContainerHighFrequency
* .accelerationControl
* .accActive
* VALUE: 1
*
* Expected behaviour:
* ensure that {
* when {
* the IUT is alerted about INFO
* }
* then {
* the IUT sends a valid CAM
* containing cam
* containing camParameters
* containing FIELD set to VALUE
* }
* }
* </pre>
*
* @see ETSI TS 102 868-2 v1.4.3 TP/CAM/MSD/INA/BV-01-10
* @reference ETSI EN 302 637-2 v1.4.1, clause 5.2
*/
testcase TC_CAM_MSD_INA_BV_01_10() runs on ItsCam system ItsCamSystem {
f_CAM_MSD_INA_BV_01_10();
} // end TC_CAM_MSD_INA_BV_01_10
/**
* @desc Check that latest value of in-vehicle data is included
* in CAM.
* <pre>
* Pics Selection: PICS_CAM_GENERATION AND NOT PICS_RSU
* Initial conditions:
* with {
* the IUT being in the "initial state
* }
* INFO: ACC being deactivated
* FIELD: highFrequencyContainer
* .basicVehicleContainerHighFrequency
* .accelerationControl
* .accActive
* VALUE: 0
*
* Expected behaviour:
* ensure that {
* when {
* the IUT is alerted about INFO
* }
* then {
* the IUT sends a valid CAM
* containing cam
* containing camParameters
* containing FIELD set to VALUE
* }
* }
* </pre>
*
* @see ETSI TS 102 868-2 v1.4.3 TP/CAM/MSD/INA/BV-01-11
* @reference ETSI EN 302 637-2 v1.4.1, clause 5.2