Commit 258ac115 authored by garciay's avatar garciay

PICS & TSS&TPs review

parent 615bb745
......@@ -26,7 +26,7 @@ module ItsDenm_TestCases {
/**
* @desc Check that protocolVersion is set to 1 and messageID is set to 1
* <pre>
* PICS Selection: none
* PICS Selection: PICS_DENM_GENERATION
* Initial conditions:
* with {
* the IUT being in the "initial state"
......@@ -59,7 +59,7 @@ module ItsDenm_TestCases {
/**
* @desc Check that sent DENM contains at least one 'trace' DE
* <pre>
* PICS Selection: none
* PICS Selection: PICS_DENM_GENERATION
* Initial conditions:
* with {
* the IUT being in the "initial state"
......@@ -94,7 +94,7 @@ module ItsDenm_TestCases {
/**
* @desc Check that DEN Basic Service generates a new DENM on reception of a valid AppDENM_Trigger request
* <pre>
* PICS Selection: none
* PICS Selection: PICS_DENM_GENERATION
* Initial conditions:
* with {
* the IUT being in the "initial state"
......@@ -122,7 +122,7 @@ module ItsDenm_TestCases {
/**
* @desc Check that a new ActionID value is assigned for each newly generated DENM
* <pre>
* PICS Selection: none
* PICS Selection: PICS_DENM_GENERATION
* Initial conditions:
* with {
* the IUT being in the "initial state"
......@@ -154,7 +154,7 @@ module ItsDenm_TestCases {
/**
* @desc Check that a newly created ActionID contains the StationID of the originating ITS-S that detected the event
* <pre>
* PICS Selection: none
* PICS Selection: PICS_DENM_GENERATION
* Initial conditions:
* with {
* the IUT being in the "initial state"
......@@ -186,7 +186,7 @@ module ItsDenm_TestCases {
/**
* @desc Check that Cause and subcause values included in DENM as provided by application
* <pre>
* PICS Selection: none
* PICS Selection: PICS_DENM_GENERATION
* Initial conditions:
* with {
* the IUT being in the "initial state"
......@@ -226,7 +226,7 @@ module ItsDenm_TestCases {
/**
* @desc Check that referenceTime is set to the current time when generating a DENM for a new event
* <pre>
* PICS Selection: none
* PICS Selection: PICS_DENM_GENERATION
* Initial conditions:
* with {
* the IUT being in the "initial state"
......@@ -258,7 +258,7 @@ module ItsDenm_TestCases {
/**
* @desc Check that sequenceNumber is set to a next unused value each time an event is detected
* <pre>
* PICS Selection: none
* PICS Selection: PICS_DENM_GENERATION
* Initial conditions:
* with {
* the IUT being in the "initial state"
......@@ -297,7 +297,7 @@ module ItsDenm_TestCases {
/**
* @desc Check that actionID are generated using newly assigned stationID when a pseudonym change occurs
* <pre>
* PICS Selection: none
* PICS Selection: PICS_DENM_GENERATION
* Initial conditions:
* with {
* the IUT being in the "initial state"
......@@ -340,7 +340,7 @@ module ItsDenm_TestCases {
/**
* @desc Check that DEN Basic Service generates an update DENM on reception of a valid AppDENM_update request
* <pre>
* PICS Selection: none
* PICS Selection: PICS_DENM_UPDATE
* Initial conditions:
* with {
* the IUT being in the "initial state"
......@@ -369,7 +369,7 @@ module ItsDenm_TestCases {
/**
* @desc Check that the actionID is not changed by DENM update, as long as the stationID of the originating ITS-S remains unchanged
* <pre>
* PICS Selection: none
* PICS Selection: PICS_DENM_UPDATE
* Initial conditions:
* with {
* the IUT being in the "initial state"
......@@ -405,7 +405,7 @@ module ItsDenm_TestCases {
/**
* @desc Check that referenceTime is set to the current time when generating a DENM for an updated eventCheck
* <pre>
* PICS Selection: none
* PICS Selection: PICS_DENM_UPDATE
* Initial conditions:
* with {
* the IUT being in the "initial state"
......@@ -444,7 +444,7 @@ module ItsDenm_TestCases {
/**
* @desc Check that DEN Basic Service does not send any update DENM if actionID is not in originating ITS-S message table
* <pre>
* PICS Selection: none
* PICS Selection: PICS_DENM_UPDATE
* Initial conditions:
* with {
* the IUT being in the "initial state"
......@@ -484,7 +484,7 @@ module ItsDenm_TestCases {
* @desc Check that DEN Basic Service generates a cancellation DENM when application indicates the
* premature termination of an event for which it is the originator
* <pre>
* PICS Selection: none
* PICS Selection: PICS_DENM_CANCELLATION
* Initial conditions:
* with {
* the IUT being in the "initial state"
......@@ -524,7 +524,7 @@ module ItsDenm_TestCases {
* @desc Check that DEN Basic Service generates a negation DENM when application indicates the
* premature termination of an event for which it is not the originator
* <pre>
* PICS Selection: none
* PICS Selection: PICS_DENM_NEGATION
* Initial conditions:
* with {
* the IUT being in the "initial state"
......@@ -563,7 +563,7 @@ module ItsDenm_TestCases {
/**
* @desc Check that referenceTime is set to the latest value received for this event in negation DENM
* <pre>
* PICS Selection: none
* PICS Selection: PICS_DENM_NEGATION
* Initial conditions:
* with {
* the IUT being in the "initial state"
......@@ -611,7 +611,7 @@ module ItsDenm_TestCases {
/**
* @desc Check that situation container, location container and alacarte container are not present in a cancellation DENM
* <pre>
* PICS Selection: none
* PICS Selection: PICS_DENM_CANCELLATION
* Initial conditions:
* with {
* the IUT being in the "initial state"
......@@ -651,7 +651,7 @@ module ItsDenm_TestCases {
/**
* @desc Check that situation container, location container and alacarte container are not present in a negation DENM
* <pre>
* PICS Selection: none
* PICS Selection: PICS_DENM_NEGATION
* Initial conditions:
* with {
* the IUT being in the "initial state"
......@@ -694,7 +694,7 @@ module ItsDenm_TestCases {
* @desc Check that DEN Basic Service does not send any termination DENM if actionID is not in
* originating ITS-S message table or receiving ITS-S message table (own stationID)
* <pre>
* PICS Selection: none
* PICS Selection: PICS_DENM_NEGATION OR PICS_DENM_CANCELLATION
* Initial conditions:
* with {
* the IUT being in the "initial state"
......@@ -735,7 +735,7 @@ module ItsDenm_TestCases {
* @desc Check that DEN Basic Service does not send any termination DENM if actionID is not in
* originating ITS-S message table or receiving ITS-S message table (other stationID)
* <pre>
* PICS Selection: none
* PICS Selection: PICS_DENM_CANCELLATION
* Initial conditions:
* with {
* the IUT being in the "initial state"
......@@ -775,7 +775,7 @@ module ItsDenm_TestCases {
/**
* @desc Check that referenceTime is set to to the current time when generating a cancellation DENM
* <pre>
* PICS Selection: none
* PICS Selection: PICS_DENM_CANCELLATION
* Initial conditions:
* with {
* the IUT being in the "initial state"
......@@ -823,7 +823,7 @@ module ItsDenm_TestCases {
/**
* @desc Check that DEN Basic Sercive repeats DENM transmission according to repetitionInterval parameter provided by application
* <pre>
* PICS Selection: none
* PICS Selection: PICS_DENM_REPETITION
* Initial conditions:
* with {
* the IUT being in the "initial state"
......@@ -866,7 +866,7 @@ module ItsDenm_TestCases {
/**
* @desc Check that the repeated DENM is always the most up-to-date message
* <pre>
* PICS Selection: none
* PICS Selection: PICS_DENM_REPETITION
* Initial conditions:
* with {
* the IUT being in the "initial state"
......@@ -907,7 +907,7 @@ module ItsDenm_TestCases {
* @desc Check that DEN Basic Service stops retransmitting DENM after event’s validityDuration
* expiration
* <pre>
* PICS Selection: none
* PICS Selection: PICS_DENM_REPETITION
* Initial conditions:
* with {
* the IUT being in the "initial state"
......@@ -950,7 +950,7 @@ module ItsDenm_TestCases {
* @desc Check that DEN Basic Service stops retransmitting DENM after event’s repetitionDuration
* expiration
* <pre>
* PICS Selection: none
* PICS Selection: PICS_DENM_REPETITION
* Initial conditions:
* with {
* the IUT being in the "initial state"
......@@ -993,7 +993,7 @@ module ItsDenm_TestCases {
* @desc Check that DEN Basic Service does not repeat transmission of DENM if repetitionInterval is
* not provided by application
* <pre>
* PICS Selection: none
* PICS Selection: PICS_DENM_REPETITION
* Initial conditions:
* with {
* the IUT being in the "initial state"
......@@ -1028,7 +1028,7 @@ module ItsDenm_TestCases {
* @desc Check that DEN Basic Service does not repeat transmission of DENM if repetitionDuration is
* not provided by application
* <pre>
* PICS Selection: none
* PICS Selection: PICS_DENM_REPETITION
* Initial conditions:
* with {
* the IUT being in the "initial state"
......@@ -1063,7 +1063,7 @@ module ItsDenm_TestCases {
* @desc Check that existing actionID in originating ITS-S are updated when stationID is modified
*
* <pre>
* PICS Selection: none
* PICS Selection: PICS_DENM_REPETITION
* Initial conditions:
* with {
* the IUT being in the "initial state"
......@@ -1111,7 +1111,7 @@ module ItsDenm_TestCases {
* @desc Check that actionID is not modified in repetitions of DENM if stationID is not modified
*
* <pre>
* PICS Selection: none
* PICS Selection: PICS_DENM_REPETITION
* Initial conditions:
* with {
* the IUT being in the "initial state"
......@@ -1157,7 +1157,7 @@ module ItsDenm_TestCases {
* @desc Check that actionID is not modified in repetitions of DENM if stationID is not modified
*
* <pre>
* PICS Selection: none
* PICS Selection: PICS_DENM_REPETITION
* Initial conditions:
* with {
* the IUT being in the "initial state"
......@@ -1207,7 +1207,7 @@ module ItsDenm_TestCases {
* when validityDuration was not provided
*
* <pre>
* PICS Selection: none
* PICS Selection: PICS_DENM_REPETITION
* Initial conditions:
* with {
* the IUT being in the "initial state"
......@@ -1313,7 +1313,7 @@ module ItsDenm_TestCases {
* @desc Check that IUT does not send a DENM if it is not permitted by signing certificate
*
* <pre>
* PICS Selection: PICS_DENM_GENERATION AND PICS_SECURITY
* PICS Selection: PICS_DENM_GENERATION AND PICS_IS_IUT_SECURED
* Initial conditions:
* with {
* the IUT being in the "initial state"
......@@ -1339,17 +1339,17 @@ module ItsDenm_TestCases {
* @see ETSI 102 869-2 v1.5.1 TP/DEN/SSP/BV-01
* @reference ETSI EN 302 637-3, clause 8.4.2
*/
testcase TC_DEN_SSP_BV_01() runs on ItsDenm system ItsDenmSystem {
testcase TC_DEN_SSP_BV_01_01() runs on ItsDenm system ItsDenmSystem {
f_DEN_SSP_BV_01();
f_DEN_SSP_BV_01_01();
} // end TC_DEN_SSP_BV_01
} // end TC_DEN_SSP_BV_01_01
/**
* @desc Check that IUT does not send a DENM if it is not permitted by signing certificate
*
* <pre>
* PICS Selection: PICS_DENM_GENERATION AND PICS_SECURITY
* PICS Selection: PICS_DENM_GENERATION AND PICS_IS_IUT_SECURED
* Initial conditions:
* with {
* the IUT being in the "initial state"
......@@ -1375,11 +1375,11 @@ module ItsDenm_TestCases {
* @see ETSI 102 869-2 v1.5.1 TP/DEN/SSP/BV-01
* @reference ETSI EN 302 637-3, clause 8.4.2
*/
testcase TC_DEN_SSP_BV_02() runs on ItsDenm system ItsDenmSystem {
testcase TC_DEN_SSP_BV_01_02() runs on ItsDenm system ItsDenmSystem {
f_DEN_SSP_BV_02();
f_DEN_SSP_BV_01_02();
} // end TC_DEN_SSP_BV_02
} // end TC_DEN_SSP_BV_01_02
}
} // end denMessageTransmission
......@@ -1390,7 +1390,7 @@ module ItsDenm_TestCases {
* @desc Check that receiving ITS-S transmits DENM to application if it concerns an unknown ActionID and if it is not a termination DENM
*
* <pre>
* PICS Selection: none
* PICS Selection: PICS_DENM_RECEPTION
* Initial conditions:
* with {
* the IUT being in the "initial state"
......@@ -1426,7 +1426,7 @@ module ItsDenm_TestCases {
* @desc Check that receiving ITS-S transmits DENM to application if it concerns a known ActionID
* and referenceTime is greater than highest value received for this ActionID
* <pre>
* PICS Selection: none
* PICS Selection: PICS_DENM_RECEPTION
* Initial conditions:
* with {
* the IUT being in the "initial state"
......@@ -1466,7 +1466,7 @@ module ItsDenm_TestCases {
/**
* @desc Check that receiving ITS-S discards termination DENM if it concerns an unknown ActionID (own actionID)
* <pre>
* PICS Selection: none
* PICS Selection: PICS_DENM_RECEPTION
* Initial conditions:
* with {
* the IUT being in the "initial state"
......@@ -1501,7 +1501,7 @@ module ItsDenm_TestCases {
/**
* @desc Check that receiving ITS-S discards termination DENM if it concerns an unknown ActionID (other actionID)
* <pre>
* PICS Selection: none
* PICS Selection: PICS_DENM_RECEPTION
* Initial conditions:
* with {
* and the IUT having received several events
......@@ -1535,7 +1535,7 @@ module ItsDenm_TestCases {
/**
* @desc Check that receiving ITS-S discards DENM if referenceTime is lower than highest value received for this ActionID
* <pre>
* PICS Selection: none
* PICS Selection: PICS_DENM_RECEPTION
* Initial conditions:
* with {
* the IUT being in the "initial state"
......@@ -1576,7 +1576,7 @@ module ItsDenm_TestCases {
* @desc Check that receiving ITS-S discards DENM if detectionTime is smaller than highest value received for this ActionID
*
* <pre>
* PICS Selection: none
* PICS Selection: PICS_DENM_RECEPTION
* Initial conditions:
* with {
* the IUT being in the "initial state"
......@@ -1621,7 +1621,7 @@ module ItsDenm_TestCases {
* @desc Check that receiving ITS-S transmits DENM to application if it concerns a known ActionID and referenceTime
* is equal to highest received value and detectionTime is more recent
* <pre>
* PICS Selection: none
* PICS Selection: PICS_DENM_RECEPTION
* Initial conditions:
* with {
* the IUT being in the "initial state"
......@@ -1668,7 +1668,7 @@ module ItsDenm_TestCases {
* if SSP value of the signing certificate is not consistent with the causeCode
*
* <pre>
* PICS Selection: none
* PICS Selection: PICS_DENM_RECEPTION AND PICS_IS_IUT_SECURED
* Initial conditions:
* with {
* the IUT being in the "initial state"
......@@ -1708,7 +1708,7 @@ module ItsDenm_TestCases {
* if SSP value of the signing certificate is not consistent with the causeCode
*
* <pre>
* PICS Selection: none
* PICS Selection: PICS_DENM_RECEPTION AND PICS_IS_IUT_SECURED
* Initial conditions:
* with {
* the IUT being in the "initial state"
......@@ -1747,7 +1747,7 @@ module ItsDenm_TestCases {
* if SSP value of the signing certificate is not consistent with the causeCode
*
* <pre>
* PICS Selection: none
* PICS Selection: PICS_DENM_RECEPTION AND PICS_IS_IUT_SECURED
* Initial conditions:
* with {
* the IUT being in the "initial state"
......@@ -1803,7 +1803,7 @@ module ItsDenm_TestCases {
* if SSP value of the signing certificate is not consistent with the causeCode
*
* <pre>
* PICS Selection: none
* PICS Selection: PICS_DENM_RECEPTION AND PICS_IS_IUT_SECURED
* Initial conditions:
* with {
* the IUT being in the "initial state"
......@@ -1861,7 +1861,7 @@ module ItsDenm_TestCases {
* @desc Check that receiving ITS-S replies to requestResponseIndication
*
* <pre>
* PICS Selection: none
* PICS Selection: PICS_DENM_RECEPTION
* Initial conditions:
* with {
* the IUT being in the "initial state"
......@@ -1909,7 +1909,7 @@ module ItsDenm_TestCases {
/**
* @desc Check that forwarding ITS-S forwards DENM if no DENM with same ActionId has been received during forwarding delay
* <pre>
* PICS Selection: PICS_KAF
* PICS Selection: PICS_DENM_KAF
* Initial conditions:
* with {
* the IUT being in the "initial state"
......@@ -1949,7 +1949,7 @@ module ItsDenm_TestCases {
* @desc Check that forwarding ITS-S forwards DENM if no DENM with same ActionId and referenceTime greater
* or equal to the last received DENM has been received during forwarding delay
* <pre>
* PICS Selection: PICS_KAF
* PICS Selection: PICS_DENM_KAF
* Initial conditions:
* with {
* the IUT being in the "initial state"
......@@ -1997,7 +1997,7 @@ module ItsDenm_TestCases {
/**
* @desc Check that forwarding delay is set to min(2*transmissionInterval + rnd(0, 150ms), validityDuration)
* <pre>
* PICS Selection: PICS_KAF
* PICS Selection: PICS_DENM_KAF
* Initial conditions:
* with {
* the IUT being in the "initial state"
......@@ -2033,7 +2033,7 @@ module ItsDenm_TestCases {
/**
* @desc Check that Forwarding ITS-S replaces the ITS PDU header of forwarded DENMs
* <pre>
* PICS Selection: PICS_KAF
* PICS Selection: PICS_DENM_KAF
* Initial conditions:
* with {
* the IUT being in the "initial state"
......@@ -2075,7 +2075,7 @@ module ItsDenm_TestCases {
/**
* @desc Check that forwarding ITS-S does not change actionID
* <pre>
* PICS Selection: PICS_KAF
* PICS Selection: PICS_DENM_KAF
* Initial conditions:
* with {
* the IUT being in the "initial state"
......@@ -2116,7 +2116,7 @@ module ItsDenm_TestCases {
/**
* @desc Check that forwarding ITS-S does not change referenceTime
* <pre>
* PICS Selection: PICS_KAF
* PICS Selection: PICS_DENM_KAF
* Initial conditions:
* with {
* the IUT being in the "initial state"
......@@ -2160,7 +2160,7 @@ module ItsDenm_TestCases {
/**
* @desc Check that forwarding ITS-S does not change termination
* <pre>
* PICS Selection: PICS_KAF
* PICS Selection: PICS_DENM_KAF
* Initial conditions:
* with {
* the IUT being in the "initial state"
......@@ -2205,7 +2205,7 @@ module ItsDenm_TestCases {
* @desc Check that Forwarding ITS-S does not modify management, situation, location and alacarte containers
* when forwarding a DENM
* <pre>
* PICS Selection: PICS_KAF
* PICS Selection: PICS_DENM_KAF
* Initial conditions:
* with {
* the IUT being in the "initial state"
......@@ -2256,7 +2256,7 @@ module ItsDenm_TestCases {
/**
* @desc Check that forwarding ITS-S stops forwarding DENM after validity expiration
* <pre>
* PICS Selection: PICS_KAF
* PICS Selection: PICS_DENM_KAF
* Initial conditions:
* with {
* the IUT being in the "initial state"
......@@ -2296,7 +2296,7 @@ module ItsDenm_TestCases {
/**
* @desc Check that forwarding ITS-S stops forwarding DENM if it is outside relevance area
* <pre>
* PICS Selection: PICS_KAF
* PICS Selection: PICS_DENM_KAF
* Initial conditions:
* with {
* the IUT being in the "initial state"
......@@ -2334,7 +2334,7 @@ module ItsDenm_TestCases {
/**
* @desc Check that forwarding ITS-S does not forward DENM is transmissionInterval is not present
* <pre>
* PICS Selection: PICS_KAF
* PICS Selection: PICS_DENM_KAF
* Initial conditions:
* with {
* the IUT being in the "initial state"
......
......@@ -73,11 +73,10 @@ module ItsDenm_TestControl {
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());
execute(TC_DEN_SSP_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) {
......
......@@ -2388,7 +2388,7 @@ module ItsDenm_TpFunctions {
} // end TC_DEN_SSP_BV_XX
function f_DEN_SSP_BV_01( ) runs on ItsDenm {
function f_DEN_SSP_BV_01_01( ) runs on ItsDenm {
f_DEN_SSP_BV_XX (
PX_CERT_IUT_DENM_01,
m_situation(CauseCodeType_trafficCondition_, TrafficConditionSubCauseCode_unavailable_),
......@@ -2396,7 +2396,7 @@ module ItsDenm_TpFunctions {
);
}
function f_DEN_SSP_BV_02( ) runs on ItsDenm {
function f_DEN_SSP_BV_01_02( ) runs on ItsDenm {
f_DEN_SSP_BV_XX (
PX_CERT_IUT_DENM_02,
m_situation(CauseCodeType_accident_, AccidentSubCauseCode_unavailable_),
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment