EN15876_AP_RSE



Test Suite Structure

Suite Name
EN15876_AP_RSE 
Standards Ref
EN 12834, DSRC application layer; EN 13372, Profiles for RTTT applications 
PICS Ref
ETSI TS 102 486-2-1 Annex B, D, F 
PIXIT Ref
ETSI TS 102 486-2-3 Annex D 
Test Method(s)
 
Comments
18 May 2006 
Test Group Reference Selection Ref Test Group Objective Page Nr
Detailed Comments
 


Test Case Index

Test Group Reference Test Case Id Selection Ref Description Page Nr
 
TC_AP_S0_RSE_BV 
SEL_MANDATORY_S0 
Runs through all BV TCs for S0 
 
 
TC_AP_S0_RSE_BI 
SEL_MANDATORY_S0 
Runs through all BI TCs for S0 
 
 
TC_AP_S1_RSE_BV 
SEL_MANDATORY_S1 
Runs through all BV TCs for S1 
 
 
TC_AP_S1_RSE_BI 
SEL_MANDATORY_S1 
Runs through all BI TCs for S1 
 
Detailed Comments
 


Test Step Index

Test Step Group Reference Test Step Id Description Page Nr
 
STP_RX_BST_DEF_APPS_ID 
Reception of BST with suppported profile and aid, contained in mandApps. 
 
 
STP_RX_BST_DEF_APPL_LIST 
Reception of BST with profile as requested in STP- call and default mandApps list. 
 
 
STP_TX_VST_DEF_APPL_LIST 
Finalisation of initialisation:
Transmission of VST with new random LID, TCV_Profile as set previously,, default Apps-list and default OBE configuration. Acknowledgement with privately addressed frame different to RELEASE expected. 
 
 
STP_INIT_BST_VST_DEF_APPS_ID 
Reception of BST with suppported profile and aid, contained in mandApps.
Transmission of VST 
 
 
STP_INIT_BST_VST_DEF_APPS_ID_s1 
Reception of BST with suppported profile and aid, contained in mandApps.
Transmission of VST 
 
AP_0BAS/RSE/BV
STP_TC_AP_0BAS_RSE_BV_01 
Verify that the DUT supports the BST 
 
AP_0GET/RSE/BV
STP_TC_AP_0GET_RSE_BV_01 
Verify that the DUT supports the read (by means of GET.rq) of the data attributes 
 
AP_0GET/RSE/BI
STP_TC_AP_0GET_RSE_BI_01 
Verify that the DUT detects an incorrect attributeList parameter of the GET.rs
NOTE: Depending on attrIdList of the request PDU, this TP shall be repeated with
different incorrect attributeList in the response 
 
AP_0SET/RSE/BV
STP_TC_AP_0SET_RSE_BV_01 
Verify that the DUT supports the SET.rq of the data attributes ( ReceiptData1 and
ReceiptData2
 
AP_0SET/RSE/BV
STP_TC_AP_0SET_RSE_BV_02 
Verify that the DUT supports the SET.rq of the data attributes ( ReceiptData1
 
AP_0SET/RSE/BV
STP_TC_AP_0SET_RSE_BV_03 
Verify that the DUT supports the SET.rq of the data attributes ( ReceiptData2
 
AP_0SET/RSE/BV
STP_TC_AP_0SET_RSE_BV_04 
Verify that the DUT supports the SET.rq of the data attributes ( EquipmentStatus
 
AP_0SET/RSE/BV
STP_TC_AP_0SET_RSE_BV_05 
Verify that the DUT supports the SET.rq of the data attributes ( ReceiptData1 and
EquipmentStatus
 
AP_0SET/RSE/BV
STP_TC_AP_0SET_RSE_BV_06 
Verify that the DUT supports the SET.rq of the data attributes ( ReceiptData1,
ReceiptData2 and EquipmentStatus
 
AP_0SET/RSE/BV
STP_TC_AP_0SET_RSE_BV_07 
Verify that the DUT supports the SET.rq of the data attributes ( ReceiptData2 and
EquipmentStatus
 
AP_0STA/RSE/BV
STP_TC_AP_0STA_RSE_BV_01 
Verify that the DUT supports the read (by means of GET-STAMPED.rq) of the data
attributes 
 
AP_0STA/RSE/BI
STP_TC_AP_0STA_RSE_BI_01 
Verify that the DUT detects an incorrect attributeList parameter of the GETSTAMPED.
rs
NOTE: Depending on attrIdList of the request PDU, this TP shall be repeated with
different incorrect attributeList in the response 
 
AP_0STA/RSE/BI
STP_TC_AP_0STA_RSE_BI_03 
Verify that the DUT detects an incorrect authenticator parameter of the GETSTAMPED.
rs 
 
AP_0MMI/RSE/BV
STP_TC_AP_0MMI_RSE_BV_01 
Verify that the DUT supports the SET-MMI-rq 
 
AP_0ECH/RSE/BV
STP_TC_AP_0ECH_RSE_BV_01 
Verify that the DUT supports the ECHO-rq 
 
AP_0REL/RSE/BV
STP_TC_AP_0REL_RSE_BV_01 
Verify that the DUT supports the EVENT-REPORT-rq 
 
AP_1BAS/RSE/BV
STP_TC_AP_1BAS_RSE_BV_01 
Verify that the DUT supports the BST 
 
AP_1GET/RSE/BV
STP_TC_AP_1GET_RSE_BV_01 
Verify that the DUT supports the read (by means of GET.rq) of the data attributes 
 
AP_1GET/RSE/BI
STP_TC_AP_1GET_RSE_BI_01 
Verify that the DUT detects an incorrect attributeList parameter of the GET.rs
NOTE: Depending on attrIdList of the request PDU, this TP shall be repeated with
different incorrect attributeList in the response 
 
AP_1SET/RSE/BV
STP_TC_AP_1SET_RSE_BV_01 
Verify that the DUT supports the SET.rq of the data attributes ( ReceiptData1 and
ReceiptData2
 
AP_1SET/RSE/BV
STP_TC_AP_1SET_RSE_BV_02 
Verify that the DUT supports the SET.rq of the data attributes ( ReceiptData1
 
AP_1SET/RSE/BV
STP_TC_AP_1SET_RSE_BV_03 
Verify that the DUT supports the SET.rq of the data attributes ( ReceiptData2
 
AP_1SET/RSE/BV
STP_TC_AP_1SET_RSE_BV_04 
Verify that the DUT supports the SET.rq of the data attributes ( EquipmentStatus
 
AP_1SET/RSE/BV
STP_TC_AP_1SET_RSE_BV_05 
Verify that the DUT supports the SET.rq of the data attributes ( ReceiptData1 and
EquipmentStatus
 
AP_1SET/RSE/BV
STP_TC_AP_1SET_RSE_BV_06 
Verify that the DUT supports the SET.rq of the data attributes ( ReceiptData1,
ReceiptData2 and EquipmentStatus
 
AP_1SET/RSE/BV
STP_TC_AP_1SET_RSE_BV_07 
Verify that the DUT supports the SET.rq of the data attributes ( ReceiptData2 and
EquipmentStatus
 
AP_1STA/RSE/BV
STP_TC_AP_1STA_RSE_BV_01 
Verify that the DUT supports the read (by means of GET-STAMPED.rq) of the data
attributes 
 
AP_1STA/RSE/BI
STP_TC_AP_1STA_RSE_BI_01 
Verify that the DUT detects an incorrect attributeList parameter of the GETSTAMPED.
rs
NOTE: Depending on attrIdList of the request PDU, this TP shall be repeated with
different incorrect attributeList in the response 
 
AP_1STA/RSE/BI
STP_TC_AP_1STA_RSE_BI_03 
Verify that the DUT detects an incorrect authenticator parameter of the GETSTAMPED.
rs 
 
AP_1MMI/RSE/BV
STP_TC_AP_1MMI_RSE_BV_01 
Verify that the DUT supports the SET-MMI-rq 
 
AP_1ECH/RSE/BV
STP_TC_AP_1ECH_RSE_BV_01 
Verify that the DUT supports the ECHO-rq 
 
Detailed Comments
 


Default Index

Default Group Reference Default Id Description Page Nr
 
DF_Standard_Default_No_BST 
 
 
Detailed Comments
 


Simple Type Definitions

Type Name Type Definition Type Encoding Comments
Detailed Comments
 


ApplicationContextMark

Type Name
ApplicationContextMark 
Encoding Variation
 
Comments
The onlz known two implemented choices. 
Type Definition
CHOICE
{
  octetstring [2] OCTET STRING (SIZE (0..127 ) ),
  efccontext [32] EFC_ContextMark
Detailed Comments
 


BST

Type Name
BST 
Encoding Variation
 
Comments
Just to fix insufficiency of tool 
Type Definition
SEQUENCE
{
  rsu BeaconID, 
  time Time, 
  profile Profile, 
  mandApplications ApplicationList, 
  nonmandApplications ApplicationList OPTIONAL, 
  profileList Profile_List
Detailed Comments
 


EFC_Context_Mark_octetstring

Type Name
EFC_Context_Mark_octetstring 
Encoding Variation
 
Comments
Implemented choice of ApplicationContextMark 
Type Definition
OCTET STRING (SIZE (0..127 ) ) 
Detailed Comments
 


Integer_Lid

Type Name
Integer_Lid 
Encoding Variation
 
Comments
Valid range for private LID. 28 bit unsigned INTEGER 
Type Definition
INTEGER (0..2147483647) 
Detailed Comments
 


Lid

Type Name
Lid 
Encoding Variation
 
Comments
Allows to distinguish between BC address and private LID = 127 
Type Definition
SEQUENCE {
  lid_value Integer_Lid,
  lid_private BOOLEAN
} 
Detailed Comments
 


Profile_List

Type Name
Profile_List 
Encoding Variation
 
Comments
Just to fix insufficiency of tool 
Type Definition
SEQUENCE (SIZE (0..127 ) ) OF Profile 
Detailed Comments
 


TextString

Type Name
TextString 
Encoding Variation
 
Comments
To fix insufficiency of tool 
Type Definition
OCTET STRING 
Detailed Comments
 


ASN.1 Type Definitions By Reference

Type Name Type Reference Module Identifier Encoding Variation Comments Type Definition
Action
Action 
DSRCData 
 
 
CHOICE
{
  integer [0] INTEGER, 
  bitstring [1] BIT STRING, 
  octetstring [2] OCTET STRING (SIZE (0..127 ) ), 
  universalString [3] OCTET STRING, 
  beaconId [4] BeaconID, 
  dsrcApplicationEntityId [6] DSRCApplicationEntityID, 
  dsrc_Ase_Id [7] Dsrc_EID, 
  attrIdList [8] AttributeIdList, 
  broadcastPool [10] BroadcastPool, 
  directory [11] Directory, 
  file [12] File, 
  fileType [13] FileType, 
  record [14] Record, 
  time [15] Time, 
  vector [16] SEQUENCE (SIZE (0..255 ) ) OF
    INTEGER (0..127 ), 
  gstrq [17] GetStampedRq, 
  gstrs [18] GetStampedRs, 
  sstrq [19] SetStampedRq, 
  ginrq [20] GetInstanceRq, 
  ginrs [21] GetInstanceRs, 
  sinrq [22] SetInstanceRq, 
  charq [23] ChannelRq, 
  chars [24] ChannelRs, 
  cpprq [25] CopyRq, 
  subrq [26] SubRq, 
  addrq [27] AddRq, 
  debrq [28] DebitRq, 
  debrs [29] DebitRs, 
  crerq [30] CreditRq, 
  crers [31] CreditRs, 
  efccontext [32] EFC_ContextMark, 
  contser [33] ContractSerialNumber, 
  contval [34] ContractValidity, 
  contveh [35] ContractVehicle, 
  contauth [36] ContractAuthenticator, 
  recspt [37] ReceiptServicePart, 
  sessioncls [38] SessionClass, 
  recservserialno [39] ReceiptServiceSerialNumber, 
  recfinptENV [40] NULL, 
  reccont [41] ReceiptContract, 
  recOBUId [42] ReceiptOBUId, 
  recICCId [43] ReceiptICC_Id, 
  rectext [44] ReceiptText, 
  recauth [45] ReceiptAuthenticator, 
  recdist [46] ReceiptDistance, 
  vehlpn [47] LPN, 
  vehid [48] CS5, 
  vehclass [49] VehicleClass, 
  vehdims [50] VehicleDimensions, 
  vehaxles [51] VehicleAxles, 
  vehwtlims [52] VehicleWeightLimits, 
  vehwtladen [53] VehicleWeightLaden, 
  vehspchars [54] VehicleSpecificCharacteristics, 
  vehauth [55] VehicleAuthenticator, 
  equOBUId [56] EquipmentOBUId, 
  equICCId [57] ICC_Id, 
  equstat [58] EquipmentStatus, 
  dvrchars [59] DriverCharacteristics, 
  paymeansENV [60] NULL, 
  paymbal [61] PaymentMeansBalance, 
  paymunit [62] PaymentMeansUnit, 
  paysecdata [63] PaymentSecurityData, 
  paymeans [64] PaymentMeans, 
  recdata1 [65] ReceiptData, 
  recdata2 [66] NULL, 
  valofcon [67] ValidityOfContract, 
  recfinpt [68] ReceiptFinancialPart, 
  setmmirq [69] SetMMIRq, 
  rfuCenISO37 [70] NULL, 
  rfuCenISO38 [71] NULL, 
  rfuCenISO39 [72] NULL, 
  rfuCenISO40 [73] NULL, 
  rfuCenISO41 [74] NULL, 
  rfuCenISO42 [75] NULL, 
  rfuCenISO43 [76] NULL, 
  rfuCenISO44 [77] NULL, 
  rfuCenISO45 [78] NULL, 
  rfuCenISO46 [79] NULL, 
  rfuCenISO47 [80] NULL, 
  rfuCenISO48 [81] NULL, 
  rfuCenISO49 [82] NULL, 
  rfuCenISO50 [83] NULL, 
  rfuCenISO51 [84] NULL, 
  rfuCenISO52 [85] NULL, 
  rfuCenISO53 [86] NULL
} 
ActionType
ActionType 
DSRCData 
 
 
INTEGER (0..127 ) 
Action_Request
Action_Request 
DSRCData 
 
 
SEQUENCE
{
  mode BOOLEAN, 
  eid Dsrc_EID, 
  actionType ActionType, 
  accessCredentials OCTET STRING (SIZE (0..127 ) ) OPTIONAL, 
  actionParameter Action OPTIONAL, 
  iid Dsrc_EID OPTIONAL
} 
Action_Response
Action_Response 
DSRCData 
 
 
SEQUENCE
{
  fill BIT STRING (SIZE (1 ) ), 
  eid Dsrc_EID, 
  iid Dsrc_EID OPTIONAL, 
  responseParameter Container OPTIONAL, 
  ret ReturnStatus OPTIONAL
} 
AddRq
AddRq 
EfcModule 
 
 
SEQUENCE
{
  attributeId INTEGER (0..127 ), 
  value INTEGER
} 
ApplicationList
ApplicationList 
DSRCData 
 
 
SEQUENCE (SIZE (0..127 ) ) OF
  SEQUENCE
  {
    aid DSRCApplicationEntityID, 
    eid Dsrc_EID OPTIONAL, 
    parameter ApplicationContextMark OPTIONAL
  } 
AttributeIdList
AttributeIdList 
DSRCData 
 
 
SEQUENCE (SIZE (0..127 ) ) OF
  INTEGER (0..127 ) 
AttributeList
AttributeList 
DSRCData 
 
 
SEQUENCE (SIZE (0..127 ) ) OF
  Attributes 
Attributes
Attributes 
DSRCData 
 
 
SEQUENCE
{
  attributeId INTEGER (0..127 ), 
  attributeValue Container
BeaconID
BeaconID 
DSRCData 
 
 
SEQUENCE
{
  manufacturerid INTEGER (0..65535 ), 
  individualid INTEGER (0..134217727 )
} 
BroadcastPool
BroadcastPool 
DSRCData 
 
 
SEQUENCE
{
  directoryvalue Directory, 
  content SEQUENCE (SIZE (0..127 ) ) OF
    File
CS5
CS5 
AVIAEINumberingAndDataStructures 
 
 
VisibleString 
ChannelId
ChannelId 
EfcModule 
 
 
INTEGER{obu(0), sam1(1), sam2(2), icc(3), display(4), buzzer(5), printer(6), serialInterface(7), parallelInterface(8), gPS(9), tachograph(10), privateUse1(11), privateUse2(12), privateUse3(13), privateUse4(14), privateUse5(15), bluetooth(16)} (0..255 ) 
ChannelRq
ChannelRq 
EfcModule 
 
 
SEQUENCE
{
  channelId ChannelId, 
  apdu OCTET STRING
} 
ChannelRs
ChannelRs 
EfcModule 
 
 
SEQUENCE
{
  channelId ChannelId, 
  apdu OCTET STRING
} 
Container
Container 
DSRCData 
 
 
CHOICE
{
  integer [0] INTEGER, 
  bitstring [1] BIT STRING, 
  octetstring [2] OCTET STRING (SIZE (0..127 ) ), 
  universalString [3] OCTET STRING, 
  beaconId [4] BeaconID, 
  dsrcApplicationEntityId [6] DSRCApplicationEntityID, 
  dsrc_Ase_Id [7] Dsrc_EID, 
  attrIdList [8] AttributeIdList, 
  broadcastPool [10] BroadcastPool, 
  directory [11] Directory, 
  file [12] File, 
  fileType [13] FileType, 
  record [14] Record, 
  time [15] Time, 
  vector [16] SEQUENCE (SIZE (0..255 ) ) OF
    INTEGER (0..127 ), 
  charq [23] ChannelRq, 
  chars [24] ChannelRs, 
  cpprq [25] CopyRq, 
  subrq [26] SubRq, 
  addrq [27] AddRq, 
  debrq [28] DebitRq, 
  debrs [29] DebitRs, 
  crerq [30] CreditRq, 
  crers [31] CreditRs, 
  efccontext [32] EFC_ContextMark, 
  contser [33] ContractSerialNumber, 
  contval [34] ContractValidity, 
  contveh [35] ContractVehicle, 
  contauth [36] ContractAuthenticator, 
  recspt [37] ReceiptServicePart, 
  sessioncls [38] SessionClass, 
  recservserialno [39] ReceiptServiceSerialNumber, 
  recfinptENV [40] NULL, 
  reccont [41] ReceiptContract, 
  recOBUId [42] ReceiptOBUId, 
  recICCId [43] ReceiptICC_Id, 
  rectext [44] ReceiptText, 
  recauth [45] ReceiptAuthenticator, 
  recdist [46] ReceiptDistance, 
  vehlpn [47] LPN, 
  vehid [48] CS5, 
  vehclass [49] VehicleClass, 
  vehdims [50] VehicleDimensions, 
  vehaxles [51] VehicleAxles, 
  vehwtlims [52] VehicleWeightLimits, 
  vehwtladen [53] VehicleWeightLaden, 
  vehspchars [54] VehicleSpecificCharacteristics, 
  vehauth [55] VehicleAuthenticator, 
  equOBUId [56] EquipmentOBUId, 
  equICCId [57] ICC_Id, 
  equstat [58] EquipmentStatus, 
  dvrchars [59] DriverCharacteristics, 
  paymeansENV [60] NULL, 
  paymbal [61] PaymentMeansBalance, 
  paymunit [62] PaymentMeansUnit, 
  paysecdata [63] PaymentSecurityData, 
  paymeans [64] PaymentMeans, 
  recdata1 [65] ReceiptData, 
  recdata2 [66] NULL, 
  valofcon [67] ValidityOfContract, 
  recfinpt [68] ReceiptFinancialPart, 
  setmmirq [69] SetMMIRq, 
  rfuCenISO37 [70] NULL, 
  rfuCenISO38 [71] NULL, 
  rfuCenISO39 [72] NULL, 
  rfuCenISO40 [73] NULL, 
  rfuCenISO41 [74] NULL, 
  rfuCenISO42 [75] NULL, 
  rfuCenISO43 [76] NULL, 
  rfuCenISO44 [77] NULL, 
  rfuCenISO45 [78] NULL, 
  rfuCenISO46 [79] NULL, 
  rfuCenISO47 [80] NULL, 
  rfuCenISO48 [81] NULL, 
  rfuCenISO49 [82] NULL, 
  rfuCenISO50 [83] NULL, 
  rfuCenISO51 [84] NULL, 
  rfuCenISO52 [85] NULL, 
  rfuCenISO53 [86] NULL
} 
ContractAuthenticator
ContractAuthenticator 
EfcModule 
 
 
OCTET STRING 
ContractSerialNumber
ContractSerialNumber 
EfcModule 
 
 
Int4 
ContractValidity
ContractValidity 
EfcModule 
 
 
SEQUENCE
{
  contractRestrictions OCTET STRING (SIZE (4 ) ), 
  contractExpiryDate DateCompact
ContractVehicle
ContractVehicle 
EfcModule 
 
 
LPN 
CopyRq
CopyRq 
EfcModule 
 
 
SEQUENCE
{
  destinationEID INTEGER (0..127 ), 
  attributeIdList AttributeIdList
CountryCode
CountryCode 
AVIAEINumberingAndDataStructures 
 
 
BIT STRING (SIZE (10 ) ) 
CreditRq
CreditRq 
EfcModule 
 
 
SEQUENCE
{
  refund PaymentFee, 
  nonce OCTET STRING, 
  key INTEGER (0..255 )
} 
CreditRs
CreditRs 
EfcModule 
 
 
SEQUENCE
{
  creditResult ResultFin, 
  creditAuthenticator OCTET STRING
} 
DSRCApplicationEntityID
DSRCApplicationEntityID 
DSRCData 
 
 
INTEGER{dsrc_system(0), electronic_fee_collection(1), freight_fleet_management(2), public_transport(3), traffic_traveller_information(4), traffic_control(5), parking_management(6), geographic_road_database(7), medium_range_preinformation(8), man_machine_interface(9), intersystem_interface(10), automatic_vehicle_identification(11), emergency_warning(12), dsrc_private(13), multi_purpose_payment(14), dsrc_resource_manager(15), after_theft_systems(16)} (0..31 ) 
DateAndTime
DateAndTime 
EfcModule 
 
 
SEQUENCE
{
  timeDate DateCompact, 
  timeCompact SEQUENCE
  {
    hours INTEGER (0..23 ), 
    mins INTEGER (0..59 ), 
    double_secs INTEGER (0..30 )
  }
} 
DateCompact
DateCompact 
EfcModule 
 
 
SEQUENCE
{
  year INTEGER (1990..2117 ), 
  month INTEGER (0..12 ), 
  day INTEGER (0..31 )
} 
DebitRq
DebitRq 
EfcModule 
 
 
SEQUENCE
{
  debitPaymentFee PaymentFee, 
  nonce OCTET STRING, 
  keyRef INTEGER (0..255 )
} 
DebitRs
DebitRs 
EfcModule 
 
 
SEQUENCE
{
  debitResult ResultFin, 
  debitAuthenticator OCTET STRING
} 
DescriptiveCharacteristics
DescriptiveCharacteristics 
EfcModule 
 
 
INTEGER{noEntry(0), vehicleShape1(1), vehicleShape2(2), vehicleShape3(3), vehicleShape4(4), vehicleShape5(5), vehicleShape6(6), vehicleShape7(7), vehicleShape8(8), vehicleShape9(9), vehicleShape10(10), vehicleShape11(11), vehicleShape12(12), vehicleShape13(13), vehicleShape14(14), vehicleShape15(15), vehicleShape16(16), vehicleShape17(17), vehicleShape18(18), vehicleShape19(19), vehicleShape20(20), vehicleShape21(21), vehicleShape22(22), vehicleShape23(23), vehicleShape24(24), vehicleShape25(25), vehicleShape26(26), vehicleShape27(27), vehicleShape28(28), vehicleShape29(29), vehicleShape30(30), vehicleShape31(31), vehicleShape32(32), vehicleShape33(33), vehicleShape34(34), vehicleShape35(35), vehicleShape36(36), vehicleShape37(37), vehicleShape38(38), vehicleShape39(39), vehicleShape40(40), vehicleShape41(41), vehicleShape42(42), vehicleShape43(43), vehicleShape44(44), vehicleShape45(45), vehicleShape46(46), vehicleShape47(47), vehicleShape48(48), vehicleShape49(49), vehicleShape50(50)} (0..255 ) 
Directory
Directory 
DSRCData 
 
 
SEQUENCE (SIZE (0..127 ) ) OF
  FileName 
DriverCharacteristics
DriverCharacteristics 
EfcModule 
 
 
SEQUENCE
{
  driverClass Int1, 
  tripPurpose Int1
Dsrc_EID
Dsrc_EID 
DSRCData 
 
 
INTEGER (0..127 ) 
EFC_ContextMark
EFC_ContextMark 
EfcModule 
 
 
SEQUENCE
{
  contractProvider Provider, 
  typeOfContract OCTET STRING (SIZE (2 ) ), 
  contextVersion INTEGER (0..127 )
} 
EngineCharacteristics
EngineCharacteristics 
EfcModule 
 
 
INTEGER{noEntry(0), noEngine(1), petrolUnleaded(2), petrolLeaded(3), diesel(4), lPG(5), battery(6), solar(7)} (0..255 ) 
EnvironmentalCharacteristics
EnvironmentalCharacteristics 
EfcModule 
 
 
SEQUENCE
{
  euroValue ENUMERATED {noEntry(0), euro_1(1), euro_2(2), euro_3(3), reservedForUse1(4), reservedForUse2(5), reservedForUse3(6), reservedForUse4(7), reservedForUse5(8)}, 
  copValue ENUMERATED {noEntry(0), reservedForUse1(1), reservedForUse2(2), reservedForUse3(3), reservedForUse4(4), reservedForUse5(5), reservedForUse6(6), reservedForUse7(7), reservedForUse8(8)}
} 
EquipmentOBUId
EquipmentOBUId 
EfcModule 
 
 
OCTET STRING 
EquipmentStatus
EquipmentStatus 
EfcModule 
 
 
BIT STRING (SIZE (16 ) ) 
EventType
EventType 
DSRCData 
 
 
INTEGER{release(0)} (0..127 ) 
Event_Report_Request
Event_Report_Request 
DSRCData 
 
 
SEQUENCE
{
  mode BOOLEAN, 
  eid Dsrc_EID, 
  eventType EventType, 
  accessCredentials OCTET STRING (SIZE (0..127 ) ) OPTIONAL, 
  eventParameter Container OPTIONAL, 
  iid Dsrc_EID OPTIONAL
} 
Event_Report_Response
Event_Report_Response 
DSRCData 
 
 
SEQUENCE
{
  fill BIT STRING (SIZE (2 ) ), 
  eid Dsrc_EID, 
  iid Dsrc_EID OPTIONAL, 
  ret ReturnStatus OPTIONAL
} 
File
File 
DSRCData 
 
 
SEQUENCE (SIZE (0..127 ) ) OF
  Record 
FileName
FileName 
DSRCData 
 
 
SEQUENCE
{
  aseID Dsrc_EID, 
  fileID INTEGER (0..127 )
} 
FileType
FileType 
DSRCData 
 
 
NULL 
FutureCharacteristics
FutureCharacteristics 
EfcModule 
 
 
INTEGER{noEntry(0)} (0..255 ) 
GetInstanceRq
GetInstanceRq 
EfcModule 
 
 
SEQUENCE
{
  posOfFirstInstance INTEGER (0..255 ), 
  posOfLastInstance INTEGER (0..255 ), 
  attributeIdList AttributeIdList
GetInstanceRs
GetInstanceRs 
EfcModule 
 
 
SEQUENCE (SIZE (0..127 ) ) OF
  SEQUENCE
  {
    attributeId INTEGER (0..127 ), 
    attributeValues CHOICE
    {
      octetstring [2] OCTET STRING (SIZE (0..127 ) )
    }
  } 
GetStampedRq
GetStampedRq 
EfcModule 
 
 
SEQUENCE
{
  attributeIdList AttributeIdList, 
  nonce OCTET STRING, 
  keyRef INTEGER (0..255 )
} 
GetStampedRs
GetStampedRs 
EfcModule 
 
 
SEQUENCE
{
  attributeList AttributeList, 
  authenticator OCTET STRING
} 
Get_Request
Get_Request 
DSRCData 
 
 
SEQUENCE
{
  fill BIT STRING (SIZE (1 ) ), 
  eid Dsrc_EID, 
  accessCredentials OCTET STRING (SIZE (0..127 ) ) OPTIONAL, 
  iid Dsrc_EID OPTIONAL, 
  attrIdList AttributeIdList OPTIONAL
} 
Get_Response
Get_Response 
DSRCData 
 
 
SEQUENCE
{
  fill BIT STRING (SIZE (1 ) ), 
  eid Dsrc_EID, 
  iid Dsrc_EID OPTIONAL, 
  attributelist AttributeList OPTIONAL, 
  ret ReturnStatus OPTIONAL
} 
ICC_Id
ICC_Id 
EfcModule 
 
 
OCTET STRING 
Initialisation_Request
Initialisation_Request 
DSRCData 
 
 
BST 
Initialisation_Response
Initialisation_Response 
DSRCData 
 
 
VST 
Int1
Int1 
EfcModule 
 
 
INTEGER (0..255 ) 
Int2
Int2 
EfcModule 
 
 
INTEGER (0..65535 ) 
Int3
Int3 
EfcModule 
 
 
INTEGER (0..16777215 ) 
Int4
Int4 
EfcModule 
 
 
INTEGER (0..4294967295 ) 
IssuerIdentifier
IssuerIdentifier 
AVIAEINumberingAndDataStructures 
 
 
INTEGER (0..16383 ) 
LPN
LPN 
EfcModule 
 
 
SEQUENCE
{
  countryCode CountryCode, 
  alphabetIndicator ENUMERATED {latinAlphabetNo1(1), latinAlphabetNo2(2), latinAlphabetNo3(3), latinAlphabetNo4(4), latinCyrillicAlphabet(5), latinArabicAlphabet(6), latinGreekAlphabet(7), latinHebrewAlphabet(8), latinAlphabetNo5(9), latinAlphabetNo6(10), twoOctetBMP(11), fourOctetCanonical(12), reservedForUse1(13), reservedForUse2(14), reservedForUse3(15), reservedForUse4(16), reservedForUse5(17), reservedForUse6(18), reservedForUse7(19), reservedForUse8(20), reservedForUse9(21), reservedForUse10(22), reservedForUse11(23), reservedForUse12(24), reservedForUse13(25), reservedForUse14(26), reservedForUse15(27), reservedForUse16(28), reservedForUse17(29), reservedForUse18(30), reservedForUse19(31), reservedForUse20(32), reservedForUse21(33)}, 
  licencePlateNumber OCTET STRING
} 
ObeConfiguration
ObeConfiguration 
DSRCData 
 
 
SEQUENCE
{
  equipmentClass INTEGER (0..32767 ), 
  manufacturerID INTEGER (0..65535 ), 
  obeStatus INTEGER (0..65535 ) OPTIONAL
} 
PayUnit
PayUnit 
EfcModule 
 
 
OCTET STRING (SIZE (2 ) ) 
PaymentFee
PaymentFee 
EfcModule 
 
 
SEQUENCE
{
  paymentFeeAmount Int2, 
  paymentFeeUnit PayUnit
PaymentMeans
PaymentMeans 
EfcModule 
 
 
SEQUENCE
{
  personalAccountNumber PersonalAccountNumber, 
  paymentMeansExpiryDate DateCompact, 
  pamentMeansUsageControl OCTET STRING (SIZE (2 ) )
} 
PaymentMeansBalance
PaymentMeansBalance 
EfcModule 
 
 
SignedValue 
PaymentMeansUnit
PaymentMeansUnit 
EfcModule 
 
 
PayUnit 
PaymentSecurityData
PaymentSecurityData 
EfcModule 
 
 
OCTET STRING 
PersonalAccountNumber
PersonalAccountNumber 
EfcModule 
 
 
OCTET STRING (SIZE (10 ) ) 
Profile
Profile 
DSRCData 
 
 
INTEGER (0..127 ) 
Provider
Provider 
EfcModule 
 
 
SEQUENCE
{
  countryCode CountryCode, 
  providerIdentifier IssuerIdentifier
PurseBalance
PurseBalance 
EfcModule 
 
 
SEQUENCE
{
  purseValue SignedValue, 
  purseUnit PayUnit
ReceiptAuthenticator
ReceiptAuthenticator 
EfcModule 
 
 
OCTET STRING 
ReceiptContract
ReceiptContract 
EfcModule 
 
 
SEQUENCE
{
  sessionContractProvider Provider, 
  sessionTypeOfContract OCTET STRING (SIZE (2 ) ), 
  sessionContractSerialNumber Int4
ReceiptData
ReceiptData 
EfcModule 
 
 
SEQUENCE
{
  sessionTime DateAndTime, 
  sessionServiceProvider Provider, 
  locationOfStation Int2, 
  sessionLocation SessionLocation, 
  sessionType Int1, 
  sessionResult ResultOp, 
  sessionTariffClass Int1, 
  sessionClaimedClass Int1, 
  sessionFee PaymentFee, 
  sessionContractProvider Provider, 
  sessionTypeOfContract OCTET STRING (SIZE (2 ) ), 
  sessionContextVersion INTEGER (0..127 ), 
  receiptDataAuthenticator OCTET STRING (SIZE (4 ) )
} 
ReceiptDistance
ReceiptDistance 
EfcModule 
 
 
Int3 
ReceiptFinancialPart
ReceiptFinancialPart 
EfcModule 
 
 
SEQUENCE
{
  personalAccountNumber PersonalAccountNumber, 
  sessionPaymentFee PaymentFee, 
  sessionCurrentBalance PurseBalance, 
  receiptFinancialSerialNumber Int4
ReceiptICC_Id
ReceiptICC_Id 
EfcModule 
 
 
ICC_Id 
ReceiptOBUId
ReceiptOBUId 
EfcModule 
 
 
OCTET STRING 
ReceiptServicePart
ReceiptServicePart 
EfcModule 
 
 
SEQUENCE
{
  sessionTime DateAndTime, 
  sessionServiceProvider Provider, 
  stationLocation INTEGER (0..1048575 ), 
  sessionLocation BIT STRING (SIZE (8 ) ), 
  typeOfSession StationType, 
  sessionResultOperational ResultOp, 
  sessionResultFinancial ResultFin
ReceiptServiceSerialNumber
ReceiptServiceSerialNumber 
EfcModule 
 
 
Int3 
ReceiptText
ReceiptText 
EfcModule 
 
 
OCTET STRING 
Record
Record 
DSRCData 
 
 
CHOICE
{
  simple VisibleString
} 
ResultFin
ResultFin 
EfcModule 
 
 
OCTET STRING (SIZE (1 ) ) 
ResultOp
ResultOp 
EfcModule 
 
 
INTEGER{correctTransaction(0), obeStatusNotAccepted(1), equipmentStatusNotAccepted(2), contractNotInWhiteList(3), contractIdentifierInBlackList(4), contractIdentifierNotCorrect(5), expiredContract(6), contractRestrictionsNotFulfilled(7), claimedVehicleCharacteristicsNotValid(8), vehicleClassAuthenticationFailed(9), entryVehicleClassDifferentFromExitVehicleClass(10), entryReceiptMissing(11), entryReceiptNotValid(12), entryTollStationNotValid(13), equipmentNotCertified(14), timeDifference(15), accessCredentialsNotAccepted(16), contractAuthenticatorNotAccepted(17), receiptAuthenticatorNotAccepted(18), claimedVehicleCharacteristicsMissing(19), paymentMeansNotAccepted(20), paymentAuthenticatorNotAccepted(21)} (0..255 ) 
ReturnStatus
ReturnStatus 
DSRCData 
 
 
INTEGER{noError(0), accessDenied(1), argumentError(2), complexityLimitation(3), processingFailure(4), processing(5), chainingError(6)} (0..127 ) 
SessionClass
SessionClass 
EfcModule 
 
 
SEQUENCE
{
  sessionTariffClass Int1, 
  sessionClaimedClass Int1
SessionLocation
SessionLocation 
EfcModule 
 
 
SEQUENCE
{
  ascendingKilometrage BOOLEAN, 
  laneCodeNumber INTEGER (0..127 )
} 
SetInstanceRq
SetInstanceRq 
EfcModule 
 
 
SEQUENCE
{
  posOfInstance INTEGER (0..255 ), 
  attribute Attributes
SetMMIRq
SetMMIRq 
EfcModule 
 
 
INTEGER{ok(0), nok(1), contactOperator(2), noSignalling(255)} (0..255 ) 
SetStampedRq
SetStampedRq 
EfcModule 
 
 
SEQUENCE
{
  attributeList AttributeList, 
  nonce OCTET STRING, 
  keyRef INTEGER (0..255 )
} 
Set_Request
Set_Request 
DSRCData 
 
 
SEQUENCE
{
  fill BIT STRING (SIZE (1 ) ), 
  mode BOOLEAN, 
  eid Dsrc_EID, 
  accessCredentials OCTET STRING (SIZE (0..127 ) ) OPTIONAL, 
  attrList AttributeList, 
  iid Dsrc_EID OPTIONAL
} 
Set_Response
Set_Response 
DSRCData 
 
 
SEQUENCE
{
  fill BIT STRING (SIZE (2 ) ), 
  eid Dsrc_EID, 
  iid Dsrc_EID OPTIONAL, 
  ret ReturnStatus OPTIONAL
} 
SignedValue
SignedValue 
EfcModule 
 
 
CHOICE
{
  positive INTEGER (0..838607 ), 
  negative INTEGER (-838608..-1 )
} 
StationType
StationType 
EfcModule 
 
 
ENUMERATED {unspecified(0), closedEntryWithPayment(1), closedEntryWithoutPayment(2), closedTransit(3), closedExit(4), closedCredit(5), mixed(6), passage(7), checkpoint(8), reload(9), reservedForFutureCENUse1(10), reservedForFutureCENUse2(11), reservedForFutureCENUse3(12), reservedForFutureCENUse4(13), privateUse5(14), privateUse6(15)} 
SubRq
SubRq 
EfcModule 
 
 
SEQUENCE
{
  attributeId INTEGER (0..127 ), 
  value INTEGER
} 
T_APDUs
T_APDUs 
DSRCData 
 
 
CHOICE
{
  action_request [0] Action_Request, 
  action_response [1] Action_Response, 
  event_report_request [2] Event_Report_Request, 
  event_report_response [3] Event_Report_Response, 
  set_request [4] Set_Request, 
  set_response [5] Set_Response, 
  get_request [6] Get_Request, 
  get_response [7] Get_Response, 
  initialisation_request [8] Initialisation_Request, 
  initialisation_response [9] Initialisation_Response,
  initialisation_response_s1 [10] Initialisation_Response_s1
Time
Time 
DSRCData 
 
 
INTEGER (0..4294967295 ) 
VST
VST 
DSRCData 
 
 
SEQUENCE
{
  fill BIT STRING (SIZE (4 ) ), 
  profile Profile, 
  applications ApplicationList, 
  obeConfiguration ObeConfiguration
ValidityOfContract
ValidityOfContract 
EfcModule 
 
 
SEQUENCE
{
  issuerRestrictions OCTET STRING (SIZE (2 ) ), 
  contractExpiryDate DateCompact
VehicleAuthenticator
VehicleAuthenticator 
EfcModule 
 
 
OCTET STRING 
VehicleAxles
VehicleAxles 
EfcModule 
 
 
SEQUENCE
{
  vehicleFirstAxleHeight Int1, 
  vehicleAxlesNumber SEQUENCE
  {
    tyreType ENUMERATED {notSpecified(0), singleTyre(1), dualTyres(2), reservedForUse(3)}, 
    numberOfAxles INTEGER (0..63 )
  }
} 
VehicleClass
VehicleClass 
EfcModule 
 
 
Int1 
VehicleDimensions
VehicleDimensions 
EfcModule 
 
 
SEQUENCE
{
  vehicleLengthOverall Int1, 
  vehicleHeigthOverall Int1, 
  vehicleWidthOverall Int1
VehicleSpecificCharacteristics
VehicleSpecificCharacteristics 
EfcModule 
 
 
SEQUENCE
{
  environmentalCharacteristics EnvironmentalCharacteristics, 
  engineCharacteristics EngineCharacteristics, 
  descriptiveCharacteristics DescriptiveCharacteristics, 
  futureCharacteristics FutureCharacteristics
VehicleWeightLaden
VehicleWeightLaden 
EfcModule 
 
 
Int2 
VehicleWeightLimits
VehicleWeightLimits 
EfcModule 
 
 
SEQUENCE
{
  vehicleMaxLadenWeight Int2, 
  vehicleTrainMaximumWeight Int2, 
  vehicleWeightUnladen Int2
Message
Message 
DSRCtransferData 
 
 
T_APDUs 
VehicleIdentificationNumber
VehicleIdentificationNumber 
EfcModule 
 
 
CS5 
ReceiptData2
ReceiptData2 
EfcModule 
 
 
ReceiptData 
ReceiptData1
ReceiptData1 
EfcModule 
 
 
ReceiptData 
VST_s1
VST_s1 
PT21EN15509SecurityLevel1 
 
 
SEQUENCE
{
  fill BIT STRING (SIZE (4 ) ), 
  profile Profile, 
  applications_s1 ApplicationList_s1, 
  obeConfiguration ObeConfiguration
Initialisation_Response_s1
Initialisation_Response_s1 
PT21EN15509SecurityLevel1 
 
 
VST_s1 
ApplicationList_s1
ApplicationList_s1 
PT21EN15509SecurityLevel1 
 
 
SEQUENCE (SIZE (0..127 ) ) OF
  SEQUENCE
  {
    aid DSRCApplicationEntityID, 
    eid Dsrc_EID OPTIONAL, 
    parameter ApplicationContextMark_s1
ApplicationContextMark_s1
ApplicationContextMark_s1 
PT21EN15509SecurityLevel1 
 
 
SEQUENCE
{
  efccontextoctetstring OCTET STRING (SIZE (2 ) ), 
  efccontext [32] EFC_ContextMark, 
  accrreferenceoctetstring OCTET STRING (SIZE (2 ) ), 
  accrreference AC_CR_Reference, 
  rndobeoctetstring OCTET STRING (SIZE (2 ) ), 
  rndobe RndOBE
RndOBE
RndOBE 
PT21EN15509SecurityLevel1 
 
 
BIT STRING (SIZE (32 ) ) 
AC_CR_Reference
AC_CR_Reference 
PT21EN15509SecurityLevel1 
 
 
SEQUENCE
{
  ac_cr_masterkeyref AC_CR_MasterKeyRef, 
  ac_cr_diversifier AC_CR_Diversifier
AC_CR_MasterKeyRef
AC_CR_MasterKeyRef 
PT21EN15509SecurityLevel1 
 
 
BIT STRING (SIZE (8 ) ) 
AC_CR_Diversifier
AC_CR_Diversifier 
PT21EN15509SecurityLevel1 
 
 
BIT STRING (SIZE (8 ) ) 
AccessCredentials
AccessCredentials 
PT21EN15509SecurityLevel1 
 
 
OCTET STRING (SIZE (4 ) ) 
Authenticator
Authenticator 
PT21EN15509SecurityLevel1 
 
 
OCTET STRING (SIZE (4 ) ) 
RndRSE
RndRSE 
PT21EN15509SecurityLevel1 
 
 
OCTET STRING (SIZE (4 ) ) 
Detailed Comments
 


Encoding Definitions

Encoding Rule Name Reference Default Comments
Detailed Comments
 


TSO_random_lid

Operation Name
TSO_random_lid 
Result Type
Lid 
Comments
Generates private LID. 
Description
Pseudo random shift register with 28 stages. Produces INTEGER numbes in the range from zero to 2.147.483.647 
Detailed Comments
 


TSO_random_pdu

Operation Name
TSO_random_pdu 
Result Type
INTEGER 
Comments
Generates INTEGER number of an equal distribution in the valid range of pdu numbers, i.e. in the range [2 ... 31].  With every subsequent call of this funtion a new value shall be returned. 
Description
Pseudo random shift register with period of 31 and suppression of the values 0 and 1. First call shall initialize generator based on actual time. 
Detailed Comments
 


Test Suite Parameter Declarations

Parameter Name Type PICS/PIXIT Ref Comments
TSPC_B_KERNEL
BOOLEAN 
PICS Table B.1/3 
True, if B-Kernel is implemented 
TSPC_I_KERNEL
BOOLEAN 
PICS Table B.1/1 
True, if I-Kernel is implemented 
TSPC_Multiple_Apps
BOOLEAN 
PICS: Table B.2/4 
True, if IUT supports multiple DSRCApplicationEntityIDs in mand or nonmand ApplicationList (multiple applications supported) 
TSPC_RX_ACTrsp_FC9
BOOLEAN 
PICS: Table F.3/11 
Pr-LID, FlowControl=9, ACTION.response, mode=1, RX 
TSPC_RX_GETrsp_FC9
BOOLEAN 
PICS: Table F.3/9 
Pr-LID, FlowControl=9, GET.response, RX 
TSPC_RX_SETrsp_FC9
BOOLEAN 
PICS: Table F.3/10 
Pr-LID, FlowControl=9, SET.response, mode=1, RX 
TSPC_TX_ACTreq_FC7
BOOLEAN 
PICS: Table F.2/13 
Pr-LID, FlowControl=7, ACTION.request, mode=1, TX 
TSPC_TX_GETreq_FC7
BOOLEAN 
PICS: Table F.2/11 
Pr-LID, FlowControl=9, GET.request,  TX 
TSPC_TX_SETreq_FC7
BOOLEAN 
PICS: Table F.2/12 
Pr-LID, FlowControl=7, SET.request, mode=1, TX 
TSPX_APDU_7a_EIDa_req
T_APDUs 
PIXIT Item D.7/1 
Used in TC_AL_T_RSU_BI_02 and TC_AL_T_RSU_BI_03:
APDU with FlowControl=7 and Mode=TRUE 
TSPX_APDU_7a_EIDa_rsp
T_APDUs 
PIXIT Item D.7/2 
Response to TSPX_APDU_7a_EIDa_req 
TSPX_APDU_7b_EIDa_req
T_APDUs 
PIXIT Item D.7/3 
APDU with FlowControl=7 and Mode=TRUE 
TSPX_Default_applicationID
DSRCApplicationEntityID 
PIXIT Item D.7/4 
Used in STP_RX_BST_DEF_APPS_ID, TC_AL_I_RSU_BI_01, TC_AL_I_RSU_BI_02, TC_AL_I_RSU_BV_02, TC_AL_I_RSU_BV_03
aid value that will be acceptable for the RSU under test, as used in TSPX_default_ApplicationList_BST and TSPX_default_ApplicationList_VST 
TSPX_Default_profile
Profile 
PIXIT Item D.7/5 
Used in: STP_Init_Application_Failure, STP_RX_BST_DEF_APPS_ID, TC_AL_T_RSU_BI_01, TC_AL_I_RSU_BI_01, TC_AL_I_RSU_BI_02, TC_AL_I_RSU_BV_02, TC_AL_I_RSU_BV_03
profile value that will be acceptable for the RSU under test 
TSPX_TX_RX_LTA_TimeOut
INTEGER 
PIXIT Item D.7/6 
Time in milli-seconds waiting for reception of next command frame to be received from RSU under test upon transmission of response frame 
TSPX_Tester_Wait_FOR_RX_TimeOut
INTEGER 
PIXIT Item D.7/7 
Time in milli-seconds waiting for reception of frame to be received from RSU under test upon IMPLICIT_SEND 
TSPX_defaultObeConfiguration
ObeConfiguration 
PIXIT Item D.7/8 
Default ObeConfiguration to be used 
TSPX_default_ApplicationList_BST
ApplicationList 
PIXIT Item D.7/9 
Default application list in BST. Shall contain TSPX_Default_applicationID
TSPX_default_ApplicationList_VST
ApplicationList 
PIXIT Item D.7/10 
Default application list in VST as valid response to TSPX_default_ApplicationList_BST. Shall contain TSPX_default_EFC_Context_Mark and TSPX_default_eid 
TSPX_default_EFC_Context_Mark
EFC_Context_Mark_octetstring 
PIXIT Item D.7/11 
Default instance of EN 14906 application
Only octetstring [2] is implemented so far.
efccontext [32] is defined in 14906, but likely never used
As used in TSPX_default_ApplicationList_VST 
TSPX_default_eid
Dsrc_EID 
PIXIT Item D.7/12 
Default EID as used in TSPX_default_ApplicationList_VST 
TSPX_profile_A
Profile 
PIXIT Item D.7/13 
This profile shall be supported by the RSU under test 
TSPX_profile_B
Profile 
PIXIT Item D.7/14 
This profile shall be supported by theRSU under test 
TSPX_profile_C
Profile 
PIXIT Item D.7/15 
This profilemust not not be supported by the RSU under test 
TSPX_second_EFC_Context_Mark
EFC_Context_Mark_octetstring 
PIXIT Item D.7/19 
Second, known EFC Context Mark supported at RSU, if 2 applications supported. 
TSPX_second_eid
Dsrc_EID 
PIXIT Item D.7/16 
Second EID. Value is not important, as never evaluated at RSU under test. Used in VST together with TSPX_Default_applicationID andTSPX_default_EFC_Context_Mark as a valid response to BST
TSPX_unknown_EFC_Context_Mark
EFC_Context_Mark_octetstring 
PIXIT Item D.7/17 
EFC context not supported at RSU under test. 
TSPX_unknown_applicationID
DSRCApplicationEntityID 
PIXIT Item D.7./18 
aid not supported at RSU under test. 
TSPC_SEC1
BOOLEAN 
PICS Table §.§/§ 
True, if RSE supports security level 1 according to EN 15509 section 5.2.5.3 
TSPX_default_ApplicationList_VST_s1
ApplicationList_s1 
PIXIT Item §/§ 
Default application list in VST security level 1 as valid response to TSPX_default_ApplicationList_BST. Shall contain TSPX_default_EFC_Context_Mark and TSPX_default_eid 
TSPX_default_eid_7
Dsrc_EID 
PIXIT Item C.7/34 
EID as used together with TSPX_attributes_7, TSPX_attributes_7_a 
TSPX_attributes_7
Attributes 
PIXIT Item C.7/27 
Attribute to be used in SET and GET with FlowControl=7and TSPX_default_EID_7. 
TSPX_inv_attrib
AttributeList 
PIXIT Item §/§ 
invalid attributelist in response to a GET.rq TSPX_attributes_7 
TSPX_AttrList_ReceiptData_group
AttributeList 
PIXIT item §/§ 
values for SET.rq of ReceiptData group 
TSPX_AttrList_ReceiptData1
AttributeList 
PIXIT item §/§ 
values for SET.rq of ReceiptData1 
TSPX_AttrList_ReceiptData2
AttributeList 
PIXIT item §/§ 
values for SET.rq of ReceiptData2 
TSPX_AttrList_EquipmentStatus
AttributeList 
PIXIT item §/§ 
values for SET.rq of EquipmentStatus 
TSPX_AttrList_ReceiptData1_EquipmentStatus
AttributeList 
PIXIT item §/§ 
values for SET.rq of ReceiptData1 and EquipmentStatus 
TSPX_AttrList_ReceiptData_group_EquipmentStatus
AttributeList 
PIXIT item §/§ 
values for SET.rq of ReceiptData group and EquipmentStatus 
TSPX_AttrList_ReceiptData2_EquipmentStatus
AttributeList 
PIXIT item §/§ 
values for SET.rq of ReceiptData2 and EquipmentStatus 
TSPX_AttributeIdList
AttributeIdList 
PIXIT §.§/§ 
valid AttributeIdList 
TSPX_AuthKeyRef1
INTEGER 
PIXIT §.§/§ 
valid Authenticator Key Reference 1 
TSPX_invAttrLst
Container 
PIXIT §/§ 
invalid Attribute list in GET_STAMPED.rs 
TSPX_incAuth
Container 
PIXIT §/§ 
incorrect Authenticator in GET_STAMPED.rs 
TSPX_SetMMIActionParameter
INTEGER 
PIXIT item §/§ 
valid SetMMI ActionParameter 
TSPX_0GET
BOOLEAN 
PIXIT item §/§ 
True if GET.rq of security level 0 is implemented in the DUT. Part of the PDU selector mechanism 
TSPX_0SET
BOOLEAN 
PIXIT item §/§ 
True if SET.rq of security level 0 is implemented in the DUT. Part of the PDU selector mechanism 
TSPX_0STA
BOOLEAN 
PIXIT item §/§ 
True if GET_STAMPED.rq of security level 0 is implemented in the DUT. Part of the PDU selector mechanism 
TSPX_0MMI
BOOLEAN 
PIXIT item §/§ 
True if SetMMI.rq of security level 0 is implemented in the DUT. Part of the PDU selector mechanism 
TSPX_0ECH
BOOLEAN 
PIXIT item §/§ 
True if ECHO.rq of security level 0 is implemented in the DUT. Part of the PDU selector mechanism 
TSPX_0REL
BOOLEAN 
PIXIT item §/§ 
True if RELEASE.rq of security level 0 is implemented in the DUT. Part of the PDU selector mechanism 
TSPX_1GET
BOOLEAN 
PIXIT item §/§ 
True if GET.rq of security level 1 is implemented in the DUT. Part of the PDU selector mechanism 
TSPX_1SET
BOOLEAN 
PIXIT item §/§ 
True if SET.rq of security level 1 is implemented in the DUT. Part of the PDU selector mechanism 
TSPX_1STA
BOOLEAN 
PIXIT item §/§ 
True if GET_STAMPED.rq of security level 1 is implemented in the DUT. Part of the PDU selector mechanism 
TSPX_1MMI
BOOLEAN 
PIXIT item §/§ 
True if SetMMI.rq of security level 1 is implemented in the DUT. Part of the PDU selector mechanism 
TSPX_1ECH
BOOLEAN 
PIXIT item §/§ 
True if ECHO.rq of security level 1 is implemented in the DUT. Part of the PDU selector mechanism 
Detailed Comments
 


Test Case Selection Expression Definitions

Expression Name Selection Expression Comments
SEL_FC7_SERVICE__NO_B_KERNEL
SEL_FC7_SERVICE AND (NOT TSPC_B_KERNEL
True if GET, or SET or ACTION service with mode=1 is supported (FlowControl=7 for TX) 
SEL_FC7_SERVICE
((TSPC_TX_GETreq_FC7 AND TSPC_RX_GETrsp_FC9) OR (TSPC_TX_SETreq_FC7 AND TSPC_RX_SETrsp_FC9) OR (TSPC_TX_ACTreq_FC7 AND TSPC_RX_ACTrsp_FC9)) AND TSPC_I_KERNEL 
True if GET, or SET or ACTION service with mode=1 is supported (FlowControl=7 for TX) 
SEL_I_KERNEL__NO_B_KERNEL
TSPC_I_KERNEL AND (NOT TSPC_B_KERNEL
True, if I-Kernel is implemented 
SEL_I_KERNEL
TSPC_I_KERNEL 
True, if I-Kernel is implemented 
SEL_MANDATORY_S0
TRUE 
For all mandatory capabilities of DUT supporting security level 0 
SEL_MANDATORY_S1
TRUE 
For all mandatory capabilities of DUT supporting security level 1 
SEL_I_KERNEL_MULTIPLE_APPS
SEL_I_KERNEL AND TSPC_Multiple_Apps 
True, if I-Kernel is implemented and multiple applications are supported. 
Detailed Comments
 


Test Suite Constant Declarations

Constant Name Type Value Comments
TSC_EventType_RELEASE
EventType 
 
TSC_System_EID
Dsrc_EID 
 
TSC_ActionType_GET_STAMPED
ActionType 
Action type from CEN/ISO14906 indicating the GET_STAMPED service 
TSC_nonce_5
TextString 
'05'O 
forces nonce to value=5 
TSC_ActionType_SetMMI
ActionType 
10 
Action type from CEN/ISO14906 indicating the SetMMI service 
TSC_ActionType_ECHO
ActionType 
15 
Action type from CEN/ISO14906 indicating the ECHO service 
Detailed Comments
 


Test Suite Constant Declarations By Reference

Constant Name Type Value Reference Module Identifier Comments Value
Detailed Comments
 


Test Suite Variable Declarations

Variable Name Type Value Comments
TSV_Error
BOOLEAN 
FALSE 
True if previously executed test case failed. False if previously executed test case passed. Needed as part of the PDU selector mechanism. 
TSV_STP_TC_AP_0BAS_RSE_BV_01_run
BOOLEAN 
FALSE 
FALSE until STP_TC_AP_0BAS_RSE_BV_01 ran through 
TSV_STP_TC_AP_0GET_RSE_BV_01_run
BOOLEAN 
FALSE 
FALSE until STP_TC_AP_0GET_RSE_BV_01 ran through 
TSV_STP_TC_AP_0SET_RSE_BV_01_run
BOOLEAN 
FALSE 
FALSE until STP_TC_AP_0SET_RSE_BV_01 ran through 
TSV_STP_TC_AP_0SET_RSE_BV_02_run
BOOLEAN 
FALSE 
FALSE until STP_TC_AP_0SET_RSE_BV_02 ran through 
TSV_STP_TC_AP_0SET_RSE_BV_03_run
BOOLEAN 
FALSE 
FALSE until STP_TC_AP_0SET_RSE_BV_03 ran through 
TSV_STP_TC_AP_0SET_RSE_BV_04_run
BOOLEAN 
FALSE 
FALSE until STP_TC_AP_0SET_RSE_BV_04 ran through 
TSV_STP_TC_AP_0SET_RSE_BV_05_run
BOOLEAN 
FALSE 
FALSE until STP_TC_AP_0SET_RSE_BV_05 ran through 
TSV_STP_TC_AP_0SET_RSE_BV_06_run
BOOLEAN 
FALSE 
FALSE until STP_TC_AP_0SET_RSE_BV_06 ran through 
TSV_STP_TC_AP_0SET_RSE_BV_07_run
BOOLEAN 
FALSE 
FALSE until STP_TC_AP_0SET_RSE_BV_07 ran through 
TSV_STP_TC_AP_0STA_RSE_BV_01_run
BOOLEAN 
FALSE 
FALSE until STP_TC_AP_0STA_RSE_BV_01 ran through 
TSV_STP_TC_AP_0MMI_RSE_BV_01_run
BOOLEAN 
FALSE 
FALSE until STP_TC_AP_0MMI_RSE_BV_01 ran through 
TSV_STP_TC_AP_0ECH_RSE_BV_01_run
BOOLEAN 
FALSE 
FALSE until STP_TC_AP_0ECH_RSE_BV_01 ran through 
TSV_STP_TC_AP_0REL_RSE_BV_01_run
BOOLEAN 
FALSE 
FALSE until STP_TC_AP_0REL_RSE_BV_01 ran through 
TSV_STP_TC_AP_0GET_RSE_BI_01_run
BOOLEAN 
FALSE 
FALSE until STP_TC_AP_0GET_RSE_BI_01 ran through 
TSV_STP_TC_AP_0STA_RSE_BI_01_run
BOOLEAN 
FALSE 
FALSE until STP_TC_AP_0STA_RSE_BI_01 ran through 
TSV_STP_TC_AP_0STA_RSE_BI_03_run
BOOLEAN 
FALSE 
FALSE until STP_TC_AP_0STA_RSE_BI_03 ran through 
TSV_STP_TC_AP_1BAS_RSE_BV_01_run
BOOLEAN 
FALSE 
FALSE until STP_TC_AP_1BAS_RSE_BV_01 ran through 
TSV_STP_TC_AP_1GET_RSE_BV_01_run
BOOLEAN 
FALSE 
FALSE until STP_TC_AP_1GET_RSE_BV_01 ran through 
TSV_STP_TC_AP_1SET_RSE_BV_01_run
BOOLEAN 
FALSE 
FALSE until STP_TC_AP_1SET_RSE_BV_01 ran through 
TSV_STP_TC_AP_1SET_RSE_BV_02_run
BOOLEAN 
FALSE 
FALSE until STP_TC_AP_1SET_RSE_BV_02 ran through 
TSV_STP_TC_AP_1SET_RSE_BV_03_run
BOOLEAN 
FALSE 
FALSE until STP_TC_AP_1SET_RSE_BV_03 ran through 
TSV_STP_TC_AP_1SET_RSE_BV_04_run
BOOLEAN 
FALSE 
FALSE until STP_TC_AP_1SET_RSE_BV_04 ran through 
TSV_STP_TC_AP_1SET_RSE_BV_05_run
BOOLEAN 
FALSE 
FALSE until STP_TC_AP_1SET_RSE_BV_05 ran through 
TSV_STP_TC_AP_1SET_RSE_BV_06_run
BOOLEAN 
FALSE 
FALSE until STP_TC_AP_1SET_RSE_BV_06 ran through 
TSV_STP_TC_AP_1SET_RSE_BV_07_run
BOOLEAN 
FALSE 
FALSE until STP_TC_AP_1SET_RSE_BV_07 ran through 
TSV_STP_TC_AP_1STA_RSE_BV_01_run
BOOLEAN 
FALSE 
FALSE until STP_TC_AP_1STA_RSE_BV_01 ran through 
TSV_STP_TC_AP_1MMI_RSE_BV_01_run
BOOLEAN 
FALSE 
FALSE until STP_TC_AP_1MMI_RSE_BV_01 ran through 
TSV_STP_TC_AP_1ECH_RSE_BV_01_run
BOOLEAN 
FALSE 
FALSE until STP_TC_AP_1ECH_RSE_BV_01 ran through 
TSV_STP_TC_AP_1GET_RSE_BI_01_run
BOOLEAN 
FALSE 
FALSE until STP_TC_AP_1GET_RSE_BI_01 ran through 
TSV_STP_TC_AP_1STA_RSE_BI_01_run
BOOLEAN 
FALSE 
FALSE until STP_TC_AP_1STA_RSE_BI_01 ran through 
TSV_STP_TC_AP_1STA_RSE_BI_03_run
BOOLEAN 
FALSE 
FALSE until STP_TC_AP_1STA_RSE_BI_03 ran through 
Detailed Comments
 


Test Case Variable Declarations

Variable Name Type Value Comments
TCV_LoopCounter
INTEGER 
 
Used to control the number of repetitions in a testcase loop 
TCV_Profile
Profile 
 
 
TCV_Service_Param
T_APDU 
 
 
TCV_first_eid
Dsrc_EID 
 
EID as reported in VST for first (default) application 
TCV_session_lid
Lid 
 
Variable that holds the LID for the current transaction sequence. The LID is retrieved from the VST received during the initialization sequence. 
TCV_accessCredentials
AccessCredentials 
 
Test case variable for accessCredentials (calculated by test adapter) 
TCV_mode
BOOLEAN 
TRUE 
test case variable for value of MODE in .rq commands 
Detailed Comments
 


PCO Type Declarations

PCO Type Role Comments
TSAP
LT 
SAP offered by T-Kernel to B-Kernel, I-Kernel and Application 
Detailed Comments
 


PCO Declarations

PCO Name PCO Type Role Comments
TPCO1
TSAP 
LT 
Between T-Kernel encoding/decoding function and rest of application layer above 
Detailed Comments
 


Coordination Point Declarations

CP Name Comments
Detailed Comments
 


Timer Declarations

Timer Name Duration Unit Comments
T_TX_RX_LTA
TSPX_TX_RX_LTA_TimeOut 
ms 
Wait for frame send by RSU under test 
T_TESTER_WAIT
TSPX_Tester_Wait_FOR_RX_TimeOut 
ms 
Wait for frame send by RSU under test, following implicit send event (operator intervention) 
Detailed Comments
 


Test Component Declarations

Component Name Component Role Nr PCOs Nr CPs Comments
Detailed Comments
 


ASGE_REQ

ASP Name
ASGE_REQ 
PCO Type
TSAP 
Comments
ASP for GET, SET, ACTION and EVENT-REPORT without concatenation 
Parameter Name Parameter Type Comments
LID 
Lid 
Private Link Identifier 
FLOW_CONTROL 
INTEGER 
Must be 4 or 7 
ASGE_PARAM 
T_APDU 
 
FH_PDU 
INTEGER 
Fragmentation Header PDU Number field. Value outside of the allowed range indicates: use internal rule for setting this field. 
FH_FC 
INTEGER 
Fragmentation Header Fragment Counter field. Value outside of the allowed range indicates: use internal rule for setting this field. 
Detailed Comments
 


ASGE_RSP

ASP Name
ASGE_RSP 
PCO Type
TSAP 
Comments
ASP for GET, SET, ACTION and EVENT-REPORT without concatenation 
Parameter Name Parameter Type Comments
LID 
Lid 
Link Identifier 
FLOW_CONTROL 
INTEGER 
Must be 4 or 7 
ASGE_PARAM 
T_APDU 
 
FH_PDU 
INTEGER 
Fragmentation Header PDU Number field. Value outside of the allowed range indicates: use internal rule for setting this field. 
FH_FC 
INTEGER 
Fragmentation Header Fragment Counter field. Value outside of the allowed range indicates: use internal rule for setting this field. 
Detailed Comments
 


INIT_REQ

ASP Name
INIT_REQ 
PCO Type
TSAP 
Comments
ASP for INITIALISATION 
Parameter Name Parameter Type Comments
LID 
Lid 
Should be 127 for Initialisation 
FLOW_CONTROL 
INTEGER 
 
Init_Param 
T_APDU 
 
FH_PDU 
INTEGER 
Fragmentation Header PDU Number field. Value outside of the allowed range indicates: use internal rule for setting this field. 
FH_FC 
INTEGER 
Fragmentation Header Fragment Counter field. Value outside of the allowed range indicates: use internal rule for setting this field. 
Detailed Comments
 


INIT_RSP

ASP Name
INIT_RSP 
PCO Type
TSAP 
Comments
ASP for INITIALISATION 
Parameter Name Parameter Type Comments
LID 
Lid 
The correct values are in the range of 0..268435455 
FLOW_CONTROL 
INTEGER 
 
Init_Param 
T_APDU 
 
FH_PDU 
INTEGER 
Fragmentation Header PDU Number field. Value outside of the allowed range indicates: use internal rule for setting this field. 
FH_FC 
INTEGER 
Fragmentation Header Fragment Counter field. Value outside of the allowed range indicates: use internal rule for setting this field. 
Detailed Comments
 


ASN.1 ASP Type Definitions By Reference

ASP Name PCO Type Type Reference Module Identifier Comments Type Definition
Detailed Comments
 


ASN.1 PDU Type Definitions By Reference

PDU Name PCO Type Type Reference Module Identifier Enc Rule Enc Variation Comments Type Definition
T_APDU
TSAP 
Message 
DSRCtransferData 
 
 
 
T_APDUs 
Detailed Comments
 


Alias Definitions

Alias Name Expansion Comments
Detailed Comments
 


cts_broadcast_LID

Constraint Name
cts_broadcast_LID 
Group
 
ASN1 Type
Lid 
Derivation Path
 
Encoding Variation
 
Comments
This is the "broadcast to all" LID value. Used to transmit the BST 
Constraint Value
{
  lid_value 127,
  lid_private FALSE
} 
Detailed Comments
 


casp_asge_req

Constraint Name
casp_asge_req (lid : Lid ; fl_ctrl : INTEGER ; tapdu : T_APDU ; fh_pdu : INTEGER ; fh_fc : INTEGER) 
Group
 
ASP Type
ASGE_REQ 
Derivation Path
 
Comments
 
Parameter Name Parameter Value Comments
LID 
lid 
private 
FLOW_CONTROL 
fl_ctrl 
 
ASGE_PARAM 
tapdu 
GET, SET, ACTION, EVENT_REPORT 
FH_PDU 
fh_pdu 
Fragmentation Header PDU Number field. Value outside of the allowed range indicates: use internal rule for setting this field. 
FH_FC 
fh_fc 
Fragmentation Header Fragment Counter field. Value outside of the allowed range indicates: use internal rule for setting this field. 
Detailed Comments
 


casp_asge_rsp

Constraint Name
casp_asge_rsp (lid : Lid ; fl_ctrl : INTEGER ; tapdu : T_APDU ; fh_pdu : INTEGER ; fh_fc : INTEGER ) 
Group
 
ASP Type
ASGE_RSP 
Derivation Path
 
Comments
 
Parameter Name Parameter Value Comments
LID 
lid 
 
FLOW_CONTROL 
fl_ctrl 
 
ASGE_PARAM 
tapdu 
GET, SET, ACTION, EVENT_REPORT 
FH_PDU 
fh_pdu 
Fragmentation Header PDU Number field. Value outside of the allowed range indicates: use internal rule for setting this field. 
FH_FC 
fh_fc 
Fragmentation Header Fragment Counter field. Value outside of the allowed range indicates: use internal rule for setting this field. 
Detailed Comments
 


casp_init_req

Constraint Name
casp_init_req (lid : Lid; fl_ctrl : INTEGER ; bst : T_APDU ; fh_pdu : INTEGER ; fh_fc : INTEGER) 
Group
 
ASP Type
INIT_REQ 
Derivation Path
 
Comments
 
Parameter Name Parameter Value Comments
LID 
lid 
 
FLOW_CONTROL 
fl_ctrl 
 
Init_Param 
bst 
 
FH_PDU 
fh_pdu 
Fragmentation Header PDU Number field. Value outside of the allowed range indicates: use internal rule for setting this field. 
FH_FC 
fh_fc 
Fragmentation Header Fragment Counter field. Value outside of the allowed range indicates: use internal rule for setting this field. 
Detailed Comments
 


casp_init_rsp

Constraint Name
casp_init_rsp(lid : Lid ; fl_ctrl: INTEGER ; vst : T_APDU ; fh_pdu : INTEGER ; fh_fc : INTEGER ) 
Group
 
ASP Type
INIT_RSP 
Derivation Path
 
Comments
This constraint will accept any valid VST 
Parameter Name Parameter Value Comments
LID 
lid 
 
FLOW_CONTROL 
fl_ctrl 
 
Init_Param 
vst 
 
FH_PDU 
fh_pdu 
Fragmentation Header PDU Number field. Value outside of the allowed range indicates: use internal rule for setting this field. 
FH_FC 
fh_fc 
Fragmentation Header Fragment Counter field. Value outside of the allowed range indicates: use internal rule for setting this field. 
Detailed Comments
 


cpdu_BST

Constraint Name
cpdu_BST(beaconid : BeaconID ; t : Time ; prof : Profile ; apps : ApplicationList ; nmapps : ApplicationList ; prof_list : Profile_List
Group
 
PDU Type
T_APDU 
Derivation Path
 
Encoding Rule Name
 
Encoding Variation
 
Comments
Default BST that will be recognized by the OBU under test 
Constraint Value
initialisation_request : 
   {
     rsu beaconid , 
     time t, 
     profile prof, 
     mandApplications apps, 
     nonmandApplications nmapps,
     profileList prof_list
   } 
Detailed Comments
 


cpdu_VST

Constraint Name
cpdu_VST(prof : Profile ; apps : ApplicationList ; conf : ObeConfiguration
Group
 
PDU Type
T_APDU 
Derivation Path
 
Encoding Rule Name
 
Encoding Variation
 
Comments
 
Constraint Value
initialisation_response : 
   {
     fill ?, 
     profile prof, 
     applications apps,
     obeConfiguration conf
   } 
Detailed Comments
 


cpdu_release_req

Constraint Name
cpdu_release_req 
Group
 
PDU Type
T_APDU 
Derivation Path
 
Encoding Rule Name
 
Encoding Variation
 
Comments
 
Constraint Value
event_report_request:
{
  mode FALSE,
  eid TSC_System_EID, 
  eventType TSC_EventType_RELEASE, 
  accessCredentials - ,
  eventParameter -,
  iid -
} 
Detailed Comments
 


cpdu_VST_s1

Constraint Name
cpdu_VST_s1(prof : Profile ; apps_s1 : ApplicationList_s1 ; conf : ObeConfiguration
Group
 
PDU Type
T_APDU 
Derivation Path
 
Encoding Rule Name
 
Encoding Variation
 
Comments
 
Constraint Value
initialisation_response_s1 :
{
  fill ?,
  profile prof,
  applications_s1 apps_s1,
  obeConfiguration conf
} 
Detailed Comments
 


cpdu_get_req

Constraint Name
cpdu_get_req(session_eid : Dsrc_EID ; attribute_id_list : AttributeIdList
Group
 
PDU Type
T_APDU 
Derivation Path
 
Encoding Rule Name
 
Encoding Variation
 
Comments
GET.request without accessCredentials 
Constraint Value
get_request:
{
  fill '0'B,
  eid session_eid,
  accessCredentials -,
  iid -,
  attrIdList attribute_id_list
} 
Detailed Comments
 


cpdu_get_rsp_ret0

Constraint Name
cpdu_get_rsp_ret0(session_eid : Dsrc_EID
Group
 
PDU Type
T_APDU 
Derivation Path
 
Encoding Rule Name
 
Encoding Variation
 
Comments
GET response 
Constraint Value
get_response:
{
  fill ?,
  eid session_eid,
  iid -,
  attributelist ?,
  ret 0 IF_PRESENT
} 
Detailed Comments
 


cpdu_get_req_s1

Constraint Name
cpdu_get_req_s1(session_eid : Dsrc_EID ; accr : AccessCredentials ; attribute_id_list : AttributeIdList
Group
 
PDU Type
T_APDU 
Derivation Path
 
Encoding Rule Name
 
Encoding Variation
 
Comments
GET.request with accessCredentials 
Constraint Value
get_request:
{
  fill '0'B,
  eid session_eid,
  accessCredentials accr,
  iid -,
  attrIdList attribute_id_list
} 
Detailed Comments
 


cpdu_get_rsp_ret0_inv

Constraint Name
cpdu_get_rsp_ret0_inv(session_eid : Dsrc_EID; attrlst : AttributeList
Group
 
PDU Type
T_APDU 
Derivation Path
 
Encoding Rule Name
 
Encoding Variation
 
Comments
GET response with placeholder for invalid AttributeList 
Constraint Value
get_response:
{
  fill ?,
  eid session_eid,
  iid -,
  attributelist attrlst,
  ret 0 IF_PRESENT
} 
Detailed Comments
 


cpdu_set_req

Constraint Name
cpdu_set_req(session_eid : Dsrc_EID ; session_mode : BOOLEAN ; attribute_list : AttributeList
Group
 
PDU Type
T_APDU 
Derivation Path
 
Encoding Rule Name
 
Encoding Variation
 
Comments
SET.request without accessCredentials 
Constraint Value
set_request:
{
  fill '0'B,
  mode session_mode,
  eid session_eid,
  accessCredentials -,
  attrList attribute_list,
  iid -
} 
Detailed Comments
 


cpdu_set_rsp_ret0

Constraint Name
cpdu_set_rsp_ret0(session_eid : Dsrc_EID
Group
 
PDU Type
T_APDU 
Derivation Path
 
Encoding Rule Name
 
Encoding Variation
 
Comments
 
Constraint Value
set_response:
{
  fill ?,
  eid session_eid,
  iid -,
  ret 0 IF_PRESENT
} 
Detailed Comments
 


cpdu_set_req_s1

Constraint Name
cpdu_set_req_s1(session_eid : Dsrc_EID ; session_mode : BOOLEAN ; accr : AccessCredentials; attribute_list : AttributeList
Group
 
PDU Type
T_APDU 
Derivation Path
 
Encoding Rule Name
 
Encoding Variation
 
Comments
SET.request without accessCredentials 
Constraint Value
set_request:
{
  fill '0'B,
  mode session_mode,
  eid session_eid,
  accessCredentials accr,
  attrList attribute_list,
  iid -
} 
Detailed Comments
 


cpdu_default_GET_STAMPED_req

Constraint Name
cpdu_default_GET_STAMPED_req 
Group
 
PDU Type
T_APDU 
Derivation Path
 
Encoding Rule Name
 
Encoding Variation
 
Comments
 
Constraint Value
action_request:
{
  mode TRUE,
  eid TSC_System_EID,
  actionType TSC_ActionType_GET_STAMPED,
  accessCredentials - ,
  actionParameter gstrq:
{
  attributeIdList TSPX_AttributeIdList, 
  nonce TSC_nonce_5, 
  keyRef TSPX_AuthKeyRef1
},
  iid -
} 
Detailed Comments
 


cpdu_ok_GET_STAMPED_rsp

Constraint Name
cpdu_ok_GET_STAMPED_rsp 
Group
 
PDU Type
T_APDU 
Derivation Path
 
Encoding Rule Name
 
Encoding Variation
 
Comments
 
Constraint Value
action_response:
{
  fill ?,
  eid ?,
  iid ?,
  responseParameter ?,
  ret 0
} 
Detailed Comments
 


cpdu_default_GET_STAMPED_req_s1

Constraint Name
cpdu_default_GET_STAMPED_req_s1(accr:AccessCredentials
Group
 
PDU Type
T_APDU 
Derivation Path
 
Encoding Rule Name
 
Encoding Variation
 
Comments
 
Constraint Value
action_request:
{
  mode TRUE,
  eid TSC_System_EID,
  actionType TSC_ActionType_GET_STAMPED,
  accessCredentials accr,
  actionParameter gstrq:
{
  attributeIdList TSPX_AttributeIdList, 
  nonce TSC_nonce_5, 
  keyRef TSPX_AuthKeyRef1
},
  iid -
} 
Detailed Comments
 


cpdu_invAttrLst_GET_STAMPED_rsp

Constraint Name
cpdu_invAttrLst_GET_STAMPED_rsp 
Group
 
PDU Type
T_APDU 
Derivation Path
 
Encoding Rule Name
 
Encoding Variation
 
Comments
 
Constraint Value
action_response:
{
  fill ?,
  eid ?,
  iid ?,
  responseParameter TSPX_invAttrLst,
  ret 0
} 
Detailed Comments
 


cpdu_incAuth_GET_STAMPED_rsp

Constraint Name
cpdu_incAuth_GET_STAMPED_rsp 
Group
 
PDU Type
T_APDU 
Derivation Path
 
Encoding Rule Name
 
Encoding Variation
 
Comments
 
Constraint Value
action_response:
{
  fill ?,
  eid ?,
  iid ?,
  responseParameter TSPX_incAuth,
  ret 0
} 
Detailed Comments
 


cpdu_default_SetMMI_req

Constraint Name
cpdu_default_SetMMI_req 
Group
 
PDU Type
T_APDU 
Derivation Path
 
Encoding Rule Name
 
Encoding Variation
 
Comments
 
Constraint Value
action_request:
{
  mode TRUE,
  eid TSC_System_EID,
  actionType TSC_ActionType_SetMMI,
  accessCredentials - ,
  actionParameter integer: TSPX_SetMMIActionParameter,
  iid -
} 
Detailed Comments
 


cpdu_ok_SetMMI_rsp

Constraint Name
cpdu_ok_SetMMI_rsp 
Group
 
PDU Type
T_APDU 
Derivation Path
 
Encoding Rule Name
 
Encoding Variation
 
Comments
 
Constraint Value
action_response:
{
  fill ?,
  eid ?,
  iid ?,
  responseParameter ?,
  ret 0
} 
Detailed Comments
 


cpdu_default_SetMMI_req_s1

Constraint Name
cpdu_default_SetMMI_req_s1(accr:AccessCredentials
Group
 
PDU Type
T_APDU 
Derivation Path
 
Encoding Rule Name
 
Encoding Variation
 
Comments
 
Constraint Value
action_request:
{
  mode TRUE,
  eid TSC_System_EID,
  actionType TSC_ActionType_SetMMI,
  accessCredentials accr,
  actionParameter integer: TSPX_SetMMIActionParameter,
  iid -
} 
Detailed Comments
 


cpdu_default_echo_req

Constraint Name
cpdu_default_echo_req 
Group
 
PDU Type
T_APDU 
Derivation Path
 
Encoding Rule Name
 
Encoding Variation
 
Comments
 
Constraint Value
action_request:
{
  mode TRUE,
  eid TSC_System_EID,
  actionType TSC_ActionType_ECHO,
  accessCredentials - ,
  actionParameter octetstring:''H,
  iid -
} 
Detailed Comments
 


cpdu_default_echo_rsp

Constraint Name
cpdu_default_echo_rsp 
Group
 
PDU Type
T_APDU 
Derivation Path
 
Encoding Rule Name
 
Encoding Variation
 
Comments
 
Constraint Value
action_response:
{
  fill ?,
  eid ?,
  iid ?,
  responseParameter octetstring:''H,
  ret *
} 
Detailed Comments
 


cpdu_default_echo_req_s1

Constraint Name
cpdu_default_echo_req_s1(accr:AccessCredentials
Group
 
PDU Type
T_APDU 
Derivation Path
 
Encoding Rule Name
 
Encoding Variation
 
Comments
 
Constraint Value
action_request:
{
  mode TRUE,
  eid TSC_System_EID,
  actionType TSC_ActionType_ECHO,
  accessCredentials accr,
  actionParameter octetstring:''H,
  iid -
} 
Detailed Comments
 


TC_AP_S0_RSE_BV

Test Case Name
TC_AP_S0_RSE_BV 
Group
 
Purpose
Runs through all BV TCs for S0 
Configuration
 
Default
 
Comments
DUT & Tester not in initialization or transaction phase 
Selection Ref
SEL_MANDATORY_S0 
Description
Runs through all BV TCs for S0 
Nr Label Behaviour Description Constraints Ref Verdict Comments
 
REPEAT Wait_for_TRX_cmd UNTIL [(TSV_STP_TC_AP_0BAS_RSE_BV_01_run AND TSV_STP_TC_AP_0GET_RSE_BV_01_run AND TSV_STP_TC_AP_0SET_RSE_BV_01_run AND TSV_STP_TC_AP_0SET_RSE_BV_02_run AND TSV_STP_TC_AP_0SET_RSE_BV_03_run AND TSV_STP_TC_AP_0SET_RSE_BV_04_run AND TSV_STP_TC_AP_0SET_RSE_BV_05_run AND TSV_STP_TC_AP_0SET_RSE_BV_06_run AND TSV_STP_TC_AP_0SET_RSE_BV_07_run AND TSV_STP_TC_AP_0STA_RSE_BV_01_run AND  TSV_STP_TC_AP_0MMI_RSE_BV_01_run AND TSV_STP_TC_AP_0ECH_RSE_BV_01_run AND TSV_STP_TC_AP_0REL_RSE_BV_01_run)=TRUE] 
 
 
 
 
 
Wait_for_TRX_cmd 
 
 
 
 
+STP_TC_AP_0BAS_RSE_BV_01 
 
 
 
 
[TSPX_0GET=TRUE] 
 
 
 
 
  +STP_TC_AP_0GET_RSE_BV_01 
 
 
 
 
[TSPX_0GET=FALSE] 
 
 
 
 
  (TSV_STP_TC_AP_0GET_RSE_BV_01_run:=TRUE) 
 
 
 
 
[TSPX_0SET=TRUE] 
 
 
 
 
  +STP_TC_AP_0SET_RSE_BV_01 
 
 
 
 
  +STP_TC_AP_0SET_RSE_BV_02 
 
 
 
10 
 
  +STP_TC_AP_0SET_RSE_BV_03 
 
 
 
11 
 
  +STP_TC_AP_0SET_RSE_BV_04 
 
 
 
12 
 
  +STP_TC_AP_0SET_RSE_BV_05 
 
 
 
13 
 
  +STP_TC_AP_0SET_RSE_BV_06 
 
 
 
14 
 
  +STP_TC_AP_0SET_RSE_BV_07 
 
 
 
15 
 
[TSPX_0SET=FALSE] 
 
 
 
16 
 
  (TSV_STP_TC_AP_0SET_RSE_BV_01_run:=TRUE) 
 
 
 
17 
 
  (TSV_STP_TC_AP_0SET_RSE_BV_02_run:=TRUE) 
 
 
 
18 
 
  (TSV_STP_TC_AP_0SET_RSE_BV_03_run:=TRUE) 
 
 
 
19 
 
  (TSV_STP_TC_AP_0SET_RSE_BV_04_run:=TRUE) 
 
 
 
20 
 
  (TSV_STP_TC_AP_0SET_RSE_BV_05_run:=TRUE) 
 
 
 
21 
 
  (TSV_STP_TC_AP_0SET_RSE_BV_06_run:=TRUE) 
 
 
 
22 
 
  (TSV_STP_TC_AP_0SET_RSE_BV_07_run:=TRUE) 
 
 
 
23 
 
[TSPX_0STA=TRUE] 
 
 
 
24 
 
  +STP_TC_AP_0STA_RSE_BV_01 
 
 
 
25 
 
[TSPX_0STA=FALSE] 
 
 
 
26 
 
  (TSV_STP_TC_AP_0STA_RSE_BV_01_run:=TRUE) 
 
 
 
27 
 
[TSPX_0MMI=TRUE] 
 
 
 
28 
 
  +STP_TC_AP_0MMI_RSE_BV_01 
 
 
 
29 
 
[TSPX_0MMI=FALSE] 
 
 
 
30 
 
  (TSV_STP_TC_AP_0MMI_RSE_BV_01_run:=TRUE) 
 
 
 
31 
 
[TSPX_0ECH=TRUE] 
 
 
 
32 
 
  +STP_TC_AP_0ECH_RSE_BV_01 
 
 
 
33 
 
[TSPX_0ECH=FALSE] 
 
 
 
34 
 
  (TSV_STP_TC_AP_0ECH_RSE_BV_01_run:=TRUE) 
 
 
 
35 
 
[TSPX_0REL=TRUE] 
 
 
 
36 
 
  +STP_TC_AP_0REL_RSE_BV_01 
 
 
 
37 
 
[TSPX_0REL=FALSE] 
 
 
 
38 
 
  (TSV_STP_TC_AP_0REL_RSE_BV_01_run:=TRUE) 
 
 
 
Detailed Comments
 


TC_AP_S0_RSE_BI

Test Case Name
TC_AP_S0_RSE_BI 
Group
 
Purpose
Runs through all BI TCs for S0 
Configuration
 
Default
 
Comments
DUT & Tester not in initialization or transaction phase 
Selection Ref
SEL_MANDATORY_S0 
Description
Runs through all BI TCs for S0 
Nr Label Behaviour Description Constraints Ref Verdict Comments
 
REPEAT Wait_for_TRX_cmd UNTIL [(TSV_STP_TC_AP_0GET_RSE_BI_01_run AND TSV_STP_TC_AP_0STA_RSE_BI_01_run AND  TSV_STP_TC_AP_0STA_RSE_BI_03_run)=TRUE] 
 
 
 
 
 
Wait_for_TRX_cmd 
 
 
 
 
[TSPX_0GET=TRUE] 
 
 
 
 
  +STP_TC_AP_0GET_RSE_BI_01 
 
 
 
 
[TSPX_0GET=FALSE] 
 
 
 
 
  (TSV_STP_TC_AP_0GET_RSE_BI_01_run:=TRUE) 
 
 
 
 
[TSPX_0STA=TRUE] 
 
 
 
 
  +STP_TC_AP_0STA_RSE_BI_01 
 
 
 
 
  +STP_TC_AP_0STA_RSE_BI_03 
 
 
 
 
[TSPX_0STA=FALSE] 
 
 
 
10 
 
  (TSV_STP_TC_AP_0STA_RSE_BI_01_run:=TRUE) 
 
 
 
11 
 
  (TSV_STP_TC_AP_0STA_RSE_BI_03_run:=TRUE) 
 
 
 
Detailed Comments
 


TC_AP_S1_RSE_BV

Test Case Name
TC_AP_S1_RSE_BV 
Group
 
Purpose
Runs through all BV TCs for S1 
Configuration
 
Default
 
Comments
DUT & Tester not in initialization or transaction phase 
Selection Ref
SEL_MANDATORY_S1 
Description
Runs through all BV TCs for S1 
Nr Label Behaviour Description Constraints Ref Verdict Comments
 
REPEAT Wait_for_TRX_cmd UNTIL [(TSV_STP_TC_AP_1BAS_RSE_BV_01_run AND TSV_STP_TC_AP_1GET_RSE_BV_01_run AND TSV_STP_TC_AP_1SET_RSE_BV_01_run AND TSV_STP_TC_AP_1SET_RSE_BV_02_run AND TSV_STP_TC_AP_1SET_RSE_BV_03_run AND TSV_STP_TC_AP_1SET_RSE_BV_04_run AND TSV_STP_TC_AP_1SET_RSE_BV_05_run AND TSV_STP_TC_AP_1SET_RSE_BV_06_run AND TSV_STP_TC_AP_1SET_RSE_BV_07_run AND TSV_STP_TC_AP_1STA_RSE_BV_01_run AND  TSV_STP_TC_AP_1MMI_RSE_BV_01_run AND TSV_STP_TC_AP_1ECH_RSE_BV_01_run)=TRUE] 
 
 
 
 
 
Wait_for_TRX_cmd 
 
 
 
 
+STP_TC_AP_1BAS_RSE_BV_01 
 
 
 
 
[TSPX_1GET=TRUE] 
 
 
 
 
  +STP_TC_AP_1GET_RSE_BV_01 
 
 
 
 
[TSPX_1GET=FALSE] 
 
 
 
 
  (TSV_STP_TC_AP_1GET_RSE_BV_01_run:=TRUE) 
 
 
 
 
[TSPX_1SET=TRUE] 
 
 
 
 
  +STP_TC_AP_1SET_RSE_BV_01 
 
 
 
 
  +STP_TC_AP_1SET_RSE_BV_02 
 
 
 
10 
 
  +STP_TC_AP_1SET_RSE_BV_03 
 
 
 
11 
 
  +STP_TC_AP_1SET_RSE_BV_04 
 
 
 
12 
 
  +STP_TC_AP_1SET_RSE_BV_05 
 
 
 
13 
 
  +STP_TC_AP_1SET_RSE_BV_06 
 
 
 
14 
 
  +STP_TC_AP_1SET_RSE_BV_07 
 
 
 
15 
 
[TSPX_1SET=FALSE] 
 
 
 
16 
 
  (TSV_STP_TC_AP_1SET_RSE_BV_01_run:=TRUE) 
 
 
 
17 
 
  (TSV_STP_TC_AP_1SET_RSE_BV_02_run:=TRUE) 
 
 
 
18 
 
  (TSV_STP_TC_AP_1SET_RSE_BV_03_run:=TRUE) 
 
 
 
19 
 
  (TSV_STP_TC_AP_1SET_RSE_BV_04_run:=TRUE) 
 
 
 
20 
 
  (TSV_STP_TC_AP_1SET_RSE_BV_05_run:=TRUE) 
 
 
 
21 
 
  (TSV_STP_TC_AP_1SET_RSE_BV_06_run:=TRUE) 
 
 
 
22 
 
  (TSV_STP_TC_AP_1SET_RSE_BV_07_run:=TRUE) 
 
 
 
23 
 
[TSPX_1STA=TRUE] 
 
 
 
24 
 
  +STP_TC_AP_1STA_RSE_BV_01 
 
 
 
25 
 
[TSPX_1STA=FALSE] 
 
 
 
26 
 
  (TSV_STP_TC_AP_1STA_RSE_BV_01_run:=TRUE) 
 
 
 
27 
 
[TSPX_1MMI=TRUE] 
 
 
 
28 
 
  +STP_TC_AP_1MMI_RSE_BV_01 
 
 
 
29 
 
[TSPX_1MMI=FALSE] 
 
 
 
30 
 
  (TSV_STP_TC_AP_1MMI_RSE_BV_01_run:=TRUE) 
 
 
 
31 
 
[TSPX_1ECH=TRUE] 
 
 
 
32 
 
  +STP_TC_AP_1ECH_RSE_BV_01 
 
 
 
33 
 
[TSPX_1ECH=FALSE] 
 
 
 
34 
 
  (TSV_STP_TC_AP_1ECH_RSE_BV_01_run:=TRUE) 
 
 
 
Detailed Comments
 


TC_AP_S1_RSE_BI

Test Case Name
TC_AP_S1_RSE_BI 
Group
 
Purpose
Runs through all BI TCs for S1 
Configuration
 
Default
 
Comments
DUT & Tester not in initialization or transaction phase 
Selection Ref
SEL_MANDATORY_S1 
Description
Runs through all BI TCs for S1 
Nr Label Behaviour Description Constraints Ref Verdict Comments
 
REPEAT Wait_for_TRX_cmd UNTIL [(TSV_STP_TC_AP_1GET_RSE_BI_01_run AND TSV_STP_TC_AP_1STA_RSE_BI_01_run AND  TSV_STP_TC_AP_1STA_RSE_BI_03_run)=TRUE] 
 
 
 
 
 
Wait_for_TRX_cmd 
 
 
 
 
[TSPX_1GET=TRUE] 
 
 
 
 
  +STP_TC_AP_1GET_RSE_BI_01 
 
 
 
 
[TSPX_1GET=FALSE] 
 
 
 
 
  (TSV_STP_TC_AP_1GET_RSE_BI_01_run:=TRUE) 
 
 
 
 
[TSPX_1STA=TRUE] 
 
 
 
 
  +STP_TC_AP_1STA_RSE_BI_01 
 
 
 
 
  +STP_TC_AP_1STA_RSE_BI_03 
 
 
 
 
[TSPX_1STA=FALSE] 
 
 
 
10 
 
  (TSV_STP_TC_AP_1STA_RSE_BI_01_run:=TRUE) 
 
 
 
11 
 
  (TSV_STP_TC_AP_1STA_RSE_BI_03_run:=TRUE) 
 
 
 
Detailed Comments
 


STP_RX_BST_DEF_APPS_ID

Test Step Name
STP_RX_BST_DEF_APPS_ID 
Group
 
Objective
Start of initialisation with BST 
Default
DF_Standard_Default_No_BST 
Comments
Reception of BST with suppported profile and aid, contained in mandApps. 
Description
Reception of BST with suppported profile and aid, contained in mandApps. 
Nr Label Behaviour Description Constraints Ref Verdict Comments
 
<IUT ! INIT_REQ
casp_init_req( cts_broadcast_LID, 3, cpdu_BST(?, ?, TSPX_Default_profile, {{aid TSPX_Default_applicationID}},*, *),*,0 ) 
 
 
 
  START T_TESTER_WAIT 
 
 
 
 
    TPCO1 ? INIT_REQ CANCEL T_TESTER_WAIT 
casp_init_req( cts_broadcast_LID, 3, cpdu_BST(?, ?, TSPX_Default_profile, {{aid TSPX_Default_applicationID}},*, *),*,0 ) 
(P) 
 
    ? TIMEOUT T_TESTER_WAIT 
 
Detailed Comments
1. TimeOut Failure
2. Receive requested BST 


STP_RX_BST_DEF_APPL_LIST

Test Step Name
STP_RX_BST_DEF_APPL_LIST(profile : Profile
Group
 
Objective
Start of initialisation with BST 
Default
DF_Standard_Default_No_BST 
Comments
Reception of BST with profile as requested in STP- call and default mandApps list. 
Description
Reception of BST with profile as requested in STP- call and default mandApps list. 
Nr Label Behaviour Description Constraints Ref Verdict Comments
 
<IUT ! INIT_REQ
casp_init_req( cts_broadcast_LID, 3, cpdu_BST(?, ?, profile, TSPX_default_ApplicationList_BST,*, *),*,0 ) 
 
 
 
  START T_TESTER_WAIT 
 
 
 
 
    TPCO1 ? INIT_REQ (TCV_Profile:=INIT_REQ.Init_Param.initialisation_request.profile) CANCEL T_TESTER_WAIT 
casp_init_req( cts_broadcast_LID, 3, cpdu_BST(?, ?, profile, TSPX_default_ApplicationList_BST,*, *),*,0 ) 
(P) 
 
    ? TIMEOUT T_TESTER_WAIT 
 
Detailed Comments
1. Receive BST
2. Timeout Failure 


STP_TX_VST_DEF_APPL_LIST

Test Step Name
STP_TX_VST_DEF_APPL_LIST 
Group
 
Objective
Finalise initialisation with VST  - private frame  
Default
DF_Standard_Default_No_BST 
Comments
Finalisation of initialisation:
Transmission of VST with new random LID, TCV_Profile as set previously,, default Apps-list and default OBE configuration. Acknowledgement with privately addressed frame different to RELEASE expected. 
Description
Finalisation of initialisation:
Transmission of VST with new random LID, TCV_Profile as set previously,, default Apps-list and default OBE configuration. Acknowledgement with privately addressed frame different to RELEASE expected. 
Nr Label Behaviour Description Constraints Ref Verdict Comments
 
TPCO1 ! INIT_RSP (TCV_session_lid:=TSO_random_lid()) START T_TX_RX_LTA 
casp_init_rsp(TCV_session_lid, 1, cpdu_VST(TCV_Profile, TSPX_default_ApplicationList_VST, TSPX_defaultObeConfiguration), -1, -1) 
 
 
  TPCO1 ? ASGE_REQ (TCV_Service_Param:=ASGE_REQ.ASGE_PARAM) CANCEL T_TX_RX_LTA 
casp_asge_req(TCV_session_lid, *, *, *, 0) 
 
 
    [TCV_Service_Param<>cpdu_release_req
 
(P) 
 
 
    [TCV_Service_Param=cpdu_release_req
 
 
 
  ? TIMEOUT T_TX_RX_LTA 
 
 
  TPCO1 ? INIT_REQ CANCEL T_TX_RX_LTA 
casp_init_req( cts_broadcast_LID, 3, cpdu_BST(?, ?, ?, TSPX_default_ApplicationList_BST,*, *),*, 0 ) 
Detailed Comments
1. Send VST
2. TimeOut failure
3. Unexpected BST received
4. Private command received 


STP_INIT_BST_VST_DEF_APPS_ID

Test Step Name
STP_INIT_BST_VST_DEF_APPS_ID 
Group
 
Objective
Initialisation of tester with IUT (RSU) 
Default
 
Comments
Reception of BST with suppported profile and aid, contained in mandApps.
Transmission of VST 
Description
Reception of BST with suppported profile and aid, contained in mandApps.
Transmission of VST 
Nr Label Behaviour Description Constraints Ref Verdict Comments
 
+STP_RX_BST_DEF_APPS_ID 
 
 
 
 
  TPCO1 ! INIT_RSP (TCV_session_lid:=TSO_random_lid()) 
casp_init_rsp( TCV_session_lid, 1, cpdu_VST(TCV_Profile, TSPX_default_ApplicationList_VST, TSPX_defaultObeConfiguration), -1, -1) 
 
 
Detailed Comments
 


STP_INIT_BST_VST_DEF_APPS_ID_s1

Test Step Name
STP_INIT_BST_VST_DEF_APPS_ID_s1 
Group
 
Objective
Initialisation of tester with IUT (RSU) 
Default
 
Comments
Reception of BST with suppported profile and aid, contained in mandApps.
Transmission of VST 
Description
Reception of BST with suppported profile and aid, contained in mandApps.
Transmission of VST 
Nr Label Behaviour Description Constraints Ref Verdict Comments
 
+STP_RX_BST_DEF_APPS_ID 
 
 
 
 
  TPCO1 ! INIT_RSP (TCV_session_lid:=TSO_random_lid()) 
casp_init_rsp( TCV_session_lid, 1, cpdu_VST_s1(TCV_Profile, TSPX_default_ApplicationList_VST_s1, TSPX_defaultObeConfiguration), -1, -1) 
 
 
Detailed Comments
 


AP_0BAS

Group Name
AP_0BAS 


RSE

Group Name
RSE 


BV

Group Name
BV 


STP_TC_AP_0BAS_RSE_BV_01

Test Step Name
STP_TC_AP_0BAS_RSE_BV_01 
Group
AP_0BAS/RSE/BV
Objective
Verify that the DUT supports the BST 
Default
 
Comments
[EN 15509] clause 5.2.3, clause 5.2.4
DUT & Tester not in initialization or transaction phase 
Description
Verify that the DUT supports the BST 
Nr Label Behaviour Description Constraints Ref Verdict Comments
 
TPCO1 ? INIT_REQ (TCV_Profile:=INIT_REQ.Init_Param.initialisation_request.profile) 
casp_init_req( cts_broadcast_LID, 3, cpdu_BST(?, ?, ?, TSPX_default_ApplicationList_BST,{*},{*}),?,0 ) 
(P) 
 
 
  TPCO1 ! INIT_RSP (TCV_session_lid:=TSO_random_lid()) 
casp_init_rsp( TCV_session_lid, 1, cpdu_VST(TCV_Profile, TSPX_default_ApplicationList_VST, TSPX_defaultObeConfiguration), TSO_random_pdu(), 0 ) 
 
 
 
    (TSV_STP_TC_AP_0BAS_RSE_BV_01_run:=TRUE) 
 
 
 
Detailed Comments
 


AP_0GET

Group Name
AP_0GET 


RSE

Group Name
RSE 


BV

Group Name
BV 


STP_TC_AP_0GET_RSE_BV_01

Test Step Name
STP_TC_AP_0GET_RSE_BV_01 
Group
AP_0GET/RSE/BV
Objective
Verify that the DUT supports the read (by means of GET.rq) of the data attributes 
Default
 
Comments
[EN 15509] clause 5.2.3
DUT & Tester initialised 
Description
Verify that the DUT supports the read (by means of GET.rq) of the data attributes 
Nr Label Behaviour Description Constraints Ref Verdict Comments
 
[TSV_Error=TRUE] 
 
(F) 
 
  TPCO1 ? ASGE_REQ 
casp_asge_req(TCV_session_lid, 7, cpdu_get_req(TSPX_default_eid_7, {TSPX_attributes_7.attributeId}), -1, -1) 
(P) 
 
 
    TPCO1 ! ASGE_RSP 
casp_asge_rsp(TCV_session_lid, 9, cpdu_get_rsp_ret0(TSPX_default_eid_7), ?, 0) 
 
 
 
      (TSV_STP_TC_AP_0GET_RSE_BV_01_run:=TRUE) 
 
 
 
Detailed Comments
1. Fail verdict for previously executed test case (PDU selector failure when exiting test case) 


BI

Group Name
BI 


STP_TC_AP_0GET_RSE_BI_01

Test Step Name
STP_TC_AP_0GET_RSE_BI_01 
Group
AP_0GET/RSE/BI
Objective
Verify that the DUT detects an incorrect attributeList parameter of the GET.rs
NOTE: Depending on attrIdList of the request PDU, this TP shall be repeated with
different incorrect attributeList in the response 
Default
 
Comments
[EN 15509] clause 5.2.3
DUT & Tester initialised 
Description
Verify that the DUT detects an incorrect attributeList parameter of the GET.rs
NOTE: Depending on attrIdList of the request PDU, this TP shall be repeated with
different incorrect attributeList in the response 
Nr Label Behaviour Description Constraints Ref Verdict Comments
 
[TSV_Error=TRUE] 
 
(F) 
 
  TPCO1 ? ASGE_REQ 
casp_asge_req(TCV_session_lid, 7, cpdu_get_req(TSPX_default_eid_7, {TSPX_attributes_7.attributeId}), -1, -1) 
(P) 
 
 
    TPCO1 ! ASGE_RSP 
casp_asge_rsp(TCV_session_lid, 9, cpdu_get_rsp_ret0_inv(TSPX_default_eid_7, TSPX_inv_attrib), ?, 0) 
 
 
 
      (TSV_STP_TC_AP_0GET_RSE_BI_01_run:=TRUE) 
 
 
 
Detailed Comments
 


AP_0SET

Group Name
AP_0SET 


RSE

Group Name
RSE 


BV

Group Name
BV 


STP_TC_AP_0SET_RSE_BV_01

Test Step Name
STP_TC_AP_0SET_RSE_BV_01 
Group
AP_0SET/RSE/BV
Objective
Verify that the DUT supports the SET.rq of the data attributes ( ReceiptData1 and
ReceiptData2
Default
 
Comments
[EN 15509] clause 5.2.3, clause 5.2.4
DUT & Tester initialised 
Description
Verify that the DUT supports the SET.rq of the data attributes ( ReceiptData1 and
ReceiptData2
Nr Label Behaviour Description Constraints Ref Verdict Comments
 
[TSV_Error=TRUE] 
 
(F) 
 
  TPCO1 ? ASGE_REQ (TCV_mode:=ASGE_REQ.ASGE_PARAM.set_request.mode) 
casp_asge_req(TCV_session_lid, 7, cpdu_set_req(TSPX_default_eid_7, ?,  TSPX_AttrList_ReceiptData_group), -1, -1) 
(P) 
 
 
    [TCV_mode=FALSE] 
 
 
 
 
      TPCO1 ! ASGE_RSP 
casp_asge_rsp(TCV_session_lid, 9, cpdu_set_rsp_ret0(TSPX_default_eid_7), ?, 0) 
 
 
 
    (TSV_STP_TC_AP_0SET_RSE_BV_01_run:=TRUE) 
 
 
 
Detailed Comments
 


STP_TC_AP_0SET_RSE_BV_02

Test Step Name
STP_TC_AP_0SET_RSE_BV_02 
Group
AP_0SET/RSE/BV
Objective
Verify that the DUT supports the SET.rq of the data attributes ( ReceiptData1
Default
 
Comments
[EN 15509] clause 5.2.3, clause 5.2.4
DUT & Tester initialised 
Description
Verify that the DUT supports the SET.rq of the data attributes ( ReceiptData1
Nr Label Behaviour Description Constraints Ref Verdict Comments
 
[TSV_Error=TRUE] 
 
(F) 
 
  TPCO1 ? ASGE_REQ (TCV_mode:=ASGE_REQ.ASGE_PARAM.set_request.mode) 
casp_asge_req(TCV_session_lid, 7, cpdu_set_req(TSPX_default_eid_7, ?,  TSPX_AttrList_ReceiptData1), -1, -1) 
(P) 
 
 
    [TCV_mode=FALSE] 
 
 
 
 
      TPCO1 ! ASGE_RSP 
casp_asge_rsp(TCV_session_lid, 9, cpdu_set_rsp_ret0(TSPX_default_eid_7), ?, 0) 
 
 
 
    (TSV_STP_TC_AP_0SET_RSE_BV_02_run:=TRUE) 
 
 
 
Detailed Comments
 


STP_TC_AP_0SET_RSE_BV_03

Test Step Name
STP_TC_AP_0SET_RSE_BV_03 
Group
AP_0SET/RSE/BV
Objective
Verify that the DUT supports the SET.rq of the data attributes ( ReceiptData2
Default
 
Comments
[EN 15509] clause 5.2.3, clause 5.2.4
DUT & Tester initialised 
Description
Verify that the DUT supports the SET.rq of the data attributes ( ReceiptData2
Nr Label Behaviour Description Constraints Ref Verdict Comments
 
[TSV_Error=TRUE] 
 
(F) 
 
  TPCO1 ? ASGE_REQ (TCV_mode:=ASGE_REQ.ASGE_PARAM.set_request.mode) 
casp_asge_req(TCV_session_lid, 7, cpdu_set_req(TSPX_default_eid_7, ?,  TSPX_AttrList_ReceiptData2), -1, -1) 
(P) 
 
 
    [TCV_mode=FALSE] 
 
 
 
 
      TPCO1 ! ASGE_RSP 
casp_asge_rsp(TCV_session_lid, 9, cpdu_set_rsp_ret0(TSPX_default_eid_7), ?, 0) 
 
 
 
    (TSV_STP_TC_AP_0SET_RSE_BV_03_run:=TRUE) 
 
 
 
Detailed Comments
 


STP_TC_AP_0SET_RSE_BV_04

Test Step Name
STP_TC_AP_0SET_RSE_BV_04 
Group
AP_0SET/RSE/BV
Objective
Verify that the DUT supports the SET.rq of the data attributes ( EquipmentStatus
Default
 
Comments
[EN 15509] clause 5.2.3, clause 5.2.4, clause 5.2.5.2
DUT & Tester initialised 
Description
Verify that the DUT supports the SET.rq of the data attributes ( EquipmentStatus
Nr Label Behaviour Description Constraints Ref Verdict Comments
 
[TSV_Error=TRUE] 
 
(F) 
 
  TPCO1 ? ASGE_REQ (TCV_mode:=ASGE_REQ.ASGE_PARAM.set_request.mode) 
casp_asge_req(TCV_session_lid, 7, cpdu_set_req(TSPX_default_eid_7, ?,  TSPX_AttrList_EquipmentStatus), -1, -1) 
(P) 
 
 
    [TCV_mode=FALSE] 
 
 
 
 
      TPCO1 ! ASGE_RSP 
casp_asge_rsp(TCV_session_lid, 9, cpdu_set_rsp_ret0(TSPX_default_eid_7), ?, 0) 
 
 
 
    (TSV_STP_TC_AP_0SET_RSE_BV_04_run:=TRUE) 
 
 
 
Detailed Comments
 


STP_TC_AP_0SET_RSE_BV_05

Test Step Name
STP_TC_AP_0SET_RSE_BV_05 
Group
AP_0SET/RSE/BV
Objective
Verify that the DUT supports the SET.rq of the data attributes ( ReceiptData1 and
EquipmentStatus
Default
 
Comments
[EN 15509] clause 5.2.3, clause 5.2.4, clause 5.2.5.2
DUT & Tester initialised 
Description
Verify that the DUT supports the SET.rq of the data attributes ( ReceiptData1 and
EquipmentStatus
Nr Label Behaviour Description Constraints Ref Verdict Comments
 
[TSV_Error=TRUE] 
 
(F) 
 
  TPCO1 ? ASGE_REQ (TCV_mode:=ASGE_REQ.ASGE_PARAM.set_request.mode) 
casp_asge_req(TCV_session_lid, 7, cpdu_set_req(TSPX_default_eid_7, ?,  TSPX_AttrList_ReceiptData1_EquipmentStatus), -1, -1) 
(P) 
 
 
    [TCV_mode=FALSE] 
 
 
 
 
      TPCO1 ! ASGE_RSP 
casp_asge_rsp(TCV_session_lid, 9, cpdu_set_rsp_ret0(TSPX_default_eid_7), ?, 0) 
 
 
 
    (TSV_STP_TC_AP_0SET_RSE_BV_05_run:=TRUE) 
 
 
 
Detailed Comments
 


STP_TC_AP_0SET_RSE_BV_06

Test Step Name
STP_TC_AP_0SET_RSE_BV_06 
Group
AP_0SET/RSE/BV
Objective
Verify that the DUT supports the SET.rq of the data attributes ( ReceiptData1,
ReceiptData2 and EquipmentStatus
Default
 
Comments
[EN 15509] clause 5.2.3, clause 5.2.4, clause 5.2.5.2
DUT & Tester initialised 
Description
Verify that the DUT supports the SET.rq of the data attributes ( ReceiptData1,
ReceiptData2 and EquipmentStatus
Nr Label Behaviour Description Constraints Ref Verdict Comments
 
[TSV_Error=TRUE] 
 
(F) 
 
  TPCO1 ? ASGE_REQ (TCV_mode:=ASGE_REQ.ASGE_PARAM.set_request.mode) 
casp_asge_req(TCV_session_lid, 7, cpdu_set_req(TSPX_default_eid_7, ?,  TSPX_AttrList_ReceiptData_group_EquipmentStatus), -1, -1) 
(P) 
 
 
    [TCV_mode=FALSE] 
 
 
 
 
      TPCO1 ! ASGE_RSP 
casp_asge_rsp(TCV_session_lid, 9, cpdu_set_rsp_ret0(TSPX_default_eid_7), ?, 0) 
 
 
 
    (TSV_STP_TC_AP_0SET_RSE_BV_06_run:=TRUE) 
 
 
 
Detailed Comments
 


STP_TC_AP_0SET_RSE_BV_07

Test Step Name
STP_TC_AP_0SET_RSE_BV_07 
Group
AP_0SET/RSE/BV
Objective
Verify that the DUT supports the SET.rq of the data attributes ( ReceiptData2 and
EquipmentStatus
Default
 
Comments
[EN 15509] clause 5.2.3, clause 5.2.4, clause 5.2.5.2
DUT & Tester initialised 
Description
Verify that the DUT supports the SET.rq of the data attributes ( ReceiptData2 and
EquipmentStatus
Nr Label Behaviour Description Constraints Ref Verdict Comments
 
[TSV_Error=TRUE] 
 
(F) 
 
  TPCO1 ? ASGE_REQ (TCV_mode:=ASGE_REQ.ASGE_PARAM.set_request.mode) 
casp_asge_req(TCV_session_lid, 7, cpdu_set_req(TSPX_default_eid_7, ?,  TSPX_AttrList_ReceiptData2_EquipmentStatus), -1, -1) 
(P) 
 
 
    [TCV_mode=FALSE] 
 
 
 
 
      TPCO1 ! ASGE_RSP 
casp_asge_rsp(TCV_session_lid, 9, cpdu_set_rsp_ret0(TSPX_default_eid_7), ?, 0) 
 
 
 
    (TSV_STP_TC_AP_0SET_RSE_BV_07_run:=TRUE) 
 
 
 
Detailed Comments
 


AP_0STA

Group Name
AP_0STA 


RSE

Group Name
RSE 


BV

Group Name
BV 


STP_TC_AP_0STA_RSE_BV_01

Test Step Name
STP_TC_AP_0STA_RSE_BV_01 
Group
AP_0STA/RSE/BV
Objective
Verify that the DUT supports the read (by means of GET-STAMPED.rq) of the data
attributes 
Default
 
Comments
[EN 15509] clause 5.2.3, clause 5.2.5.2
DUT & Tester initialised 
Description
Verify that the DUT supports the read (by means of GET-STAMPED.rq) of the data
attributes 
Nr Label Behaviour Description Constraints Ref Verdict Comments
 
[TSV_Error=TRUE] 
 
(F) 
 
  TPCO1 ? ASGE_REQ (TCV_mode:=ASGE_REQ.ASGE_PARAM.action_request.mode) 
casp_asge_req (TCV_session_lid, 7, cpdu_default_GET_STAMPED_req, -1, -1) 
(P) 
 
 
    [TCV_mode=FALSE] 
 
 
 
 
      TPCO1 ! ASGE_RSP 
casp_asge_rsp (TCV_session_lid, 9, cpdu_ok_GET_STAMPED_rsp, ?, 0) 
 
 
 
    (TSV_STP_TC_AP_0STA_RSE_BV_01_run:=TRUE) 
 
 
 
Detailed Comments
 


BI

Group Name
BI 


STP_TC_AP_0STA_RSE_BI_01

Test Step Name
STP_TC_AP_0STA_RSE_BI_01 
Group
AP_0STA/RSE/BI
Objective
Verify that the DUT detects an incorrect attributeList parameter of the GETSTAMPED.
rs
NOTE: Depending on attrIdList of the request PDU, this TP shall be repeated with
different incorrect attributeList in the response 
Default
 
Comments
[EN 15509] clause 5.2.3, clause 5.2.5.2
DUT & Tester initialised 
Description
Verify that the DUT detects an incorrect attributeList parameter of the GETSTAMPED.
rs
NOTE: Depending on attrIdList of the request PDU, this TP shall be repeated with
different incorrect attributeList in the response 
Nr Label Behaviour Description Constraints Ref Verdict Comments
 
[TSV_Error=TRUE] 
 
(F) 
 
  TPCO1 ? ASGE_REQ (TCV_mode:=ASGE_REQ.ASGE_PARAM.action_request.mode) 
casp_asge_req (TCV_session_lid, 7, cpdu_default_GET_STAMPED_req, -1, -1) 
(P) 
 
 
    [TCV_mode=FALSE] 
 
 
 
 
      TPCO1 ! ASGE_RSP 
casp_asge_rsp (TCV_session_lid, 9, cpdu_invAttrLst_GET_STAMPED_rsp, ?, 0) 
 
 
 
    (TSV_STP_TC_AP_0STA_RSE_BI_01_run:=TRUE) 
 
 
 
Detailed Comments
 


STP_TC_AP_0STA_RSE_BI_03

Test Step Name
STP_TC_AP_0STA_RSE_BI_03 
Group
AP_0STA/RSE/BI
Objective
Verify that the DUT detects an incorrect authenticator parameter of the GETSTAMPED.
rs 
Default
 
Comments
[EN 15509] clause 5.2.3, clause 5.2.5.2
DUT & Tester initialised 
Description
Verify that the DUT detects an incorrect authenticator parameter of the GETSTAMPED.
rs 
Nr Label Behaviour Description Constraints Ref Verdict Comments
 
[TSV_Error=TRUE] 
 
(F) 
 
  TPCO1 ? ASGE_REQ (TCV_mode:=ASGE_REQ.ASGE_PARAM.action_request.mode) 
casp_asge_req (TCV_session_lid, 7, cpdu_default_GET_STAMPED_req, -1, -1) 
(P) 
 
 
    [TCV_mode=FALSE] 
 
 
 
 
      TPCO1 ! ASGE_RSP 
casp_asge_rsp (TCV_session_lid, 9, cpdu_incAuth_GET_STAMPED_rsp, ?, 0) 
 
 
 
    (TSV_STP_TC_AP_0STA_RSE_BI_03_run:=TRUE) 
 
 
 
Detailed Comments
 


AP_0MMI

Group Name
AP_0MMI 


RSE

Group Name
RSE 


BV

Group Name
BV 


STP_TC_AP_0MMI_RSE_BV_01

Test Step Name
STP_TC_AP_0MMI_RSE_BV_01 
Group
AP_0MMI/RSE/BV
Objective
Verify that the DUT supports the SET-MMI-rq 
Default
 
Comments
[EN 15509] clause 5.2.3
DUT & Tester initialised 
Description
Verify that the DUT supports the SET-MMI-rq 
Nr Label Behaviour Description Constraints Ref Verdict Comments
 
[TSV_Error=TRUE] 
 
(F) 
 
  TPCO1 ? ASGE_REQ (TCV_mode:=ASGE_REQ.ASGE_PARAM.action_request.mode) 
casp_asge_req (TCV_session_lid, 7, cpdu_default_SetMMI_req, -1, -1) 
(P) 
 
 
    [TCV_mode=FALSE] 
 
 
 
 
      TPCO1 ! ASGE_RSP 
casp_asge_rsp (TCV_session_lid, 9, cpdu_ok_SetMMI_rsp, ?, 0) 
 
 
 
    (TSV_STP_TC_AP_0MMI_RSE_BV_01_run:=TRUE) 
 
 
 
Detailed Comments
 


AP_0ECH

Group Name
AP_0ECH 


RSE

Group Name
RSE 


BV

Group Name
BV 


STP_TC_AP_0ECH_RSE_BV_01

Test Step Name
STP_TC_AP_0ECH_RSE_BV_01 
Group
AP_0ECH/RSE/BV
Objective
Verify that the DUT supports the ECHO-rq 
Default
 
Comments
[EN 15509] clause 5.2.3
DUT & Tester initialised 
Description
Verify that the DUT supports the ECHO-rq 
Nr Label Behaviour Description Constraints Ref Verdict Comments
 
[TSV_Error=TRUE] 
 
(F) 
 
  TPCO1 ? ASGE_REQ (TCV_mode:=ASGE_REQ.ASGE_PARAM.action_request.mode) 
casp_asge_req (TCV_session_lid, 7, cpdu_default_echo_req, -1, -1) 
(P) 
 
 
    [TCV_mode=FALSE] 
 
 
 
 
      TPCO1 ! ASGE_RSP 
casp_asge_rsp (TCV_session_lid, 9, cpdu_default_echo_rsp, ?, 0) 
 
 
 
    (TSV_STP_TC_AP_0ECH_RSE_BV_01_run:=TRUE) 
 
 
 
Detailed Comments
 


AP_0REL

Group Name
AP_0REL 


RSE

Group Name
RSE 


BV

Group Name
BV 


STP_TC_AP_0REL_RSE_BV_01

Test Step Name
STP_TC_AP_0REL_RSE_BV_01 
Group
AP_0REL/RSE/BV
Objective
Verify that the DUT supports the EVENT-REPORT-rq 
Default
 
Comments
[EN 15509] clause 5.2.3
DUT & Tester initialised 
Description
Verify that the DUT supports the EVENT-REPORT-rq 
Nr Label Behaviour Description Constraints Ref Verdict Comments
 
[TSV_Error=TRUE] 
 
(F) 
 
  TPCO1 ? ASGE_REQ 
casp_asge_req (TCV_session_lid, 7, cpdu_release_req, -1, -1) 
(P) 
 
 
    (TSV_STP_TC_AP_0REL_RSE_BV_01_run:=TRUE) 
 
 
 
Detailed Comments
 


AP_1BAS

Group Name
AP_1BAS 


RSE

Group Name
RSE 


BV

Group Name
BV 


STP_TC_AP_1BAS_RSE_BV_01

Test Step Name
STP_TC_AP_1BAS_RSE_BV_01 
Group
AP_1BAS/RSE/BV
Objective
Verify that the DUT supports the BST 
Default
 
Comments
[EN 15509] clause 5.2.3, clause 5.2.4
DUT & Tester not in initialization or transaction phase 
Description
Verify that the DUT supports the BST 
Nr Label Behaviour Description Constraints Ref Verdict Comments
 
TPCO1 ? INIT_REQ (TCV_Profile:=INIT_REQ.Init_Param.initialisation_request.profile) 
casp_init_req( cts_broadcast_LID, 3, cpdu_BST(?, ?, ?, TSPX_default_ApplicationList_BST,{*},{*}),?,0 ) 
(P) 
 
 
  TPCO1 ! INIT_RSP (TCV_session_lid:=TSO_random_lid()) 
casp_init_rsp( TCV_session_lid, 1, cpdu_VST_s1(TCV_Profile, TSPX_default_ApplicationList_VST_s1, TSPX_defaultObeConfiguration), TSO_random_pdu(), 0 ) 
 
 
 
    (TSV_STP_TC_AP_1BAS_RSE_BV_01_run:=TRUE) 
 
 
 
Detailed Comments
 


AP_1GET

Group Name
AP_1GET 


RSE

Group Name
RSE 


BV

Group Name
BV 


STP_TC_AP_1GET_RSE_BV_01

Test Step Name
STP_TC_AP_1GET_RSE_BV_01 
Group
AP_1GET/RSE/BV
Objective
Verify that the DUT supports the read (by means of GET.rq) of the data attributes 
Default
 
Comments
[EN 15509] clause 5.2.3, clause 5.2.5.3
DUT & Tester initialised 
Description
Verify that the DUT supports the read (by means of GET.rq) of the data attributes 
Nr Label Behaviour Description Constraints Ref Verdict Comments
 
[TSV_Error=TRUE] 
 
(F) 
 
  TPCO1 ? ASGE_REQ 
casp_asge_req(TCV_session_lid, 7, cpdu_get_req_s1(TSPX_default_eid_7, TCV_accessCredentials, {TSPX_attributes_7.attributeId}), -1, -1) 
(P) 
 
 
    TPCO1 ! ASGE_RSP 
casp_asge_rsp(TCV_session_lid, 9, cpdu_get_rsp_ret0(TSPX_default_eid_7), ?, 0) 
 
 
 
      (TSV_STP_TC_AP_1GET_RSE_BV_01_run:=TRUE) 
 
 
 
Detailed Comments
 


BI

Group Name
BI 


STP_TC_AP_1GET_RSE_BI_01

Test Step Name
STP_TC_AP_1GET_RSE_BI_01 
Group
AP_1GET/RSE/BI
Objective
Verify that the DUT detects an incorrect attributeList parameter of the GET.rs
NOTE: Depending on attrIdList of the request PDU, this TP shall be repeated with
different incorrect attributeList in the response 
Default
 
Comments
[EN 15509] clause 5.2.3, clause 5.2.5.3
DUT & Tester initialised 
Description
Verify that the DUT detects an incorrect attributeList parameter of the GET.rs
NOTE: Depending on attrIdList of the request PDU, this TP shall be repeated with
different incorrect attributeList in the response 
Nr Label Behaviour Description Constraints Ref Verdict Comments
 
[TSV_Error=TRUE] 
 
(F) 
 
  TPCO1 ? ASGE_REQ 
casp_asge_req(TCV_session_lid, 7, cpdu_get_req_s1(TSPX_default_eid_7, TCV_accessCredentials, {TSPX_attributes_7.attributeId}), -1, -1) 
(P) 
 
 
    TPCO1 ! ASGE_RSP 
casp_asge_rsp(TCV_session_lid, 9, cpdu_get_rsp_ret0_inv(TSPX_default_eid_7, TSPX_inv_attrib), ?, 0) 
 
 
 
      (TSV_STP_TC_AP_1GET_RSE_BI_01_run:=TRUE) 
 
 
 
Detailed Comments
 


AP_1SET

Group Name
AP_1SET 


RSE

Group Name
RSE 


BV

Group Name
BV 


STP_TC_AP_1SET_RSE_BV_01

Test Step Name
STP_TC_AP_1SET_RSE_BV_01 
Group
AP_1SET/RSE/BV
Objective
Verify that the DUT supports the SET.rq of the data attributes ( ReceiptData1 and
ReceiptData2
Default
 
Comments
[EN 15509] clause 5.2.3, clause 5.2.4, clause 5.2.5.3
DUT & Tester initialised 
Description
Verify that the DUT supports the SET.rq of the data attributes ( ReceiptData1 and
ReceiptData2
Nr Label Behaviour Description Constraints Ref Verdict Comments
 
[TSV_Error=TRUE] 
 
(F) 
 
  TPCO1 ? ASGE_REQ (TCV_mode:=ASGE_REQ.ASGE_PARAM.set_request.mode) 
casp_asge_req(TCV_session_lid, 7, cpdu_set_req_s1(TSPX_default_eid_7, ?, TCV_accessCredentials, TSPX_AttrList_ReceiptData_group), -1, -1) 
(P) 
 
 
    [TCV_mode=FALSE] 
 
 
 
 
      TPCO1 ! ASGE_RSP 
casp_asge_rsp(TCV_session_lid, 9, cpdu_set_rsp_ret0(TSPX_default_eid_7), ?, 0) 
 
 
 
    (TSV_STP_TC_AP_1SET_RSE_BV_01_run:=TRUE) 
 
 
 
Detailed Comments
 


STP_TC_AP_1SET_RSE_BV_02

Test Step Name
STP_TC_AP_1SET_RSE_BV_02 
Group
AP_1SET/RSE/BV
Objective
Verify that the DUT supports the SET.rq of the data attributes ( ReceiptData1
Default
 
Comments
[EN 15509] clause 5.2.3, clause 5.2.4, clause 5.2.5.3
DUT & Tester initialised 
Description
Verify that the DUT supports the SET.rq of the data attributes ( ReceiptData1
Nr Label Behaviour Description Constraints Ref Verdict Comments
 
[TSV_Error=TRUE] 
 
(F) 
 
  TPCO1 ? ASGE_REQ (TCV_mode:=ASGE_REQ.ASGE_PARAM.set_request.mode) 
casp_asge_req(TCV_session_lid, 7, cpdu_set_req_s1(TSPX_default_eid_7, ?, TCV_accessCredentials, TSPX_AttrList_ReceiptData1), -1, -1) 
(P) 
 
 
    [TCV_mode=FALSE] 
 
 
 
 
      TPCO1 ! ASGE_RSP 
casp_asge_rsp(TCV_session_lid, 9, cpdu_set_rsp_ret0(TSPX_default_eid_7), ?, 0) 
 
 
 
    (TSV_STP_TC_AP_1SET_RSE_BV_02_run:=TRUE) 
 
 
 
Detailed Comments
 


STP_TC_AP_1SET_RSE_BV_03

Test Step Name
STP_TC_AP_1SET_RSE_BV_03 
Group
AP_1SET/RSE/BV
Objective
Verify that the DUT supports the SET.rq of the data attributes ( ReceiptData2
Default
 
Comments
[EN 15509] clause 5.2.3, clause 5.2.4, clause 5.2.5.3
DUT & Tester initialised 
Description
Verify that the DUT supports the SET.rq of the data attributes ( ReceiptData2
Nr Label Behaviour Description Constraints Ref Verdict Comments
 
[TSV_Error=TRUE] 
 
(F) 
 
  TPCO1 ? ASGE_REQ (TCV_mode:=ASGE_REQ.ASGE_PARAM.set_request.mode) 
casp_asge_req(TCV_session_lid, 7, cpdu_set_req_s1(TSPX_default_eid_7, ?, TCV_accessCredentials, TSPX_AttrList_ReceiptData2), -1, -1) 
(P) 
 
 
    [TCV_mode=FALSE] 
 
 
 
 
      TPCO1 ! ASGE_RSP 
casp_asge_rsp(TCV_session_lid, 9, cpdu_set_rsp_ret0(TSPX_default_eid_7), ?, 0) 
 
 
 
    (TSV_STP_TC_AP_1SET_RSE_BV_03_run:=TRUE) 
 
 
 
Detailed Comments
 


STP_TC_AP_1SET_RSE_BV_04

Test Step Name
STP_TC_AP_1SET_RSE_BV_04 
Group
AP_1SET/RSE/BV
Objective
Verify that the DUT supports the SET.rq of the data attributes ( EquipmentStatus
Default
 
Comments
[EN 15509] clause 5.2.3, clause 5.2.4, clause 5.2.5.2, clause 5.2.5.3
DUT & Tester initialised 
Description
Verify that the DUT supports the SET.rq of the data attributes ( EquipmentStatus
Nr Label Behaviour Description Constraints Ref Verdict Comments
 
[TSV_Error=TRUE] 
 
(F) 
 
  TPCO1 ? ASGE_REQ (TCV_mode:=ASGE_REQ.ASGE_PARAM.set_request.mode) 
casp_asge_req(TCV_session_lid, 7, cpdu_set_req_s1(TSPX_default_eid_7, ?, TCV_accessCredentials, TSPX_AttrList_EquipmentStatus), -1, -1) 
(P) 
 
 
    [TCV_mode=FALSE] 
 
 
 
 
      TPCO1 ! ASGE_RSP 
casp_asge_rsp(TCV_session_lid, 9, cpdu_set_rsp_ret0(TSPX_default_eid_7), ?, 0) 
 
 
 
    (TSV_STP_TC_AP_1SET_RSE_BV_04_run:=TRUE) 
 
 
 
Detailed Comments
 


STP_TC_AP_1SET_RSE_BV_05

Test Step Name
STP_TC_AP_1SET_RSE_BV_05 
Group
AP_1SET/RSE/BV
Objective
Verify that the DUT supports the SET.rq of the data attributes ( ReceiptData1 and
EquipmentStatus
Default
 
Comments
[EN 15509] clause 5.2.3, clause 5.2.4, clause 5.2.5.2, clause 5.2.5.3
DUT & Tester initialised 
Description
Verify that the DUT supports the SET.rq of the data attributes ( ReceiptData1 and
EquipmentStatus
Nr Label Behaviour Description Constraints Ref Verdict Comments
 
[TSV_Error=TRUE] 
 
(F) 
 
  TPCO1 ? ASGE_REQ (TCV_mode:=ASGE_REQ.ASGE_PARAM.set_request.mode) 
casp_asge_req(TCV_session_lid, 7, cpdu_set_req_s1(TSPX_default_eid_7, ?, TCV_accessCredentials, TSPX_AttrList_ReceiptData1_EquipmentStatus), -1, -1) 
(P) 
 
 
    [TCV_mode=FALSE] 
 
 
 
 
      TPCO1 ! ASGE_RSP 
casp_asge_rsp(TCV_session_lid, 9, cpdu_set_rsp_ret0(TSPX_default_eid_7), ?, 0) 
 
 
 
    (TSV_STP_TC_AP_1SET_RSE_BV_05_run:=TRUE) 
 
 
 
Detailed Comments
 


STP_TC_AP_1SET_RSE_BV_06

Test Step Name
STP_TC_AP_1SET_RSE_BV_06 
Group
AP_1SET/RSE/BV
Objective
Verify that the DUT supports the SET.rq of the data attributes ( ReceiptData1,
ReceiptData2 and EquipmentStatus
Default
 
Comments
[EN 15509] clause 5.2.3, clause 5.2.4, clause 5.2.5.2, clause 5.2.5.3
DUT & Tester initialised 
Description
Verify that the DUT supports the SET.rq of the data attributes ( ReceiptData1,
ReceiptData2 and EquipmentStatus
Nr Label Behaviour Description Constraints Ref Verdict Comments
 
[TSV_Error=TRUE] 
 
(F) 
 
  TPCO1 ? ASGE_REQ (TCV_mode:=ASGE_REQ.ASGE_PARAM.set_request.mode) 
casp_asge_req(TCV_session_lid, 7, cpdu_set_req_s1(TSPX_default_eid_7, ?, TCV_accessCredentials, TSPX_AttrList_ReceiptData_group_EquipmentStatus), -1, -1) 
(P) 
 
 
    [TCV_mode=FALSE] 
 
 
 
 
      TPCO1 ! ASGE_RSP 
casp_asge_rsp(TCV_session_lid, 9, cpdu_set_rsp_ret0(TSPX_default_eid_7), ?, 0) 
 
 
 
    (TSV_STP_TC_AP_1SET_RSE_BV_06_run:=TRUE) 
 
 
 
Detailed Comments
 


STP_TC_AP_1SET_RSE_BV_07

Test Step Name
STP_TC_AP_1SET_RSE_BV_07 
Group
AP_1SET/RSE/BV
Objective
Verify that the DUT supports the SET.rq of the data attributes ( ReceiptData2 and
EquipmentStatus
Default
 
Comments
[EN 15509] clause 5.2.3, clause 5.2.4, clause 5.2.5.2, clause 5.2.5.3
DUT & Tester initialised 
Description
Verify that the DUT supports the SET.rq of the data attributes ( ReceiptData2 and
EquipmentStatus
Nr Label Behaviour Description Constraints Ref Verdict Comments
 
[TSV_Error=TRUE] 
 
(F) 
 
  TPCO1 ? ASGE_REQ (TCV_mode:=ASGE_REQ.ASGE_PARAM.set_request.mode) 
casp_asge_req(TCV_session_lid, 7, cpdu_set_req_s1(TSPX_default_eid_7, ?, TCV_accessCredentials, TSPX_AttrList_ReceiptData2_EquipmentStatus), -1, -1) 
(P) 
 
 
    [TCV_mode=FALSE] 
 
 
 
 
      TPCO1 ! ASGE_RSP 
casp_asge_rsp(TCV_session_lid, 9, cpdu_set_rsp_ret0(TSPX_default_eid_7), ?, 0) 
 
 
 
    (TSV_STP_TC_AP_1SET_RSE_BV_07_run:=TRUE) 
 
 
 
Detailed Comments
 


AP_1STA

Group Name
AP_1STA 


RSE

Group Name
RSE 


BV

Group Name
BV 


STP_TC_AP_1STA_RSE_BV_01

Test Step Name
STP_TC_AP_1STA_RSE_BV_01 
Group
AP_1STA/RSE/BV
Objective
Verify that the DUT supports the read (by means of GET-STAMPED.rq) of the data
attributes 
Default
 
Comments
[EN 15509] clause 5.2.3, clause 5.2.5.2, clause 5.2.5.3
DUT & Tester initialised 
Description
Verify that the DUT supports the read (by means of GET-STAMPED.rq) of the data
attributes 
Nr Label Behaviour Description Constraints Ref Verdict Comments
 
[TSV_Error=TRUE] 
 
(F) 
 
  TPCO1 ? ASGE_REQ (TCV_mode:=ASGE_REQ.ASGE_PARAM.action_request.mode) 
casp_asge_req (TCV_session_lid, 7, cpdu_default_GET_STAMPED_req_s1 (TCV_accessCredentials), -1, -1) 
(P) 
 
 
    [TCV_mode=FALSE] 
 
 
 
 
      TPCO1 ! ASGE_RSP 
casp_asge_rsp (TCV_session_lid, 9, cpdu_ok_GET_STAMPED_rsp, ?, 0) 
 
 
 
    (TSV_STP_TC_AP_1STA_RSE_BV_01_run:=TRUE) 
 
 
 
Detailed Comments
 


BI

Group Name
BI 


STP_TC_AP_1STA_RSE_BI_01

Test Step Name
STP_TC_AP_1STA_RSE_BI_01 
Group
AP_1STA/RSE/BI
Objective
Verify that the DUT detects an incorrect attributeList parameter of the GETSTAMPED.
rs
NOTE: Depending on attrIdList of the request PDU, this TP shall be repeated with
different incorrect attributeList in the response 
Default
 
Comments
[EN 15509] clause 5.2.3, clause 5.2.5.2, clause 5.2.5.3
DUT & Tester initialised 
Description
Verify that the DUT detects an incorrect attributeList parameter of the GETSTAMPED.
rs
NOTE: Depending on attrIdList of the request PDU, this TP shall be repeated with
different incorrect attributeList in the response 
Nr Label Behaviour Description Constraints Ref Verdict Comments
 
[TSV_Error=TRUE] 
 
(F) 
 
  TPCO1 ? ASGE_REQ (TCV_mode:=ASGE_REQ.ASGE_PARAM.action_request.mode) 
casp_asge_req (TCV_session_lid, 7, cpdu_default_GET_STAMPED_req_s1(TCV_accessCredentials), -1, -1) 
(P) 
 
 
    [TCV_mode=FALSE] 
 
 
 
 
      TPCO1 ! ASGE_RSP 
casp_asge_rsp (TCV_session_lid, 9, cpdu_invAttrLst_GET_STAMPED_rsp, ?, 0) 
 
 
 
    (TSV_STP_TC_AP_1STA_RSE_BI_01_run:=TRUE) 
 
 
 
Detailed Comments
 


STP_TC_AP_1STA_RSE_BI_03

Test Step Name
STP_TC_AP_1STA_RSE_BI_03 
Group
AP_1STA/RSE/BI
Objective
Verify that the DUT detects an incorrect authenticator parameter of the GETSTAMPED.
rs 
Default
 
Comments
[EN 15509] clause 5.2.3, clause 5.2.5.2, clause 5.2.5.3
DUT & Tester initialised 
Description
Verify that the DUT detects an incorrect authenticator parameter of the GETSTAMPED.
rs 
Nr Label Behaviour Description Constraints Ref Verdict Comments
 
[TSV_Error=TRUE] 
 
(F) 
 
  TPCO1 ? ASGE_REQ (TCV_mode:=ASGE_REQ.ASGE_PARAM.action_request.mode) 
casp_asge_req (TCV_session_lid, 7, cpdu_default_GET_STAMPED_req_s1(TCV_accessCredentials), -1, -1) 
(P) 
 
 
    [TCV_mode=FALSE] 
 
 
 
 
      TPCO1 ! ASGE_RSP 
casp_asge_rsp (TCV_session_lid, 9, cpdu_incAuth_GET_STAMPED_rsp, ?, 0) 
 
 
 
    (TSV_STP_TC_AP_1STA_RSE_BI_03_run:=TRUE) 
 
 
 
Detailed Comments
 


AP_1MMI

Group Name
AP_1MMI 


RSE

Group Name
RSE 


BV

Group Name
BV 


STP_TC_AP_1MMI_RSE_BV_01

Test Step Name
STP_TC_AP_1MMI_RSE_BV_01 
Group
AP_1MMI/RSE/BV
Objective
Verify that the DUT supports the SET-MMI-rq 
Default
 
Comments
[EN 15509] clause 5.2.3, clause 5.2.5.3
DUT & Tester initialised 
Description
Verify that the DUT supports the SET-MMI-rq 
Nr Label Behaviour Description Constraints Ref Verdict Comments
 
[TSV_Error=TRUE] 
 
(F) 
 
  TPCO1 ? ASGE_REQ (TCV_mode:=ASGE_REQ.ASGE_PARAM.action_request.mode) 
casp_asge_req (TCV_session_lid, 7, cpdu_default_SetMMI_req_s1 (TCV_accessCredentials), -1, -1) 
(P) 
 
 
    [TCV_mode=FALSE] 
 
 
 
 
      TPCO1 ! ASGE_RSP 
casp_asge_rsp (TCV_session_lid, 9, cpdu_ok_SetMMI_rsp, ?, 0) 
 
 
 
    (TSV_STP_TC_AP_1MMI_RSE_BV_01_run:=TRUE) 
 
 
 
Detailed Comments
 


AP_1ECH

Group Name
AP_1ECH 


RSE

Group Name
RSE 


BV

Group Name
BV 


STP_TC_AP_1ECH_RSE_BV_01

Test Step Name
STP_TC_AP_1ECH_RSE_BV_01 
Group
AP_1ECH/RSE/BV
Objective
Verify that the DUT supports the ECHO-rq 
Default
 
Comments
[EN 15509] clause 5.2.3, clause 5.2.5.3
DUT & Tester initialised 
Description
Verify that the DUT supports the ECHO-rq 
Nr Label Behaviour Description Constraints Ref Verdict Comments
 
[TSV_Error=TRUE] 
 
(F) 
 
  TPCO1 ? ASGE_REQ (TCV_mode:=ASGE_REQ.ASGE_PARAM.action_request.mode) 
casp_asge_req (TCV_session_lid, 7, cpdu_default_echo_req_s1 (TCV_accessCredentials), -1, -1) 
(P) 
 
 
    [TCV_mode=FALSE] 
 
 
 
 
      TPCO1 ! ASGE_RSP 
casp_asge_rsp (TCV_session_lid, 9, cpdu_default_echo_rsp, ?, 0) 
 
 
 
    (TSV_STP_TC_AP_1ECH_RSE_BV_01_run:=TRUE) 
 
 
 
Detailed Comments
 


DF_Standard_Default_No_BST

Default Name
DF_Standard_Default_No_BST 
Group
 
Objective
Standard default for use in test cases where BST should not be handled in Default 
Comments
Handles unexpected events, leads to failure 
Description
 
Nr Label Behaviour Description Constraints Ref Verdict Comments
 
?OTHERWISE CANCEL 
 
 
 
?TIMEOUT 
 
 
Detailed Comments
 

Generated by TTCN Suite, Copyright (C) Telelogic AB