Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in
Toggle navigation
Menu
Open sidebar
ITS - Intelligent Transport Systems
ITS
Commits
5b8db9db
Commit
5b8db9db
authored
Dec 14, 2016
by
garciay
Browse files
Remove PICS_RSU
IS PICS reviews Remove some TODOs
parent
2a71543e
Changes
11
Expand all
Hide whitespace changes
Inline
Side-by-side
ttcn/AtsCAM/ItsCam_TpFunctions.ttcn
View file @
5b8db9db
...
...
@@ -431,7 +431,6 @@ module ItsCam_TpFunctions {
/**
* @desc TP Function for TC_CAM_MSD_INA_BV_01_01
*/
// TODO yann/ifsttar: why 3601? 0 and 3600 indicates the north!!!!
function
f_CAM_MSD_INA_BV_01_01
()
runs
on
ItsCam
{
// Local variables
...
...
@@ -476,10 +475,10 @@ module ItsCam_TpFunctions {
//change again the curvature value and set the expectation to the measured value
if
(
v_camInd
.
msgIn
.
cam
.
camParameters
.
highFrequencyContainer
.
basicVehicleContainerHighFrequency
.
curvature
.
curvatureValue
>=
0
)
{
v_curVal
:=
(
v_camInd
.
msgIn
.
cam
.
camParameters
.
highFrequencyContainer
.
basicVehicleContainerHighFrequency
.
curvature
.
curvatureValue
+
c_curValOffset
)
mod
30001
;
}
else
{
// TODO Add negative value case
}
else
{
v_curVal
:=
v_camInd
.
msgIn
.
cam
.
camParameters
.
highFrequencyContainer
.
basicVehicleContainerHighFrequency
.
curvature
.
curvatureValue
-
c_curValOffset
;
if
(
valueof
(
v_curVal
)
<
-
30000
)
{
v_curVal
:=
0
;
// yann/ifsttar TODO It's not a true negative modulus operation
v_curVal
:=
0
;
}
}
f_utTriggerEvent
(
m_changeCurvature
(
c_curValOffset
));
...
...
ttcn/AtsIVIM/ItsIvim_TestCases.ttcn
View file @
5b8db9db
...
...
@@ -586,7 +586,7 @@ module ItsIvim_TestCases {
/**
* @desc Check that IVIMs are not generated more frequently than T_GenIvimMin
* <pre>
* Pics Selection: PICS_IVIM_GENERATION
* Pics Selection:
PICS_T_GENIVIMMIN and
PICS_IVIM_GENERATION
* Initial conditions:
* with {
* the IUT being in the "initial state"
...
...
@@ -615,7 +615,7 @@ module ItsIvim_TestCases {
/**
* @desc Check that IVIMs are not generated less frequently than T_GenIvimMax
* <pre>
* Pics Selection: PICS_IVIM_GENERATION
* Pics Selection:
PICS_T_GENIVIMMAX and
PICS_IVIM_GENERATION
* Initial conditions:
* with {
* the IUT being in the "initial state"
...
...
ttcn/AtsIVIM/ItsIvim_TestControl.ttcn
View file @
5b8db9db
...
...
@@ -22,15 +22,19 @@ module ItsIvim_TestControl {
if
(
PICS_IVIM_GENERATION
)
{
execute
(
TC_IS_IVI_MSGF_BV_01
());
execute
(
TC_IS_IVI_EVGN_BV_01
());
execute
(
TC_IS_IVI_EVGN_BV_02
());
execute
(
TC_IS_IVI_EVGN_BV_03
());
execute
(
TC_IS_IVI_EVGN_BV_04
());
execute
(
TC_IS_IVI_EVGN_BV_05
());
execute
(
TC_IS_IVI_EVTR_BV_01
());
execute
(
TC_IS_IVI_EVTR_BV_01
());
execute
(
TC_IS_IVI_EVTR_BV_02
());
execute
(
TC_IS_IVI_GFQ_TI_01
());
execute
(
TC_IS_IVI_GFQ_TI_02
());
execute
(
TC_IS_IVI_COMM_BV_01_01
());
execute
(
TC_IS_IVI_COMM_BV_01_02
());
execute
(
TC_IS_IVI_COMM_BV_02
());
...
...
ttcn/AtsMapemSpatem/ItsMapemSpatem_TestControl.ttcn
View file @
5b8db9db
...
...
@@ -37,6 +37,7 @@ module ItsMapemSpatem_TestControl {
if
(
PICS_SPATEM_GENERATION
)
{
execute
(
TC_IS_TLM_MSGF_BV_01
());
execute
(
TC_IS_TLM_EVGN_BV_01
());
execute
(
TC_IS_TLM_EVGN_BV_02
());
execute
(
TC_IS_TLM_EVGN_BV_03
());
...
...
@@ -46,6 +47,8 @@ module ItsMapemSpatem_TestControl {
execute
(
TC_IS_TLM_COMM_BV_02_01
());
execute
(
TC_IS_TLM_COMM_BV_02_02
());
execute
(
TC_IS_TLM_COMM_BV_03
());
}
if
(
PICS_SPATEM_RECEPTION
)
{
execute
(
TC_IS_TLM_MSGF_BV_02
());
}
...
...
ttcn/AtsMapemSpatem/ItsMapem_TestCases.ttcn
View file @
5b8db9db
This diff is collapsed.
Click to expand it.
ttcn/AtsMapemSpatem/ItsMapem_TpFunctions.ttcn
View file @
5b8db9db
...
...
@@ -47,8 +47,8 @@ module ItsMapem_TpFunctions {
// Local variables
// Test control
if
(
not
PICS_RSU_ROLE
or
not
PICS_MAPEM_GENERATION
)
{
log
(
"*** "
&
testcasename
()
&
":
PICS_RSU_ROLE and
PICS_MAPEM_GENERATION required for executing the TC ***"
);
if
(
not
PICS_MAPEM_GENERATION
)
{
log
(
"*** "
&
testcasename
()
&
": PICS_MAPEM_GENERATION required for executing the TC ***"
);
setverdict
(
inconc
);
stop
;
}
...
...
@@ -95,8 +95,8 @@ module ItsMapem_TpFunctions {
// Local variables
// Test control
if
(
not
PICS_RSU_ROLE
or
not
PICS_MAPEM_GENERATION
)
{
log
(
"*** "
&
testcasename
()
&
":
PICS_RSU_ROLE and
PICS_MAPEM_GENERATION required for executing the TC ***"
);
if
(
not
PICS_MAPEM_GENERATION
)
{
log
(
"*** "
&
testcasename
()
&
": PICS_MAPEM_GENERATION required for executing the TC ***"
);
setverdict
(
inconc
);
stop
;
}
...
...
@@ -150,8 +150,8 @@ module ItsMapem_TpFunctions {
var
MapemInd
v_mapem
;
// Test control
if
(
not
PICS_RSU_ROLE
or
not
PICS_MAPEM_GENERATION
)
{
log
(
"*** "
&
testcasename
()
&
":
PICS_RSU_ROLE and
PICS_MAPEM_GENERATION required for executing the TC ***"
);
if
(
not
PICS_MAPEM_GENERATION
)
{
log
(
"*** "
&
testcasename
()
&
": PICS_MAPEM_GENERATION required for executing the TC ***"
);
setverdict
(
inconc
);
stop
;
}
...
...
@@ -218,8 +218,8 @@ module ItsMapem_TpFunctions {
var
MapemInd
v_mapem
;
// Test control
if
(
not
PICS_RSU_ROLE
or
not
PICS_MAPEM_GENERATION
)
{
log
(
"*** "
&
testcasename
()
&
":
PICS_RSU_ROLE and
PICS_MAPEM_GENERATION required for executing the TC ***"
);
if
(
not
PICS_MAPEM_GENERATION
)
{
log
(
"*** "
&
testcasename
()
&
": PICS_MAPEM_GENERATION required for executing the TC ***"
);
setverdict
(
inconc
);
stop
;
}
...
...
@@ -295,8 +295,8 @@ module ItsMapem_TpFunctions {
var
boolean
v_tlmServiceStarted
:=
false
;
// Test control
if
(
not
PICS_RSU_ROLE
or
not
PICS_SPATEM_GENERATION
or
not
PICS_SPATEM_GENERATION
)
{
log
(
"*** "
&
testcasename
()
&
":
PICS_RSU_ROLE and
PICS_MAPEM_GENERATION and PICS_SPATEM_GENERATION required for executing the TC ***"
);
if
(
not
PICS_SPATEM_GENERATION
or
not
PICS_SPATEM_GENERATION
)
{
log
(
"*** "
&
testcasename
()
&
": PICS_MAPEM_GENERATION and PICS_SPATEM_GENERATION required for executing the TC ***"
);
setverdict
(
inconc
);
stop
;
}
...
...
@@ -354,8 +354,8 @@ module ItsMapem_TpFunctions {
const
UInt8
c_gnNhBtpB
:=
2
;
// Test control
if
(
not
PICS_RSU_ROLE
or
not
PICS_MAPEM_GENERATION
)
{
log
(
"*** "
&
testcasename
()
&
":
PICS_RSU_ROLE and
PICS_MAPEM_GENERATION required for executing the TC ***"
);
if
(
not
PICS_MAPEM_GENERATION
)
{
log
(
"*** "
&
testcasename
()
&
": PICS_MAPEM_GENERATION required for executing the TC ***"
);
setverdict
(
inconc
);
stop
;
}
...
...
@@ -412,8 +412,8 @@ module ItsMapem_TpFunctions {
const
UInt16
c_gnNhBtpBPort
:=
2003
;
// Test control
if
(
not
PICS_RSU_ROLE
or
not
PICS_MAPEM_GENERATION
)
{
log
(
"*** "
&
testcasename
()
&
":
PICS_RSU_ROLE and
PICS_MAPEM_GENERATION required for executing the TC ***"
);
if
(
not
PICS_MAPEM_GENERATION
)
{
log
(
"*** "
&
testcasename
()
&
": PICS_MAPEM_GENERATION required for executing the TC ***"
);
setverdict
(
inconc
);
stop
;
}
...
...
@@ -464,8 +464,8 @@ module ItsMapem_TpFunctions {
const
UInt8
c_gnHtGbc
:=
4
;
// Test control
if
(
not
PICS_RSU_ROLE
or
not
PICS_MAPEM_GENERATION
)
{
log
(
"*** "
&
testcasename
()
&
":
PICS_RSU_ROLE and
PICS_MAPEM_GENERATION required for executing the TC ***"
);
if
(
not
PICS_MAPEM_GENERATION
)
{
log
(
"*** "
&
testcasename
()
&
": PICS_MAPEM_GENERATION required for executing the TC ***"
);
setverdict
(
inconc
);
stop
;
}
...
...
@@ -540,8 +540,8 @@ module ItsMapem_TpFunctions {
var
MapemReq
v_mapemReq
;
var
integer
i
;
if
(
PICS_RSU_ROLE
or
not
PICS_MAPEM_RECEPTION
)
{
log
(
"*** "
&
testcasename
()
&
":
not PICS_RSU_ROLE and
PICS_MAPEM_RECEPTION required for executing the TC ***"
);
if
(
not
PICS_MAPEM_RECEPTION
)
{
log
(
"*** "
&
testcasename
()
&
": PICS_MAPEM_RECEPTION required for executing the TC ***"
);
setverdict
(
inconc
);
stop
;
}
...
...
ttcn/AtsMapemSpatem/ItsSpatem_TestCases.ttcn
View file @
5b8db9db
...
...
@@ -25,7 +25,7 @@ module ItsSpatem_TestCases {
/**
* @desc Check that protocolVersion is set to 1 and messageID is set to 4
* <pre>
* Pics Selection:
PICS_RSU_ROLE and
PICS_SPATEM_GENERATION
* Pics Selection: PICS_SPATEM_GENERATION
* Initial conditions:
* with {
* the IUT being in the "initial state"
...
...
@@ -64,7 +64,7 @@ module ItsSpatem_TestCases {
/**
* @desc Check that TLM Service generates a new SPATEM on reception of a valid AppSPATEM _Start request
* <pre>
* Pics Selection:
PICS_RSU_ROLE and
PICS_SPATEM_GENERATION
* Pics Selection: PICS_SPATEM_GENERATION
* Initial conditions:
* with {
* the IUT being in the "initial state"
...
...
@@ -94,7 +94,7 @@ module ItsSpatem_TestCases {
/**
* @desc Check that TLM Service generates SPATEM are time ordered
* <pre>
* Pics Selection:
PICS_RSU_ROLE and
PICS_SPATEM_GENERATION
* Pics Selection: PICS_SPATEM_GENERATION
* Initial conditions:
* with {
* the IUT being in the "initial state"
...
...
@@ -124,7 +124,7 @@ module ItsSpatem_TestCases {
/**
* @desc Check that TLM Service terminates on reception of a valid AppSPATEM _Stop request
* <pre>
* Pics Selection:
PICS_RSU_ROLE and
PICS_SPATEM_GENERATION
* Pics Selection: PICS_SPATEM_GENERATION
* Initial conditions:
* with {
* the IUT being in the "initial state"
...
...
@@ -145,7 +145,7 @@ module ItsSpatem_TestCases {
* @see ETSI TS 103 191-2 v1.2.1 TP_IS_TLM_EVGN_BV_03
* @reference ETSI TS 103 301 v1.0.4 Clause 5.4.2
*/
testcase
TC_IS_TLM_EVGN_BV_03
()
runs
on
ItsMapemSpatem
system
ItsMapemSpatemSystem
{
// TODO Move ito spateEventTermination goup
testcase
TC_IS_TLM_EVGN_BV_03
()
runs
on
ItsMapemSpatem
system
ItsMapemSpatemSystem
{
f_IS_TLM_EVGN_BV_03
();
...
...
@@ -154,7 +154,7 @@ module ItsSpatem_TestCases {
/**
* @desc Check that TLM Service generates a new SPATEM on reception of a valid AppSPATEM_Trigger request
* <pre>
* Pics Selection:
PICS_RSU_ROLE and
PICS_SPATEM_GENERATION
* Pics Selection: PICS_SPATEM_GENERATION
* Initial conditions:
* with {
* the IUT being in the "initial state"
...
...
@@ -188,7 +188,7 @@ module ItsSpatem_TestCases {
/**
* @desc Check that TLM Service provides the destination area in SPATEM
* <pre>
* Pics Selection:
PICS_RSU_ROLE and
PICS_SPATEM_GENERATION
* Pics Selection: PICS_SPATEM_GENERATION
* Initial conditions:
* with {
* the IUT being in the "initial state"
...
...
@@ -223,7 +223,7 @@ module ItsSpatem_TestCases {
/**
* @desc Check that SPATEM uses BTP_B packet
* <pre>
* Pics Selection:
PICS_RSU_ROLE and
PICS_SPATEM_GENERATION
* Pics Selection: PICS_SPATEM_GENERATION
* Initial conditions:
* with {
* the IUT being in the "initial state"
...
...
@@ -254,7 +254,7 @@ module ItsSpatem_TestCases {
/**
* @desc Check that the destination port for SPATEM is set to 2004
* <pre>
* Pics Selection:
PICS_RSU_ROLE and
PICS_SPATEM_GENERATION
* Pics Selection: PICS_SPATEM_GENERATION
* Initial conditions:
* with {
* the IUT being in the "initial state"
...
...
@@ -287,7 +287,7 @@ module ItsSpatem_TestCases {
/**
* @desc Check that TLM service encapsulates SPATEM in a GBC with the HeaderType field set to the value of 4
* <pre>
* Pics Selection:
PICS_RSU_ROLE and
PICS_SPATEM_GENERATION
* Pics Selection: PICS_SPATEM_GENERATION
* Initial conditions:
* with {
* the IUT being in the "initial state"
...
...
@@ -327,7 +327,7 @@ module ItsSpatem_TestCases {
/**
* @desc Check that the IUT can successfully process all mandatory fields of SPATEM received
* <pre>
* Pics Selection:
not PICS_RSU_ROLE and
PICS_SPATEM_RECEPTION
* Pics Selection: PICS_SPATEM_RECEPTION
* Initial conditions:
* with {
* the IUT being in the "initial state"
...
...
ttcn/AtsMapemSpatem/ItsSpatem_TpFunctions.ttcn
View file @
5b8db9db
...
...
@@ -47,8 +47,8 @@ module ItsSpatem_TpFunctions {
// Local variables
// Test control
if
(
not
PICS_RSU_ROLE
or
not
PICS_SPATEM_GENERATION
)
{
log
(
"*** "
&
testcasename
()
&
":
PICS_RSU_ROLE and
PICS_SPATEM_GENERATION required for executing the TC ***"
);
if
(
not
PICS_SPATEM_GENERATION
)
{
log
(
"*** "
&
testcasename
()
&
": PICS_SPATEM_GENERATION required for executing the TC ***"
);
setverdict
(
inconc
);
stop
;
}
...
...
@@ -99,8 +99,8 @@ module ItsSpatem_TpFunctions {
// Local variables
// Test control
if
(
not
PICS_RSU_ROLE
or
not
PICS_SPATEM_GENERATION
)
{
log
(
"*** "
&
testcasename
()
&
":
PICS_RSU_ROLE and
PICS_SPATEM_GENERATION required for executing the TC ***"
);
if
(
not
PICS_SPATEM_GENERATION
)
{
log
(
"*** "
&
testcasename
()
&
": PICS_SPATEM_GENERATION required for executing the TC ***"
);
setverdict
(
inconc
);
stop
;
}
...
...
@@ -156,8 +156,8 @@ module ItsSpatem_TpFunctions {
var
SpatemInd
v_spatem
;
// Test control
if
(
not
PICS_RSU_ROLE
or
not
PICS_SPATEM_GENERATION
)
{
log
(
"*** "
&
testcasename
()
&
":
PICS_RSU_ROLE and
PICS_SPATEM_GENERATION required for executing the TC ***"
);
if
(
not
PICS_SPATEM_GENERATION
)
{
log
(
"*** "
&
testcasename
()
&
": PICS_SPATEM_GENERATION required for executing the TC ***"
);
setverdict
(
inconc
);
stop
;
}
...
...
@@ -220,13 +220,13 @@ module ItsSpatem_TpFunctions {
/**
* @desc TP Function for f_IS_TLM_EVGN_BV_03
*/
function
f_IS_TLM_EVGN_BV_03
()
runs
on
ItsMapemSpatem
{
// TODO Move ito spateEventTermination goup
function
f_IS_TLM_EVGN_BV_03
()
runs
on
ItsMapemSpatem
{
// Local variables
// Test control
if
(
not
PICS_RSU_ROLE
or
not
PICS_SPATEM_GENERATION
)
{
log
(
"*** "
&
testcasename
()
&
":
PICS_RSU_ROLE and
PICS_SPATEM_GENERATION required for executing the TC ***"
);
if
(
not
PICS_SPATEM_GENERATION
)
{
log
(
"*** "
&
testcasename
()
&
": PICS_SPATEM_GENERATION required for executing the TC ***"
);
setverdict
(
inconc
);
stop
;
}
...
...
@@ -274,8 +274,8 @@ module ItsSpatem_TpFunctions {
var
SpatemInd
v_spatem
;
// Test control
if
(
not
PICS_RSU_ROLE
or
not
PICS_SPATEM_GENERATION
)
{
log
(
"*** "
&
testcasename
()
&
":
PICS_RSU_ROLE and
PICS_SPATEM_GENERATION required for executing the TC ***"
);
if
(
not
PICS_SPATEM_GENERATION
)
{
log
(
"*** "
&
testcasename
()
&
": PICS_SPATEM_GENERATION required for executing the TC ***"
);
setverdict
(
inconc
);
stop
;
}
...
...
@@ -347,8 +347,8 @@ module ItsSpatem_TpFunctions {
// Local variables
// Test control
if
(
not
PICS_RSU_ROLE
or
not
PICS_SPATEM_GENERATION
)
{
log
(
"*** "
&
testcasename
()
&
":
PICS_RSU_ROLE and
PICS_SPATEM_GENERATION required for executing the TC ***"
);
if
(
not
PICS_SPATEM_GENERATION
)
{
log
(
"*** "
&
testcasename
()
&
": PICS_SPATEM_GENERATION required for executing the TC ***"
);
setverdict
(
inconc
);
stop
;
}
...
...
@@ -395,8 +395,8 @@ module ItsSpatem_TpFunctions {
const
UInt8
c_gnNhBtpB
:=
2
;
// Test control
if
(
not
PICS_RSU_ROLE
or
not
PICS_SPATEM_GENERATION
)
{
log
(
"*** "
&
testcasename
()
&
":
PICS_RSU_ROLE and
PICS_SPATEM_GENERATION required for executing the TC ***"
);
if
(
not
PICS_SPATEM_GENERATION
)
{
log
(
"*** "
&
testcasename
()
&
": PICS_SPATEM_GENERATION required for executing the TC ***"
);
setverdict
(
inconc
);
stop
;
}
...
...
@@ -453,8 +453,8 @@ module ItsSpatem_TpFunctions {
const
UInt16
c_gnNhBtpBPort
:=
2004
;
// Test control
if
(
not
PICS_RSU_ROLE
or
not
PICS_SPATEM_GENERATION
)
{
log
(
"*** "
&
testcasename
()
&
":
PICS_RSU_ROLE and
PICS_SPATEM_GENERATION required for executing the TC ***"
);
if
(
not
PICS_SPATEM_GENERATION
)
{
log
(
"*** "
&
testcasename
()
&
": PICS_SPATEM_GENERATION required for executing the TC ***"
);
setverdict
(
inconc
);
stop
;
}
...
...
@@ -507,8 +507,8 @@ module ItsSpatem_TpFunctions {
const
UInt8
c_gnHtGbc
:=
4
;
// Test control
if
(
not
PICS_RSU_ROLE
or
not
PICS_SPATEM_GENERATION
)
{
log
(
"*** "
&
testcasename
()
&
":
PICS_RSU_ROLE and
PICS_SPATEM_GENERATION required for executing the TC ***"
);
if
(
not
PICS_SPATEM_GENERATION
)
{
log
(
"*** "
&
testcasename
()
&
": PICS_SPATEM_GENERATION required for executing the TC ***"
);
setverdict
(
inconc
);
stop
;
}
...
...
@@ -585,8 +585,8 @@ module ItsSpatem_TpFunctions {
var
SpatemReq
v_spatemReq
;
var
integer
i
;
if
(
PICS_RSU_ROLE
and
not
PICS_SPATEM_RECEPTION
)
{
log
(
"*** "
&
testcasename
()
&
":
not PICS_RSU_ROLE and
PICS_SPATEM_RECEPTION required for executing the TC ***"
);
if
(
not
PICS_SPATEM_RECEPTION
)
{
log
(
"*** "
&
testcasename
()
&
": PICS_SPATEM_RECEPTION required for executing the TC ***"
);
setverdict
(
inconc
);
stop
;
}
...
...
ttcn/AtsSremSsem/ItsSrem_TestCases.ttcn
View file @
5b8db9db
...
...
@@ -27,7 +27,7 @@ module ItsSrem_TestCases {
/**
* @desc Check that protocolVersion is set to 1 and messageID is set to 9
* <pre>
* Pics Selection:
not PICS_RSU and
PICS_SREM_GENERATION
* Pics Selection: PICS_SREM_GENERATION
* Initial conditions:
* with {
* the IUT being in the "initial state"
...
...
@@ -64,7 +64,7 @@ module ItsSrem_TestCases {
/**
* @desc Check that IVI Service generates a new SREM on reception of a valid AppSREM_Trigger request
* <pre>
* Pics Selection:
not PICS_RSU and
PICS_SREM_GENERATION
* Pics Selection: PICS_SREM_GENERATION
* Initial conditions:
* with {
* the IUT being in the "initial state"
...
...
@@ -92,7 +92,7 @@ module ItsSrem_TestCases {
/**
* @desc Check that the IUT identifies SREM with a unique request identifier
* <pre>
* Pics Selection:
not PICS_RSU and
PICS_SREM_GENERATION
* Pics Selection: PICS_SREM_GENERATION
* Initial conditions:
* with {
* the IUT being in the "initial state"
...
...
@@ -129,7 +129,7 @@ module ItsSrem_TestCases {
/**
* @desc Check that the IUT increments the sequenceNumber when a SREM update is generated
* <pre>
* Pics Selection:
not PICS_RSU and
PICS_SREM_GENERATION
* Pics Selection: PICS_SREM_GENERATION
* Initial conditions:
* with {
* the IUT being in the "initial state"
...
...
@@ -176,7 +176,7 @@ module ItsSrem_TestCases {
/**
* @desc Check that SREM uses BTP_B packet
* <pre>
* Pics Selection:
not PICS_RSU and
PICS_SREM_GENERATION
* Pics Selection: PICS_SREM_GENERATION
* Initial conditions:
* with {
* the IUT being in the "initial state"
...
...
@@ -206,7 +206,7 @@ module ItsSrem_TestCases {
/**
* @desc Check that the destination port for SREM is set to 2007
* <pre>
* Pics Selection:
not PICS_RSU and
PICS_SREM_GENERATION
* Pics Selection: PICS_SREM_GENERATION
* Initial conditions:
* with {
* the IUT being in the "initial state"
...
...
@@ -244,7 +244,7 @@ module ItsSrem_TestCases {
/**
* @desc Check that the IUT can successfully process all mandatory fields of SSEM received
* <pre>
* Pics Selection:
not PICS_RSU and
PICS_SSEM_RECEPTION
* Pics Selection: PICS_SSEM_RECEPTION
* Initial conditions:
* with {
* the IUT being in the "initial state"
...
...
@@ -284,7 +284,7 @@ module ItsSrem_TestCases {
/**
* @desc Check that protocolVersion is set to 1 and messageID is set to 10 (TLC-S)
* <pre>
* Pics Selection:
PICS_RSU and
PICS_SSEM_GENERATION
* Pics Selection: PICS_SSEM_GENERATION
* Initial conditions:
* with {
* the IUT being in the "initial state"
...
...
@@ -327,7 +327,7 @@ module ItsSrem_TestCases {
/**
* @desc Check that the IUT can successfully process all mandatory fields of SREM received (TLC-S)
* <pre>
* Pics Selection: PICS_
RSU and PICS_SREM_GENERA
TION
* Pics Selection: PICS_
SREM_RECEP
TION
* Initial conditions:
* with {
* the IUT being in the "initial state"
...
...
ttcn/AtsSremSsem/ItsSrem_TestControl.ttcn
View file @
5b8db9db
...
...
@@ -23,8 +23,12 @@ module ItsSrem_TestControl {
if
(
PICS_SREM_GENERATION
)
{
execute
(
TC_IS_RLT_MSGF_BV_01
());
execute
(
TC_IS_TLC_EVGN_BV_01
());
execute
(
TC_IS_TLC_EVGN_BV_02
());
execute
(
TC_IS_TLC_EVUP_BV_01
());
execute
(
TC_IS_TLC_COMM_BV_01_01
());
execute
(
TC_IS_TLC_COMM_BV_01_02
());
}
...
...
@@ -34,7 +38,7 @@ module ItsSrem_TestControl {
}
if
(
PICS_S
R
EM_GENERATION
)
{
if
(
PICS_S
S
EM_GENERATION
)
{
execute
(
TC_IS_TLC_MSGF_BV_04
());
...
...
ttcn/AtsSremSsem/ItsSrem_TpFunctions.ttcn
View file @
5b8db9db
...
...
@@ -51,8 +51,8 @@ module ItsSrem_TpFunctions {
var
SremInd
v_sremInd
;
// Test control
if
(
PICS_RSU_ROLE
or
not
PICS_SREM_GENERATION
)
{
log
(
"*** "
&
testcasename
()
&
":
not PICS_RSU_ROLE and
PICS_SREM_GENERATION required for executing the TC ***"
);
if
(
not
PICS_SREM_GENERATION
)
{
log
(
"*** "
&
testcasename
()
&
": PICS_SREM_GENERATION required for executing the TC ***"
);
setverdict
(
inconc
);
stop
;
}
...
...
@@ -104,8 +104,8 @@ module ItsSrem_TpFunctions {
var
SremInd
v_sremInd
;
// Test control
if
(
PICS_RSU_ROLE
or
not
PICS_SREM_GENERATION
)
{
log
(
"*** "
&
testcasename
()
&
":
not PICS_RSU_ROLE and
PICS_SREM_GENERATION required for executing the TC ***"
);
if
(
not
PICS_SREM_GENERATION
)
{
log
(
"*** "
&
testcasename
()
&
": PICS_SREM_GENERATION required for executing the TC ***"
);
setverdict
(
inconc
);
stop
;
}
...
...
@@ -162,8 +162,8 @@ module ItsSrem_TpFunctions {
var
integer
i
;
// Test control
if
(
PICS_RSU_ROLE
or
not
PICS_SREM_GENERATION
)
{
log
(
"*** "
&
testcasename
()
&
":
not PICS_RSU_ROLE and
PICS_SREM_GENERATION required for executing the TC ***"
);
if
(
not
PICS_SREM_GENERATION
)
{
log
(
"*** "
&
testcasename
()
&
": PICS_SREM_GENERATION required for executing the TC ***"
);
setverdict
(
inconc
);
stop
;
}
...
...
@@ -227,8 +227,8 @@ module ItsSrem_TpFunctions {
var
MsgCount
v_sequenceNumber
;
// Test control
if
(
PICS_RSU_ROLE
or
not
PICS_SREM_GENERATION
)
{
log
(
"*** "
&
testcasename
()
&
":
not PICS_RSU_ROLE and
PICS_SREM_GENERATION required for executing the TC ***"
);
if
(
not
PICS_SREM_GENERATION
)
{
log
(
"*** "
&
testcasename
()
&
": PICS_SREM_GENERATION required for executing the TC ***"
);
setverdict
(
inconc
);
stop
;
}
...
...
@@ -293,6 +293,13 @@ module ItsSrem_TpFunctions {
const
UInt8
c_gnNhBtpB
:=
2
;
var
SremInd
v_sremInd
;
// Test control
if
(
not
PICS_SREM_GENERATION
)
{
log
(
"*** "
&
testcasename
()
&
": PICS_SREM_GENERATION required for executing the TC ***"
);
setverdict
(
inconc
);
stop
;
}
// Test component configuration
f_cfUp
();
...
...
@@ -353,6 +360,13 @@ module ItsSrem_TpFunctions {
const
UInt16
c_gnNhBtpBPort
:=
2007
;
var
SremInd
v_sremInd
;
// Test control
if
(
not
PICS_SREM_GENERATION
)
{
log
(
"*** "
&
testcasename
()
&
": PICS_SREM_GENERATION required for executing the TC ***"
);
setverdict
(
inconc
);
stop
;
}
// Test component configuration
f_cfUp
();
...
...
@@ -406,8 +420,8 @@ module ItsSrem_TpFunctions {
var
SremInd
v_sremInd
;
// Test control
if
(
PICS_RSU_ROLE
or
not
PICS_SREM_GENERATION
)
{
log
(
"*** "
&
testcasename
()
&
":
not PICS_RSU_ROLE and
PICS_SREM_GENERATION required for executing the TC ***"
);
if
(
not
PICS_SREM_GENERATION
)
{
log
(
"*** "
&
testcasename
()
&
": PICS_SREM_GENERATION required for executing the TC ***"
);
setverdict
(
inconc
);
stop
;
}
...
...
@@ -490,8 +504,8 @@ module ItsSrem_TpFunctions {
var
SsemReq
v_ssemReq
;
var
integer
i
;
if
(
PICS_RSU_ROLE
or
not
PICS_SSEM_RECEPTION
)
{
log
(
"*** "
&
testcasename
()
&
":
not PICS_RSU_ROLE and
PICS_SSEM_RECEPTION required for executing the TC ***"
);
if
(
not
PICS_SSEM_RECEPTION
)
{
log
(
"*** "
&
testcasename
()
&
": PICS_SSEM_RECEPTION required for executing the TC ***"
);
setverdict
(
inconc
);
stop
;
}
...
...
@@ -543,8 +557,8 @@ module ItsSrem_TpFunctions {
// Local variables
// Test control
if
(
PICS_RSU_ROLE
or
not
PICS_S
R
EM_GENERATION
)
{
log
(
"*** "
&
testcasename
()
&
":
not
PICS_
RSU_ROLE and PICS_SR
EM_GENERATION required for executing the TC ***"
);
if
(
not
PICS_S
S
EM_GENERATION
)
{
log
(
"*** "
&
testcasename
()
&
": PICS_
SS
EM_GENERATION required for executing the TC ***"
);
setverdict
(
inconc
);
stop
;
}
...
...
@@ -605,8 +619,8 @@ module ItsSrem_TpFunctions {
var
SremReq
v_sremReq
;
var
integer
i
;
if
(
PICS_RSU_ROLE
or
not
PICS_SREM_RECEPTION
)
{
log
(
"*** "
&
testcasename
()
&
":
not PICS_RSU_ROLE and
PICS_SREM_RECEPTION required for executing the TC ***"
);
if
(
not
PICS_SREM_RECEPTION
)
{
log
(
"*** "
&
testcasename
()
&
": PICS_SREM_RECEPTION required for executing the TC ***"
);
setverdict
(
inconc
);
stop
;
}
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment