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 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 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 Group Reference | Default Id | Description | Page Nr |
---|---|---|---|
DF_Standard_Default_No_BST |
Detailed Comments |
---|
Type Name | Type Definition | Type Encoding | Comments |
---|
Detailed Comments |
---|
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 |
---|
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 |
---|
Type Name | EFC_Context_Mark_octetstring |
---|---|
Encoding Variation | |
Comments | Implemented choice of ApplicationContextMark |
Type Definition |
---|
OCTET STRING (SIZE (0..127 ) ) |
Detailed Comments |
---|
Type Name | Integer_Lid |
---|---|
Encoding Variation | |
Comments | Valid range for private LID. 28 bit unsigned INTEGER |
Type Definition |
---|
INTEGER (0..2147483647) |
Detailed Comments |
---|
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 |
---|
Type Name | Profile_List |
---|---|
Encoding Variation | |
Comments | Just to fix insufficiency of tool |
Type Definition |
---|
SEQUENCE (SIZE (0..127 ) ) OF Profile |
Detailed Comments |
---|
Type Name | TextString |
---|---|
Encoding Variation | |
Comments | To fix insufficiency of tool |
Type Definition |
---|
OCTET STRING |
Detailed Comments |
---|
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 Rule Name | Reference | Default | Comments |
---|
Detailed Comments |
---|
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 |
---|
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 |
---|
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 |
---|
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 |
---|
Constant Name | Type | Value | Comments |
---|---|---|---|
TSC_EventType_RELEASE |
EventType |
0 |
|
TSC_System_EID |
Dsrc_EID |
0 |
|
TSC_ActionType_GET_STAMPED |
ActionType |
0 |
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 |
---|
Constant Name | Type | Value Reference | Module Identifier | Comments | Value |
---|
Detailed Comments |
---|
Detailed Comments |
---|
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 | Role | Comments |
---|---|---|
TSAP |
LT |
SAP offered by T-Kernel to B-Kernel, I-Kernel and Application |
Detailed Comments |
---|
PCO Name | PCO Type | Role | Comments |
---|---|---|---|
TPCO1 |
TSAP |
LT |
Between T-Kernel encoding/decoding function and rest of application layer above |
Detailed Comments |
---|
CP Name | Comments |
---|
Detailed Comments |
---|
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 |
---|
Component Name | Component Role | Nr PCOs | Nr CPs | Comments |
---|
Detailed Comments |
---|
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 |
---|
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 |
---|
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 |
---|
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 |
---|
ASP Name | PCO Type | Type Reference | Module Identifier | Comments | Type Definition |
---|
Detailed Comments |
---|
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 Name | Expansion | Comments |
---|
Detailed Comments |
---|
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 |
---|
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 |
---|
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 |
---|
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 |
---|
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 |
---|
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 |
---|
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 |
---|
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 |
---|
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 |
---|
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 |
---|
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 |
---|
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 |
---|
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 |
---|
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 |
---|
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 |
---|
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 |
---|
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 |
---|
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 |
---|
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 |
---|
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 |
---|
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 |
---|
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 |
---|
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 |
---|
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 |
---|
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 |
---|
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 |
---|
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 |
---|
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 |
Detailed Comments |
---|
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 |
---|---|---|---|---|---|
1 |
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 |
|||||
2 |
[TSPX_0GET=TRUE] |
||||
3 |
+STP_TC_AP_0GET_RSE_BI_01 |
||||
4 |
[TSPX_0GET=FALSE] |
||||
5 |
(TSV_STP_TC_AP_0GET_RSE_BI_01_run:=TRUE) |
||||
6 |
[TSPX_0STA=TRUE] |
||||
7 |
+STP_TC_AP_0STA_RSE_BI_01 |
||||
8 |
+STP_TC_AP_0STA_RSE_BI_03 |
||||
9 |
[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 |
---|
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 |
Detailed Comments |
---|
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 |
---|---|---|---|---|---|
1 |
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 |
|||||
2 |
[TSPX_1GET=TRUE] |
||||
3 |
+STP_TC_AP_1GET_RSE_BI_01 |
||||
4 |
[TSPX_1GET=FALSE] |
||||
5 |
(TSV_STP_TC_AP_1GET_RSE_BI_01_run:=TRUE) |
||||
6 |
[TSPX_1STA=TRUE] |
||||
7 |
+STP_TC_AP_1STA_RSE_BI_01 |
||||
8 |
+STP_TC_AP_1STA_RSE_BI_03 |
||||
9 |
[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 |
---|
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 |
---|---|---|---|---|---|
1 |
<IUT ! INIT_REQ> |
casp_init_req( cts_broadcast_LID, 3, cpdu_BST(?, ?, TSPX_Default_profile, {{aid TSPX_Default_applicationID}},*, *),*,0 ) |
|||
2 |
START T_TESTER_WAIT |
||||
3 |
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) |
2 |
|
4 |
? TIMEOUT T_TESTER_WAIT |
F |
1 |
Detailed Comments | 1. TimeOut Failure 2. Receive requested BST |
---|
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 |
---|---|---|---|---|---|
1 |
<IUT ! INIT_REQ> |
casp_init_req( cts_broadcast_LID, 3, cpdu_BST(?, ?, profile, TSPX_default_ApplicationList_BST,*, *),*,0 ) |
|||
2 |
START T_TESTER_WAIT |
||||
3 |
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) |
1 |
|
4 |
? TIMEOUT T_TESTER_WAIT |
F |
2 |
Detailed Comments | 1. Receive BST 2. Timeout Failure |
---|
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 |
---|---|---|---|---|---|
1 |
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) |
1 |
||
2 |
TPCO1 ? ASGE_REQ (TCV_Service_Param:=ASGE_REQ.ASGE_PARAM) CANCEL T_TX_RX_LTA |
casp_asge_req(TCV_session_lid, *, *, *, 0) |
4 |
||
3 |
[TCV_Service_Param<>cpdu_release_req] |
(P) |
|||
4 |
[TCV_Service_Param=cpdu_release_req] |
F |
|||
5 |
? TIMEOUT T_TX_RX_LTA |
F |
2 |
||
6 |
TPCO1 ? INIT_REQ CANCEL T_TX_RX_LTA |
casp_init_req( cts_broadcast_LID, 3, cpdu_BST(?, ?, ?, TSPX_default_ApplicationList_BST,*, *),*, 0 ) |
F |
3 |
Detailed Comments | 1. Send VST 2. TimeOut failure 3. Unexpected BST received 4. Private command received |
---|
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 |
---|---|---|---|---|---|
1 |
+STP_RX_BST_DEF_APPS_ID |
||||
2 |
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 |
---|
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 |
---|---|---|---|---|---|
1 |
+STP_RX_BST_DEF_APPS_ID |
||||
2 |
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 |
---|
Group Name | AP_0BAS |
---|
Group Name | RSE |
---|
Group Name | BV |
---|
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 |
---|---|---|---|---|---|
1 |
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) |
||
2 |
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 ) |
|||
3 |
(TSV_STP_TC_AP_0BAS_RSE_BV_01_run:=TRUE) |
Detailed Comments |
---|
Group Name | AP_0GET |
---|
Group Name | RSE |
---|
Group Name | BV |
---|
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 |
---|---|---|---|---|---|
1 |
[TSV_Error=TRUE] |
(F) |
1 |
||
2 |
TPCO1 ? ASGE_REQ |
casp_asge_req(TCV_session_lid, 7, cpdu_get_req(TSPX_default_eid_7, {TSPX_attributes_7.attributeId}), -1, -1) |
(P) |
||
3 |
TPCO1 ! ASGE_RSP |
casp_asge_rsp(TCV_session_lid, 9, cpdu_get_rsp_ret0(TSPX_default_eid_7), ?, 0) |
|||
4 |
(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) |
---|
Group Name | BI |
---|
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 |
---|---|---|---|---|---|
1 |
[TSV_Error=TRUE] |
(F) |
1 |
||
2 |
TPCO1 ? ASGE_REQ |
casp_asge_req(TCV_session_lid, 7, cpdu_get_req(TSPX_default_eid_7, {TSPX_attributes_7.attributeId}), -1, -1) |
(P) |
||
3 |
TPCO1 ! ASGE_RSP |
casp_asge_rsp(TCV_session_lid, 9, cpdu_get_rsp_ret0_inv(TSPX_default_eid_7, TSPX_inv_attrib), ?, 0) |
|||
4 |
(TSV_STP_TC_AP_0GET_RSE_BI_01_run:=TRUE) |
Detailed Comments |
---|
Group Name | AP_0SET |
---|
Group Name | RSE |
---|
Group Name | BV |
---|
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 |
---|---|---|---|---|---|
1 |
[TSV_Error=TRUE] |
(F) |
1 |
||
2 |
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) |
||
3 |
[TCV_mode=FALSE] |
||||
4 |
TPCO1 ! ASGE_RSP |
casp_asge_rsp(TCV_session_lid, 9, cpdu_set_rsp_ret0(TSPX_default_eid_7), ?, 0) |
|||
5 |
(TSV_STP_TC_AP_0SET_RSE_BV_01_run:=TRUE) |
Detailed Comments |
---|
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 |
---|---|---|---|---|---|
1 |
[TSV_Error=TRUE] |
(F) |
1 |
||
2 |
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) |
||
3 |
[TCV_mode=FALSE] |
||||
4 |
TPCO1 ! ASGE_RSP |
casp_asge_rsp(TCV_session_lid, 9, cpdu_set_rsp_ret0(TSPX_default_eid_7), ?, 0) |
|||
5 |
(TSV_STP_TC_AP_0SET_RSE_BV_02_run:=TRUE) |
Detailed Comments |
---|
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 |
---|---|---|---|---|---|
1 |
[TSV_Error=TRUE] |
(F) |
1 |
||
2 |
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) |
||
3 |
[TCV_mode=FALSE] |
||||
4 |
TPCO1 ! ASGE_RSP |
casp_asge_rsp(TCV_session_lid, 9, cpdu_set_rsp_ret0(TSPX_default_eid_7), ?, 0) |
|||
5 |
(TSV_STP_TC_AP_0SET_RSE_BV_03_run:=TRUE) |
Detailed Comments |
---|
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 |
---|---|---|---|---|---|
1 |
[TSV_Error=TRUE] |
(F) |
1 |
||
2 |
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) |
||
3 |
[TCV_mode=FALSE] |
||||
4 |
TPCO1 ! ASGE_RSP |
casp_asge_rsp(TCV_session_lid, 9, cpdu_set_rsp_ret0(TSPX_default_eid_7), ?, 0) |
|||
5 |
(TSV_STP_TC_AP_0SET_RSE_BV_04_run:=TRUE) |
Detailed Comments |
---|
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 |
---|---|---|---|---|---|
1 |
[TSV_Error=TRUE] |
(F) |
1 |
||
2 |
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) |
||
3 |
[TCV_mode=FALSE] |
||||
4 |
TPCO1 ! ASGE_RSP |
casp_asge_rsp(TCV_session_lid, 9, cpdu_set_rsp_ret0(TSPX_default_eid_7), ?, 0) |
|||
5 |
(TSV_STP_TC_AP_0SET_RSE_BV_05_run:=TRUE) |
Detailed Comments |
---|
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 |
---|---|---|---|---|---|
1 |
[TSV_Error=TRUE] |
(F) |
1 |
||
2 |
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) |
||
3 |
[TCV_mode=FALSE] |
||||
4 |
TPCO1 ! ASGE_RSP |
casp_asge_rsp(TCV_session_lid, 9, cpdu_set_rsp_ret0(TSPX_default_eid_7), ?, 0) |
|||
5 |
(TSV_STP_TC_AP_0SET_RSE_BV_06_run:=TRUE) |
Detailed Comments |
---|
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 |
---|---|---|---|---|---|
1 |
[TSV_Error=TRUE] |
(F) |
1 |
||
2 |
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) |
||
3 |
[TCV_mode=FALSE] |
||||
4 |
TPCO1 ! ASGE_RSP |
casp_asge_rsp(TCV_session_lid, 9, cpdu_set_rsp_ret0(TSPX_default_eid_7), ?, 0) |
|||
5 |
(TSV_STP_TC_AP_0SET_RSE_BV_07_run:=TRUE) |
Detailed Comments |
---|
Group Name | AP_0STA |
---|
Group Name | RSE |
---|
Group Name | BV |
---|
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 |
---|---|---|---|---|---|
1 |
[TSV_Error=TRUE] |
(F) |
1 |
||
2 |
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) |
||
3 |
[TCV_mode=FALSE] |
||||
4 |
TPCO1 ! ASGE_RSP |
casp_asge_rsp (TCV_session_lid, 9, cpdu_ok_GET_STAMPED_rsp, ?, 0) |
|||
5 |
(TSV_STP_TC_AP_0STA_RSE_BV_01_run:=TRUE) |
Detailed Comments |
---|
Group Name | BI |
---|
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 |
---|---|---|---|---|---|
1 |
[TSV_Error=TRUE] |
(F) |
1 |
||
2 |
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) |
||
3 |
[TCV_mode=FALSE] |
||||
4 |
TPCO1 ! ASGE_RSP |
casp_asge_rsp (TCV_session_lid, 9, cpdu_invAttrLst_GET_STAMPED_rsp, ?, 0) |
|||
5 |
(TSV_STP_TC_AP_0STA_RSE_BI_01_run:=TRUE) |
Detailed Comments |
---|
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 |
---|---|---|---|---|---|
1 |
[TSV_Error=TRUE] |
(F) |
1 |
||
2 |
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) |
||
3 |
[TCV_mode=FALSE] |
||||
4 |
TPCO1 ! ASGE_RSP |
casp_asge_rsp (TCV_session_lid, 9, cpdu_incAuth_GET_STAMPED_rsp, ?, 0) |
|||
5 |
(TSV_STP_TC_AP_0STA_RSE_BI_03_run:=TRUE) |
Detailed Comments |
---|
Group Name | AP_0MMI |
---|
Group Name | RSE |
---|
Group Name | BV |
---|
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 |
---|---|---|---|---|---|
1 |
[TSV_Error=TRUE] |
(F) |
1 |
||
2 |
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) |
||
3 |
[TCV_mode=FALSE] |
||||
4 |
TPCO1 ! ASGE_RSP |
casp_asge_rsp (TCV_session_lid, 9, cpdu_ok_SetMMI_rsp, ?, 0) |
|||
5 |
(TSV_STP_TC_AP_0MMI_RSE_BV_01_run:=TRUE) |
Detailed Comments |
---|
Group Name | AP_0ECH |
---|
Group Name | RSE |
---|
Group Name | BV |
---|
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 |
---|---|---|---|---|---|
1 |
[TSV_Error=TRUE] |
(F) |
1 |
||
2 |
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) |
||
3 |
[TCV_mode=FALSE] |
||||
4 |
TPCO1 ! ASGE_RSP |
casp_asge_rsp (TCV_session_lid, 9, cpdu_default_echo_rsp, ?, 0) |
|||
5 |
(TSV_STP_TC_AP_0ECH_RSE_BV_01_run:=TRUE) |
Detailed Comments |
---|
Group Name | AP_0REL |
---|
Group Name | RSE |
---|
Group Name | BV |
---|
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 |
---|---|---|---|---|---|
1 |
[TSV_Error=TRUE] |
(F) |
1 |
||
2 |
TPCO1 ? ASGE_REQ |
casp_asge_req (TCV_session_lid, 7, cpdu_release_req, -1, -1) |
(P) |
||
3 |
(TSV_STP_TC_AP_0REL_RSE_BV_01_run:=TRUE) |
Detailed Comments |
---|
Group Name | AP_1BAS |
---|
Group Name | RSE |
---|
Group Name | BV |
---|
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 |
---|---|---|---|---|---|
1 |
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) |
||
2 |
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 ) |
|||
3 |
(TSV_STP_TC_AP_1BAS_RSE_BV_01_run:=TRUE) |
Detailed Comments |
---|
Group Name | AP_1GET |
---|
Group Name | RSE |
---|
Group Name | BV |
---|
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 |
---|---|---|---|---|---|
1 |
[TSV_Error=TRUE] |
(F) |
1 |
||
2 |
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) |
||
3 |
TPCO1 ! ASGE_RSP |
casp_asge_rsp(TCV_session_lid, 9, cpdu_get_rsp_ret0(TSPX_default_eid_7), ?, 0) |
|||
4 |
(TSV_STP_TC_AP_1GET_RSE_BV_01_run:=TRUE) |
Detailed Comments |
---|
Group Name | BI |
---|
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 |
---|---|---|---|---|---|
1 |
[TSV_Error=TRUE] |
(F) |
1 |
||
2 |
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) |
||
3 |
TPCO1 ! ASGE_RSP |
casp_asge_rsp(TCV_session_lid, 9, cpdu_get_rsp_ret0_inv(TSPX_default_eid_7, TSPX_inv_attrib), ?, 0) |
|||
4 |
(TSV_STP_TC_AP_1GET_RSE_BI_01_run:=TRUE) |
Detailed Comments |
---|
Group Name | AP_1SET |
---|
Group Name | RSE |
---|
Group Name | BV |
---|
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 |
---|---|---|---|---|---|
1 |
[TSV_Error=TRUE] |
(F) |
1 |
||
2 |
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) |
||
3 |
[TCV_mode=FALSE] |
||||
4 |
TPCO1 ! ASGE_RSP |
casp_asge_rsp(TCV_session_lid, 9, cpdu_set_rsp_ret0(TSPX_default_eid_7), ?, 0) |
|||
5 |
(TSV_STP_TC_AP_1SET_RSE_BV_01_run:=TRUE) |
Detailed Comments |
---|
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 |
---|---|---|---|---|---|
1 |
[TSV_Error=TRUE] |
(F) |
1 |
||
2 |
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) |
||
3 |
[TCV_mode=FALSE] |
||||
4 |
TPCO1 ! ASGE_RSP |
casp_asge_rsp(TCV_session_lid, 9, cpdu_set_rsp_ret0(TSPX_default_eid_7), ?, 0) |
|||
5 |
(TSV_STP_TC_AP_1SET_RSE_BV_02_run:=TRUE) |
Detailed Comments |
---|
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 |
---|---|---|---|---|---|
1 |
[TSV_Error=TRUE] |
(F) |
1 |
||
2 |
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) |
||
3 |
[TCV_mode=FALSE] |
||||
4 |
TPCO1 ! ASGE_RSP |
casp_asge_rsp(TCV_session_lid, 9, cpdu_set_rsp_ret0(TSPX_default_eid_7), ?, 0) |
|||
5 |
(TSV_STP_TC_AP_1SET_RSE_BV_03_run:=TRUE) |
Detailed Comments |
---|
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 |
---|---|---|---|---|---|
1 |
[TSV_Error=TRUE] |
(F) |
1 |
||
2 |
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) |
||
3 |
[TCV_mode=FALSE] |
||||
4 |
TPCO1 ! ASGE_RSP |
casp_asge_rsp(TCV_session_lid, 9, cpdu_set_rsp_ret0(TSPX_default_eid_7), ?, 0) |
|||
5 |
(TSV_STP_TC_AP_1SET_RSE_BV_04_run:=TRUE) |
Detailed Comments |
---|
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 |
---|---|---|---|---|---|
1 |
[TSV_Error=TRUE] |
(F) |
1 |
||
2 |
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) |
||
3 |
[TCV_mode=FALSE] |
||||
4 |
TPCO1 ! ASGE_RSP |
casp_asge_rsp(TCV_session_lid, 9, cpdu_set_rsp_ret0(TSPX_default_eid_7), ?, 0) |
|||
5 |
(TSV_STP_TC_AP_1SET_RSE_BV_05_run:=TRUE) |
Detailed Comments |
---|
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 |
---|---|---|---|---|---|
1 |
[TSV_Error=TRUE] |
(F) |
1 |
||
2 |
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) |
||
3 |
[TCV_mode=FALSE] |
||||
4 |
TPCO1 ! ASGE_RSP |
casp_asge_rsp(TCV_session_lid, 9, cpdu_set_rsp_ret0(TSPX_default_eid_7), ?, 0) |
|||
5 |
(TSV_STP_TC_AP_1SET_RSE_BV_06_run:=TRUE) |
Detailed Comments |
---|
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 |
---|---|---|---|---|---|
1 |
[TSV_Error=TRUE] |
(F) |
1 |
||
2 |
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) |
||
3 |
[TCV_mode=FALSE] |
||||
4 |
TPCO1 ! ASGE_RSP |
casp_asge_rsp(TCV_session_lid, 9, cpdu_set_rsp_ret0(TSPX_default_eid_7), ?, 0) |
|||
5 |
(TSV_STP_TC_AP_1SET_RSE_BV_07_run:=TRUE) |
Detailed Comments |
---|
Group Name | AP_1STA |
---|
Group Name | RSE |
---|
Group Name | BV |
---|
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 |
---|---|---|---|---|---|
1 |
[TSV_Error=TRUE] |
(F) |
1 |
||
2 |
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) |
||
3 |
[TCV_mode=FALSE] |
||||
4 |
TPCO1 ! ASGE_RSP |
casp_asge_rsp (TCV_session_lid, 9, cpdu_ok_GET_STAMPED_rsp, ?, 0) |
|||
5 |
(TSV_STP_TC_AP_1STA_RSE_BV_01_run:=TRUE) |
Detailed Comments |
---|
Group Name | BI |
---|
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 |
---|---|---|---|---|---|
1 |
[TSV_Error=TRUE] |
(F) |
1 |
||
2 |
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) |
||
3 |
[TCV_mode=FALSE] |
||||
4 |
TPCO1 ! ASGE_RSP |
casp_asge_rsp (TCV_session_lid, 9, cpdu_invAttrLst_GET_STAMPED_rsp, ?, 0) |
|||
5 |
(TSV_STP_TC_AP_1STA_RSE_BI_01_run:=TRUE) |
Detailed Comments |
---|
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 |
---|---|---|---|---|---|
1 |
[TSV_Error=TRUE] |
(F) |
1 |
||
2 |
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) |
||
3 |
[TCV_mode=FALSE] |
||||
4 |
TPCO1 ! ASGE_RSP |
casp_asge_rsp (TCV_session_lid, 9, cpdu_incAuth_GET_STAMPED_rsp, ?, 0) |
|||
5 |
(TSV_STP_TC_AP_1STA_RSE_BI_03_run:=TRUE) |
Detailed Comments |
---|
Group Name | AP_1MMI |
---|
Group Name | RSE |
---|
Group Name | BV |
---|
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 |
---|---|---|---|---|---|
1 |
[TSV_Error=TRUE] |
(F) |
1 |
||
2 |
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) |
||
3 |
[TCV_mode=FALSE] |
||||
4 |
TPCO1 ! ASGE_RSP |
casp_asge_rsp (TCV_session_lid, 9, cpdu_ok_SetMMI_rsp, ?, 0) |
|||
5 |
(TSV_STP_TC_AP_1MMI_RSE_BV_01_run:=TRUE) |
Detailed Comments |
---|
Group Name | AP_1ECH |
---|
Group Name | RSE |
---|
Group Name | BV |
---|
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 |
---|---|---|---|---|---|
1 |
[TSV_Error=TRUE] |
(F) |
1 |
||
2 |
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) |
||
3 |
[TCV_mode=FALSE] |
||||
4 |
TPCO1 ! ASGE_RSP |
casp_asge_rsp (TCV_session_lid, 9, cpdu_default_echo_rsp, ?, 0) |
|||
5 |
(TSV_STP_TC_AP_1ECH_RSE_BV_01_run:=TRUE) |
Detailed Comments |
---|
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 |
---|---|---|---|---|---|
1 |
?OTHERWISE CANCEL |
F |
|||
2 |
?TIMEOUT |
F |
Detailed Comments |
---|