Commit bd666cdb authored by filatov's avatar filatov
Browse files

1. put ITS_AID verification at the very beginning of profile TCs

2. Check generation time over all possible time validity restriction forms
3. Clean up TPs removing {}
fix #0007298 
parent cc3f8f95
......@@ -26,7 +26,7 @@
"key": "_expectedResults",
"origin": "51547a62-2c91-4ca7-abbd-76e8acad57a3",
"type": "STRING",
"value": "with {\r\n\tthe IUT has been authorized with the AT certificate (CERT_IUT_B_AT) {\r\n\t\tcontaining validity_restrictions ['region'] {\r\n\t\t\tcontaining region{\r\n\t\t\t\tcontaining region_type\r\n\t\t\t\t\tindicating 'circle'\r\n\t\t\t\tcontaining circular_region\r\n\t\t\t\t\tindicating REGION\r\n\t\t\t}\r\n\t\t}\r\n\t}\r\n}\r\nensure that {\r\n\twhen {\r\n\t\tthe IUT is requested to send a DENM\r\n\t} then {\r\n\t\tthe IUT sends a SecuredMessage {\r\n\t\t\tcontaining exactly one header_field ['generation_location']\r\n\t\t\t\tcontaining generation_location\r\n\t\t\t\t\tindicating value inside the REGION\r\n\t\t\tcontaining header_field ['its_aid'] {\r\n\t\t\t\tcontaining its_aid\r\n\t\t\t\t\tindicating 'AID_DENM'\r\n\t\t\t}\r\n\t\t}\r\n\t}\r\n}"
"value": "with {\r\n\tthe IUT has been authorized with the AT certificate (CERT_IUT_B_AT)\r\n\t\tcontaining validity_restrictions ['region']\r\n\t\t\tcontaining region{\r\n\t\t\t\tcontaining region_type\r\n\t\t\t\t\tindicating 'circle'\r\n\t\t\t\tcontaining circular_region\r\n\t\t\t\t\tindicating REGION\r\n}\r\nensure that {\r\n\twhen {\r\n\t\tthe IUT is requested to send a DENM\r\n\t} then {\r\n\t\tthe IUT sends a SecuredMessage\r\n\t\t\tcontaining exactly one header_field ['generation_location']\r\n\t\t\t\tcontaining generation_location\r\n\t\t\t\t\tindicating value inside the REGION\r\n\t}\r\n}"
},
"_status": {
"isGenerated": false,
......
......@@ -26,7 +26,7 @@
"key": "_expectedResults",
"origin": "a9482e81-9cbd-4c5e-868d-adca01d57eea",
"type": "STRING",
"value": "with {\r\n\tthe IUT has been authorized with the AT certificate (CERT_IUT_C_AT) {\r\n\t\tcontaining validity_restrictions ['region'] {\r\n\t\t\tcontaining region{\r\n\t\t\t\tcontaining region_type\r\n\t\t\t\t\tindicating 'rectangle'\r\n\t\t\t\tcontaining rectangular_region\r\n\t\t\t\t\tcontaining instance of RectangularRegion\r\n\t\t\t\t\t\tindicating REGION\r\n\t\t\t}\r\n\t\t}\r\n\t}\r\n}\r\nensure that {\r\n\twhen {\r\n\t\tthe IUT is requested to send DENM\r\n\t} then {\r\n\t\tthe IUT sends a SecuredMessage {\r\n\t\t\tcontaining exactly one header_field ['generation_location']\r\n\t\t\t\tcontaining generation_location\r\n\t\t\t\t\tindicating value inside the REGION\r\n\t\t\tcontaining header_field ['its_aid'] {\r\n\t\t\t\tcontaining its_aid\r\n\t\t\t\t\tindicating 'AID_DENM'\r\n\t\t\t}\r\n\t\t}\r\n\t}\r\n}"
"value": "with {\r\n\tthe IUT has been authorized with the AT certificate (CERT_IUT_C_AT)\r\n\t\tcontaining validity_restrictions ['region']\r\n\t\t\tcontaining region\r\n\t\t\t\tcontaining region_type\r\n\t\t\t\t\tindicating 'rectangle'\r\n\t\t\t\tcontaining rectangular_region\r\n\t\t\t\t\tcontaining instance of RectangularRegion\r\n\t\t\t\t\t\tindicating REGION\r\n}\r\nensure that {\r\n\twhen {\r\n\t\tthe IUT is requested to send DENM\r\n\t} then {\r\n\t\tthe IUT sends a SecuredMessage\r\n\t\t\tcontaining exactly one header_field ['generation_location']\r\n\t\t\t\tcontaining generation_location\r\n\t\t\t\t\tindicating value inside the REGION\r\n\t}\r\n}"
},
"_status": {
"isGenerated": false,
......
......@@ -26,7 +26,7 @@
"key": "_expectedResults",
"origin": "b38c353e-d6b3-4738-994d-3e2acb620357",
"type": "STRING",
"value": "with {\r\n\tthe IUT has been authorized with the AT certificate (CERT_IUT_D_AT) {\r\n\t\tcontaining validity_restrictions ['region'] {\r\n\t\t\tcontaining region{\r\n\t\t\t\tcontaining region_type\r\n\t\t\t\t\tindicating 'polygon'\r\n\t\t\t\tcontaining polygonal_region\r\n\t\t\t\t\tindicating REGION\r\n\t\t\t}\r\n\t\t}\r\n\t}\r\n}\r\nensure that {\r\n\twhen {\r\n\t\tthe IUT is requested to send a DENM\r\n\t} then {\r\n\t\tthe IUT sends a SecuredMessage {\r\n\t\t\tcontaining exactly one header_field ['generation_location']\r\n\t\t\t\tcontaining generation_location\r\n\t\t\t\t\tindicating value inside the REGION\t\r\n\t\t\tcontaining header_field ['its_aid'] {\r\n\t\t\t\tcontaining its_aid\r\n\t\t\t\t\tindicating 'AID_DENM'\r\n\t\t\t}\r\n\t\t}\r\n\t}\r\n}"
"value": "with {\r\n\tthe IUT has been authorized with the AT certificate (CERT_IUT_D_AT)\r\n\t\tcontaining validity_restrictions ['region']\r\n\t\t\tcontaining region\r\n\t\t\t\tcontaining region_type\r\n\t\t\t\t\tindicating 'polygon'\r\n\t\t\t\tcontaining polygonal_region\r\n\t\t\t\t\tindicating REGION\r\n}\r\nensure that {\r\n\twhen {\r\n\t\tthe IUT is requested to send a DENM\r\n\t} then {\r\n\t\tthe IUT sends a SecuredMessage\r\n\t\t\tcontaining exactly one header_field ['generation_location']\r\n\t\t\t\tcontaining generation_location\r\n\t\t\t\t\tindicating value inside the REGION\t\r\n\t}\r\n}"
},
"_status": {
"isGenerated": false,
......
......@@ -26,7 +26,7 @@
"key": "_expectedResults",
"origin": "203ac249-5e12-43fa-9655-24a84ef03629",
"type": "STRING",
"value": "with {\r\n\tthe IUT has been authorized with the AT certificate (CERT_IUT_E_AT) {\r\n\t\tcontaining validity_restrictions ['region'] {\r\n\t\t\tcontaining region{\r\n\t\t\t\tcontaining region_type\r\n\t\t\t\t\tindicating 'id_region'\r\n\t\t\t\tcontaining identified_region\r\n\t\t\t\t\tindicating REGION\r\n\t\t\t}\r\n\t\t}\r\n\t}\r\n}\r\nensure that {\r\n\twhen {\r\n\t\tthe IUT is requested to send a DENM\r\n\t} then {\r\n\t\tthe IUT sends a SecuredMessage {\r\n\t\t\tcontaining header_fields {\r\n\t\t\t\tcontaining exactly one instance of HeaderField {\r\n\t\t\t\t\tcontaining type \r\n\t\t\t\t\t\tindicating 'generation_location'\r\n\t\t\t\t\tcontaining generation_location\r\n\t\t\t\t\t\tindicating value inside the REGION\r\n\t\t\t\t\tcontaining header_field ['its_aid'] {\r\n\t\t\t\t\t\tcontaining its_aid\r\n\t\t\t\t\t\t\tindicating 'AID_DENM'\r\n\t\t\t\t\t}\r\n\t\t\t\t}\r\n\t\t\t}\r\n\t\t}\r\n\t}\r\n}"
"value": "with {\r\n\tthe IUT has been authorized with the AT certificate (CERT_IUT_E_AT)\r\n\t\tcontaining validity_restrictions ['region']\r\n\t\t\tcontaining region\r\n\t\t\t\tcontaining region_type\r\n\t\t\t\t\tindicating 'id_region'\r\n\t\t\t\tcontaining identified_region\r\n\t\t\t\t\tindicating REGION\r\n}\r\nensure that {\r\n\twhen {\r\n\t\tthe IUT is requested to send a DENM\r\n\t} then {\r\n\t\tthe IUT sends a SecuredMessage\r\n\t\t\tcontaining header_fields\r\n\t\t\t\tcontaining exactly one instance of HeaderField\r\n\t\t\t\t\tcontaining type \r\n\t\t\t\t\t\tindicating 'generation_location'\r\n\t\t\t\t\tcontaining generation_location\r\n\t\t\t\t\t\tindicating value inside the REGION\r\n\t}\r\n}"
},
"_status": {
"isGenerated": false,
......
......@@ -26,7 +26,7 @@
"key": "_expectedResults",
"origin": "d1828648-5927-4774-a8d0-939ebb26a6e7",
"type": "STRING",
"value": "with {\r\n\tthe IUT being in the 'authorized' state\r\n}\r\nensure that {\r\n\twhen {\r\n\t\tthe IUT is requested to send a DENM\r\n\t} then {\r\n\t\tthe IUT sends a SecuredMessage {\r\n\t\t\tcontaining header_fields['signed_info'].certificate {\r\n\t\t\t\tcontaining validity_restrictions ['region']\r\n\t\t\t\t{\r\n\t\t\t\t\tcontaining region.region_type\r\n\t\t\t\t\t\tindicating 'circle'\r\n\t\t\t\t\tcontaining region.circular_region\r\n\t\t\t\t\t\tindicating REGION\r\n\t\t\t\t} or {\r\n\t\t\t\t\tcontaining region.region_type\r\n\t\t\t\t\t\tindicating 'rectangle'\r\n\t\t\t\t\tcontaining region.rectangular_region\r\n\t\t\t\t\t\tcontaining array of rectangles\r\n\t\t\t\t\t\t\tindicating REGION\r\n\t\t\t\t} or {\r\n\t\t\t\t\tcontaining region.region_type\r\n\t\t\t\t\t\tindicating 'polygonal'\r\n\t\t\t\t\tcontaining region.polygonal_region\r\n\t\t\t\t\t\tindicating REGION\r\n\t\t\t\t} or {\t\t\t\r\n\t\t\t\t\tcontaining region.region_type\r\n\t\t\t\t\t\tindicating 'id_region'\r\n\t\t\t\t\tcontaining region.circular_region\r\n\t\t\t\t\t\tindicating REGION\r\n\t\t\t\t}\r\n\t\t\t}\r\n\t\t\tcontaining exactly one header_field ['generation_location']\r\n\t\t\t\tcontaining generation_location\r\n\t\t\t\t\tindicating location inside the REGION\r\n\t\t\tcontaining header_field ['its_aid'] {\r\n\t\t\t\tcontaining its_aid\r\n\t\t\t\t\tindicating 'AID_DENM'\r\n\t\t\t}\r\n\t\t}\r\n\t}\r\n}"
"value": "with {\r\n\tthe IUT being in the 'authorized' state\r\n}\r\nensure that {\r\n\twhen {\r\n\t\tthe IUT is requested to send a DENM\r\n\t} then {\r\n\t\tthe IUT sends a SecuredMessage\r\n\t\t\tcontaining header_fields['signed_info'].certificate\r\n\t\t\t\tcontaining validity_restrictions ['region']\r\n\t\t\t\t\tcontaining region.region_type\r\n\t\t\t\t\t\tindicating 'circle'\r\n\t\t\t\t\tcontaining region.circular_region\r\n\t\t\t\t\t\tindicating REGION\r\n\t\t\t\tor containing region.region_type\r\n\t\t\t\t\t\tindicating 'rectangle'\r\n\t\t\t\t\tcontaining region.rectangular_region\r\n\t\t\t\t\t\tcontaining array of rectangles\r\n\t\t\t\t\t\t\tindicating REGION\r\n\t\t\t\tor containing region.region_type\r\n\t\t\t\t\t\tindicating 'polygonal'\r\n\t\t\t\t\tcontaining region.polygonal_region\r\n\t\t\t\t\t\tindicating REGION\r\n\t\t\t\tor containing region.region_type\r\n\t\t\t\t\t\tindicating 'id_region'\r\n\t\t\t\t\tcontaining region.circular_region\r\n\t\t\t\t\t\tindicating REGION\r\n\t\t\tand containing exactly one header_field ['generation_location']\r\n\t\t\t\tcontaining generation_location\r\n\t\t\t\t\tindicating location inside the REGION\r\n\t}\r\n}"
},
"_status": {
"isGenerated": false,
......
......@@ -19,7 +19,7 @@
"key": "_expectedResults",
"origin": "b11462b8-676f-49d2-abad-bb7dc49fe8af",
"type": "STRING",
"value": "with {\r\n\tthe IUT being in the 'authorized' state\r\n}\r\nensure that {\r\n\twhen {\r\n\t\tthe IUT is requested to send a DENM\r\n\t} then {\r\n\t\tthe IUT sends a SecuredMessage {\r\n\t\t\tcontaining header_fields ['its_aid'] {\r\n\t\t\t\tcontaining its_aid\r\n\t\t\t\t\tindicating 'AID_DENM'\r\n\t\t\t}\r\n\t\t\tcontaining payload_field {\r\n\t\t\t\tcontaining type\r\n\t\t\t\t\tindicating 'signed'\r\n\t\t\t\tcontaining not-empty data\r\n\t\t\t}\r\n\t\t}\r\n\t}\r\n}"
"value": "with {\r\n\tthe IUT being in the 'authorized' state\r\n}\r\nensure that {\r\n\twhen {\r\n\t\tthe IUT is requested to send a DENM\r\n\t} then {\r\n\t\tthe IUT sends a SecuredMessage\r\n\t\t\tcontaining payload_field\r\n\t\t\t\tcontaining type\r\n\t\t\t\t\tindicating 'signed'\r\n\t\t\t\tand containing not-empty data\r\n\t}\r\n}"
},
"_status": {
"isGenerated": false,
......
......@@ -19,7 +19,7 @@
"key": "_expectedResults",
"origin": "dbac30a8-e850-46f2-b225-9c8718c90a2a",
"type": "STRING",
"value": "with {\r\n\tthe IUT being in the 'authorized' state\r\n}\r\nensure that {\r\n\twhen {\r\n\t\tthe IUT is requested to send DENM\r\n\t} then {\r\n\t\tthe IUT sends a SecuredMessage {\r\n\t\t\tcontaining header_field ['signer_info'] {\r\n\t\t\t\tcontaining signer {\r\n\t\t\t\t\tcontaining type\r\n\t\t\t\t\t\tindicating 'certificate'\r\n\t\t\t\t\tcontaining certificate\r\n\t\t\t\t\t\tcontaining subject_info.subject_type\r\n\t\t\t\t\t\t\tindicating 'authorization_ticket' (2)\r\n\t\t\t\t\t\tand containing subject_attributes['verification key'] (KEY)\r\n\t\t\t\t}\r\n\t\t\t}\r\n\t\t\tcontaining header_fields ['its_aid'] {\r\n\t\t\t\tcontaining its_aid\r\n\t\t\t\t\tindicating 'AID_DENM'\r\n\t\t\t}\r\n\t\t\tcontaining trailer_fields {\r\n\t\t\t\tcontaining single instance of type TrailerField {\r\n\t\t\t\t\tcontaining type\r\n\t\t\t\t\t\tindicating 'signature'\r\n\t\t\t\t\tcontaining signature\r\n\t\t\t\t\t\tverifiable using KEY\r\n\t\t\t\t}\r\n\t\t\t}\r\n\t\t}\r\n\t}\r\n}"
"value": "with {\r\n\tthe IUT being in the 'authorized' state\r\n}\r\nensure that {\r\n\twhen {\r\n\t\tthe IUT is requested to send DENM\r\n\t} then {\r\n\t\tthe IUT sends a SecuredMessage\r\n\t\t\tcontaining header_field ['signer_info']\r\n\t\t\t\tcontaining signer\r\n\t\t\t\t\tcontaining type\r\n\t\t\t\t\t\tindicating 'certificate'\r\n\t\t\t\t\tand containing certificate\r\n\t\t\t\t\t\tcontaining subject_info.subject_type\r\n\t\t\t\t\t\t\tindicating 'authorization_ticket' (2)\r\n\t\t\t\t\t\tand containing subject_attributes['verification key'] (KEY)\r\n\t\t\tand containing trailer_fields\r\n\t\t\t\tcontaining single instance of type TrailerField\r\n\t\t\t\t\tcontaining type\r\n\t\t\t\t\t\tindicating 'signature'\r\n\t\t\t\t\tand containing signature\r\n\t\t\t\t\t\tverifiable using KEY\r\n\t}\r\n}"
},
"_status": {
"isGenerated": false,
......
{
"attributes": {
"_description": {
"isGenerated": false,
"key": "_description",
"origin": "d2c489c7-6048-4cfb-bf07-3a6e04aa4964",
"type": "STRING",
"value": "Check that the sent Secured Message contains exactly one HeaderField its_aid that is set to predefined value"
},
"_locations": {
"elements_type": "STRING",
"isGenerated": false,
"key": "_locations",
"origin": "d2c489c7-6048-4cfb-bf07-3a6e04aa4964",
"type": "LIST",
"value": [
"/Documents/Draft_ETSI_TS_103 097 v1.1.14.xhtml/505beac6-127f-4abe-904a-8da820820b8f",
"/Documents/ts_103097v010201p.xhtml/49abf17c-f239-46b9-ad89-ac52a283c52c",
"/Documents/ts_103097v010201p.xhtml/12cbb24d-ca8d-4d7b-9264-10bb2ca521e7"
]
},
"_name": {
"isGenerated": false,
"key": "_name",
"origin": "d2c489c7-6048-4cfb-bf07-3a6e04aa4964",
"type": "STRING",
"value": "01. Check secured its_aid value"
},
"_transferStatus": {
"isGenerated": false,
"key": "_transferStatus",
"origin": "5b25108e-db13-477f-a863-df4a1803cf12",
"type": "STRING",
"value": "FAILED"
},
"_type": {
"isGenerated": false,
"key": "_type",
"origin": "5b25108e-db13-477f-a863-df4a1803cf12",
"type": "STRING",
"value": "Requirement"
}
},
"uuid": "d2c489c7-6048-4cfb-bf07-3a6e04aa4964"
}
\ No newline at end of file
{
"attributes": {
"_author": {
"isGenerated": false,
"key": "_author",
"origin": "c35481fb-48c3-498b-a6bd-070de03c1527",
"type": "STRING",
"value": "filatov"
},
"_description": {
"isGenerated": false,
"key": "_description",
"origin": "84bd0b12-9c52-4895-8aa2-d1b2565a83df",
"type": "STRING",
"value": "Check that the sent Secured Message contains HeaderField its_aid that is set to other value then AID_CAM and AID_DENM"
},
"_expectedResults": {
"isGenerated": false,
"key": "_expectedResults",
"origin": "84bd0b12-9c52-4895-8aa2-d1b2565a83df",
"type": "STRING",
"value": "with {\r\n\tthe IUT being in the 'authorized' state\r\n}\r\nensure that {\r\n\twhen {\r\n\t\tthe IUT is requested to send a Beacon\r\n\t} then {\r\n\t\tthe IUT sends a SecuredMessage\r\n\t\t\tcontaining header_fields ['its_aid']\r\n\t\t\t\tcontaining its_aid\r\n\t\t\t\t\tindicating 'AID_BEACON'\r\n\t}\r\n}"
},
"_status": {
"isGenerated": false,
"key": "_status",
"origin": "c35481fb-48c3-498b-a6bd-070de03c1527",
"type": "STRING",
"value": "verified"
},
"_type": {
"isGenerated": false,
"key": "_type",
"origin": "c35481fb-48c3-498b-a6bd-070de03c1527",
"type": "STRING",
"value": "TestPurpose"
}
},
"uuid": "84bd0b12-9c52-4895-8aa2-d1b2565a83df"
}
\ No newline at end of file
......@@ -19,7 +19,7 @@
"key": "_expectedResults",
"origin": "5d882403-407e-48dd-bb87-5c2200779512",
"type": "STRING",
"value": "with {\r\n\tthe IUT being in the 'authorized' state\r\n}\r\nensure that {\r\n\twhen {\r\n\t\tthe IUT is requested to send a Beacon\r\n\t} then {\r\n\t\tthe IUT sends a SecuredMessage {\r\n\t\t\tcontaining header_fields [0].type\r\n\t\t\t\tindicating 'signer_info'\r\n\t\t\tcontaining header_fields [1..n] \r\n\t\t\t\twhere header_fields [i].type < header_fields [i+1].type\r\n\t\t\tcontaining header_fields ['generation_time']\r\n\t\t\tcontaining header_fields ['generation_location']\r\n\t\t\tcontaining header_fields ['its_aid']\r\n\t\t\t\tindicating 'AID_BEACON'\r\n\t\t}\r\n\t}\r\n}"
"value": "with {\r\n\tthe IUT being in the 'authorized' state\r\n}\r\nensure that {\r\n\twhen {\r\n\t\tthe IUT is requested to send a Beacon\r\n\t} then {\r\n\t\tthe IUT sends a SecuredMessage {\r\n\t\t\tcontaining header_fields [0].type\r\n\t\t\t\tindicating 'signer_info'\r\n\t\t\tand containing header_fields [1..n] \r\n\t\t\t\twhere header_fields [i].type < header_fields [i+1].type\r\n\t\t\tand containing header_fields ['generation_time']\r\n\t\t\tand containing header_fields ['generation_location']\r\n\t\t\tand containing header_fields ['its_aid']\r\n\t\t}\r\n\t}\r\n}"
},
"_status": {
"isGenerated": false,
......
......@@ -19,7 +19,7 @@
"key": "_expectedResults",
"origin": "b14d29f1-439f-4671-9998-3a8e4a7d735c",
"type": "STRING",
"value": "with {\r\n\tthe IUT being in the 'authorized' state\r\n}\r\nensure that {\r\n\twhen {\r\n\t\tthe IUT is requested to send a Beacon\r\n\t} then {\r\n\t\tthe IUT sends a SecuredMessage {\r\n\t\t\tcontaining header_fields ['its_aid']\r\n\t\t\t\tindicating 'AID_BEACON'\r\n\t\t\tcontaining exactly one header_fields ['signer_info'] {\r\n\t\t\t\tcontaining signer {\r\n\t\t\t\t\tcontaining type\r\n\t\t\t\t\t\tindicating 'certificate'\r\n\t\t\t\t\tcontaining certificate\r\n\t\t\t\t}\r\n\t\t\t}\r\n\t\t}\r\n\t}\r\n}"
"value": "with {\r\n\tthe IUT being in the 'authorized' state\r\n}\r\nensure that {\r\n\twhen {\r\n\t\tthe IUT is requested to send a Beacon\r\n\t} then {\r\n\t\tthe IUT sends a SecuredMessage\r\n\t\t\tcontaining exactly one header_fields ['signer_info']\r\n\t\t\t\tcontaining signer\r\n\t\t\t\t\tcontaining type\r\n\t\t\t\t\t\tindicating 'certificate'\r\n\t\t\t\t\tand containing certificate\r\n\t}\r\n}"
},
"_status": {
"isGenerated": false,
......
......@@ -19,7 +19,7 @@
"key": "_expectedResults",
"origin": "b67b9bc7-410c-4caa-bf8a-45f1cad36b9a",
"type": "STRING",
"value": "with {\r\n\tthe IUT being in the 'authorized' state\r\n}\r\nensure that {\r\n\twhen {\r\n\t\tthe IUT is requested to send a Beacon\r\n\t} then {\r\n\t\tthe IUT sends a SecuredMessage {\r\n\t\t\tcontaining exactly one header_fields['generation_time'] {\r\n\t\t\t\tcontaining generation_time\r\n\t\t\t\t\tindicating TIME_1\r\n\t\t\t}\r\n\t\t\tcontaining header_fields['signer_info'] {\r\n\t\t\t\tcontaining signer {\r\n\t\t\t\t\tcontaining type\r\n\t\t\t\t\t\tindicating 'certificate'\r\n\t\t\t\t\tcontaining certificate {\r\n\t\t\t\t\t\tcontaining validity_restrictions['time_end'] {\r\n\t\t\t\t\t\t\tcontaining end_validity\r\n\t\t\t\t\t\t\t\tindicating value > TIME_1\r\n\t\t\t\t\t\t}\r\n\t\t\t\t\t\tor containing validity_restrictions['time_start_and_end'] {\r\n\t\t\t\t\t\t\tcontaining start_validity\r\n\t\t\t\t\t\t\t\tindicating value <= TIME_1\r\n\t\t\t\t\t\t\tcontaining end_validity\r\n\t\t\t\t\t\t\t\tindicating value > TIME_1\r\n\t\t\t\t\t\t}\r\n\t\t\t\t\t\tor containing validity_restrictions['time_start_and_duration'] {\r\n\t\t\t\t\t\t\tcontaining start_validity (START_VALIDITY)\r\n\t\t\t\t\t\t\t\tindicating value <= TIME_1\r\n\t\t\t\t\t\t\tcontaining duration\r\n\t\t\t\t\t\t\t\tindicating value > TIME_1 - START_VALIDITY\r\n\t\t\t\t\t\t}\r\n\t\t\t\t\t}\r\n\t\t\t\t}\r\n\t\t\t}\r\n\t\t}\r\n\t}\r\n}"
"value": "with {\r\n\tthe IUT being in the 'authorized' state\r\n}\r\nensure that {\r\n\twhen {\r\n\t\tthe IUT is requested to send a Beacon\r\n\t} then {\r\n\t\tthe IUT sends a SecuredMessage\r\n\t\t\tcontaining exactly one header_fields['generation_time']\r\n\t\t\t\tcontaining generation_time\r\n\t\t\t\t\tindicating GEN_TIME (CUR_TIME - 10min <= GEN_TIME < CUR_TIME + 10min)\r\n\t\t\tand containing header_fields['signer_info'] {\r\n\t\t\t\tcontaining signer\r\n\t\t\t\t\tcontaining type\r\n\t\t\t\t\t\tindicating 'certificate'\r\n\t\t\t\t\tcontaining certificate\r\n\t\t\t\t\t\tcontaining validity_restrictions['time_end']\r\n\t\t\t\t\t\t\tand containing end_validity\r\n\t\t\t\t\t\t\t\tindicating value > GEN_TIME\r\n\t\t\t\t\t\tor containing validity_restrictions['time_start_and_end']\r\n\t\t\t\t\t\t\tcontaining start_validity\r\n\t\t\t\t\t\t\t\tindicating value <= GEN_TIME\r\n\t\t\t\t\t\t\tand containing end_validity\r\n\t\t\t\t\t\t\t\tindicating value > GEN_TIME\r\n\t\t\t\t\t\tor containing validity_restrictions['time_start_and_duration']\r\n\t\t\t\t\t\t\tcontaining start_validity (CERT_START_VALIDITY)\r\n\t\t\t\t\t\t\t\tindicating value <= GEN_TIME\r\n\t\t\t\t\t\t\tand containing duration\r\n\t\t\t\t\t\t\t\tindicating value > GEN_TIME - CERT_START_VALIDITY\r\n\t}\r\n}"
},
"_status": {
"isGenerated": false,
......
......@@ -19,7 +19,7 @@
"key": "_expectedResults",
"origin": "cc5d4548-c65a-44d1-b61f-b0287bea51d3",
"type": "STRING",
"value": "with {\r\n\tthe IUT has been authorized with the AT certificate (CERT_AT_A)\r\n\t\tdoes not containing validity_restrictions['region']\r\n}\r\nensure that {\r\n\twhen {\r\n\t\tthe IUT is requested to send a Beacon\r\n\t} then {\r\n\t\tthe IUT sends a SecuredMessage {\r\n\t\t\tcontaining header_fields ['its_aid']\r\n\t\t\t\tindicating 'AID_BEACON'\r\n\t\t\tcontaining exactly one header_fields['generation_location']\r\n\t\t\t\tcontaining generation_location\r\n\t\t}\r\n\t}\r\n}"
"value": "with {\r\n\tthe IUT has been authorized with the AT certificate (CERT_AT_A)\r\n\t\tdoes not containing validity_restrictions['region']\r\n}\r\nensure that {\r\n\twhen {\r\n\t\tthe IUT is requested to send a Beacon\r\n\t} then {\r\n\t\tthe IUT sends a SecuredMessage\r\n\t\t\tcontaining exactly one header_fields['generation_location']\r\n\t\t\t\tcontaining generation_location\r\n\t}\r\n}"
},
"_status": {
"isGenerated": false,
......
......@@ -26,7 +26,7 @@
"key": "_expectedResults",
"origin": "cd06bc19-92eb-40ec-9dbe-7eae6d46de42",
"type": "STRING",
"value": "with {\r\n\tthe IUT has been authorized with the AT certificate (CERT_AT_B) {\r\n\t\tcontaining validity_restrictions ['region'] {\r\n\t\t\tcontaining region{\r\n\t\t\t\tcontaining region_type\r\n\t\t\t\t\tindicating 'circle'\r\n\t\t\t\tcontaining circular_region\r\n\t\t\t\t\tindicating REGION\r\n\t\t\t}\r\n\t\t}\r\n\t}\r\n}\r\nensure that {\r\n\twhen {\r\n\t\tthe IUT is requested to send a Beacon\r\n\t} then {\r\n\t\tthe IUT sends a SecuredMessage {\r\n\t\t\tcontaining header_fields ['its_aid']\r\n\t\t\t\tindicating 'AID_BEACON'\r\n\t\t\tcontaining exactly one header_fields['generation_location']\r\n\t\t\t\tcontaining generation_location\r\n\t\t\t\t\tindicating value inside the REGION\r\n\t\t}\r\n\t}\r\n}"
"value": "with {\r\n\tthe IUT has been authorized with the AT certificate (CERT_AT_B)\r\n\t\tcontaining validity_restrictions ['region']\r\n\t\t\tcontaining region\r\n\t\t\t\tcontaining region_type\r\n\t\t\t\t\tindicating 'circle'\r\n\t\t\t\tand containing circular_region\r\n\t\t\t\t\tindicating REGION\r\n}\r\nensure that {\r\n\twhen {\r\n\t\tthe IUT is requested to send a Beacon\r\n\t} then {\r\n\t\tthe IUT sends a SecuredMessage\r\n\t\t\tcontaining exactly one header_fields['generation_location']\r\n\t\t\t\tcontaining generation_location\r\n\t\t\t\t\tindicating value inside the REGION\r\n\t}\r\n}"
},
"_status": {
"isGenerated": false,
......
......@@ -26,7 +26,7 @@
"key": "_expectedResults",
"origin": "0caaeb28-5974-496c-9b52-bfdb35a49747",
"type": "STRING",
"value": "with {\r\n\tthe IUT has been authorized with the AT certificate (CERT_AT_C) {\r\n\t\tcontaining validity_restrictions ['region'] {\r\n\t\t\tcontaining region{\r\n\t\t\t\tcontaining region_type\r\n\t\t\t\t\tindicating 'rectangle'\r\n\t\t\t\tcontaining rectangular_region\r\n\t\t\t\t\tcontaining instance of RectangularRegion\r\n\t\t\t\t\t\tindicating REGION\r\n\t\t\t}\r\n\t\t}\r\n\t}\r\n}\r\nensure that {\r\n\twhen {\r\n\t\tthe IUT is requested to send a Beacon\r\n\t} then {\r\n\t\tthe IUT sends a SecuredMessage {\r\n\t\t\tcontaining header_fields ['its_aid']\r\n\t\t\t\tindicating 'AID_BEACON'\r\n\t\t\tcontaining exactly one header_fields['generation_location']\r\n\t\t\t\tcontaining generation_location\r\n\t\t\t\t\tindicating value inside the REGION\r\n\t\t}\r\n\t}\r\n}"
"value": "with {\r\n\tthe IUT has been authorized with the AT certificate (CERT_AT_C)\r\n\t\tcontaining validity_restrictions ['region']\r\n\t\t\tcontaining region\r\n\t\t\t\tcontaining region_type\r\n\t\t\t\t\tindicating 'rectangle'\r\n\t\t\t\tcontaining rectangular_region\r\n\t\t\t\t\tcontaining instance of RectangularRegion\r\n\t\t\t\t\t\tindicating REGION\r\n}\r\nensure that {\r\n\twhen {\r\n\t\tthe IUT is requested to send a Beacon\r\n\t} then {\r\n\t\tthe IUT sends a SecuredMessage\r\n\t\t\tcontaining exactly one header_fields['generation_location']\r\n\t\t\t\tcontaining generation_location\r\n\t\t\t\t\tindicating value inside the REGION\r\n\t}\r\n}"
},
"_status": {
"isGenerated": false,
......
......@@ -26,7 +26,7 @@
"key": "_expectedResults",
"origin": "b3269512-6caa-48e6-95c2-00ee18504058",
"type": "STRING",
"value": "with {\r\n\tthe IUT has been authorized with the AT certificate (CERT_AT_D) {\r\n\t\tcontaining validity_restrictions ['region'] {\r\n\t\t\tcontaining region{\r\n\t\t\t\tcontaining region_type\r\n\t\t\t\t\tindicating 'polygon'\r\n\t\t\t\tcontaining polygonal_region\r\n\t\t\t\t\tindicating REGION\r\n\t\t\t}\r\n\t\t}\r\n\t}\r\n}\r\nensure that {\r\n\twhen {\r\n\t\tthe IUT is requested to send a Beacon\r\n\t} then {\r\n\t\tthe IUT sends a SecuredMessage {\r\n\t\t\tcontaining header_fields ['its_aid']\r\n\t\t\t\tindicating 'AID_BEACON'\r\n\t\t\tcontaining exactly one header_fields['generation_location']\r\n\t\t\t\tcontaining generation_location\r\n\t\t\t\t\tindicating value inside the REGION\r\n\t\t}\r\n\t}\r\n}"
"value": "with {\r\n\tthe IUT has been authorized with the AT certificate (CERT_AT_D)\r\n\t\tcontaining validity_restrictions ['region']\r\n\t\t\tcontaining region\r\n\t\t\t\tcontaining region_type\r\n\t\t\t\t\tindicating 'polygon'\r\n\t\t\t\tcontaining polygonal_region\r\n\t\t\t\t\tindicating REGION\r\n}\r\nensure that {\r\n\twhen {\r\n\t\tthe IUT is requested to send a Beacon\r\n\t} then {\r\n\t\tthe IUT sends a SecuredMessage\r\n\t\t\tcontaining exactly one header_fields['generation_location']\r\n\t\t\t\tcontaining generation_location\r\n\t\t\t\t\tindicating value inside the REGION\r\n\t}\r\n}"
},
"_status": {
"isGenerated": false,
......
......@@ -26,7 +26,7 @@
"key": "_expectedResults",
"origin": "11beb3f5-f0e3-4bc3-8e45-246901d6652f",
"type": "STRING",
"value": "with {\r\n\tthe IUT has been authorized with the AT certificate (CERT_AT_E) {\r\n\t\tcontaining validity_restrictions ['region'] {\r\n\t\t\tcontaining region{\r\n\t\t\t\tcontaining region_type\r\n\t\t\t\t\tindicating 'id_region'\r\n\t\t\t\tcontaining identified_region\r\n\t\t\t\t\tindicating REGION\r\n\t\t\t}\r\n\t\t}\r\n\t}\r\n}\r\nensure that {\r\n\twhen {\r\n\t\tthe IUT is requested to send a Beacon\r\n\t} then {\r\n\t\tthe IUT sends a SecuredMessage {\r\n\t\t\tcontaining header_fields ['its_aid']\r\n\t\t\t\tindicating 'AID_BEACON'\r\n\t\t\tcontaining exactly one header_fields['generation_location']\r\n\t\t\t\tcontaining generation_location\r\n\t\t\t\t\tindicating value inside the REGION\r\n\t\t}\r\n\t}\r\n}"
"value": "with {\r\n\tthe IUT has been authorized with the AT certificate (CERT_AT_E)\r\n\t\tcontaining validity_restrictions ['region']\r\n\t\t\tcontaining region\r\n\t\t\t\tcontaining region_type\r\n\t\t\t\t\tindicating 'id_region'\r\n\t\t\t\tcontaining identified_region\r\n\t\t\t\t\tindicating REGION\r\n}\r\nensure that {\r\n\twhen {\r\n\t\tthe IUT is requested to send a Beacon\r\n\t} then {\r\n\t\tthe IUT sends a SecuredMessage\r\n\t\t\tcontaining header_fields ['its_aid']\r\n\t\t\t\tindicating 'AID_BEACON'\r\n\t\t\tcontaining exactly one header_fields['generation_location']\r\n\t\t\t\tcontaining generation_location\r\n\t\t\t\t\tindicating value inside the REGION\r\n\t}\r\n}"
},
"_status": {
"isGenerated": false,
......
......@@ -26,7 +26,7 @@
"key": "_expectedResults",
"origin": "a259efaa-7c88-4824-a6f8-35748eac83b0",
"type": "STRING",
"value": "with {\r\n\tthe IUT being in the 'authorized' state\r\n}\r\nensure that {\r\n\twhen {\r\n\t\tthe IUT is requested to send a Beacon\r\n\t} then {\r\n\t\tthe IUT sends a SecuredMessage {\r\n\t\t\tcontaining header_fields['signed_info'].certificate {\r\n\t\t\t\tcontaining validity_restrictions ['region']\r\n\t\t\t\t{\r\n\t\t\t\t\tcontaining region.region_type\r\n\t\t\t\t\t\tindicating 'none'\r\n\t\t\t\t} or {\r\n\t\t\t\t\tcontaining region.region_type\r\n\t\t\t\t\t\tindicating 'circle'\r\n\t\t\t\t\tcontaining region.circular_region\r\n\t\t\t\t\t\tindicating REGION\r\n\t\t\t\t} or {\r\n\t\t\t\t\tcontaining region.region_type\r\n\t\t\t\t\t\tindicating 'rectangle'\r\n\t\t\t\t\tcontaining region.rectangular_region\r\n\t\t\t\t\t\tcontaining array of rectangles\r\n\t\t\t\t\t\t\tindicating REGION\r\n\t\t\t\t} or {\r\n\t\t\t\t\tcontaining region.region_type\r\n\t\t\t\t\t\tindicating 'polygonal'\r\n\t\t\t\t\tcontaining region.polygonal_region\r\n\t\t\t\t\t\tindicating REGION\r\n\t\t\t\t} or {\r\n\t\t\t\t\tcontaining region.region_type\r\n\t\t\t\t\t\tindicating 'id_region'\r\n\t\t\t\t\tcontaining region.circular_region\r\n\t\t\t\t\t\tindicating REGION\r\n\t\t\t\t}\r\n\t\t\t}\r\n\t\t\tcontaining exactly one header_fields['generation_location']\r\n\t\t\t\tcontaining generation_location\r\n\t\t\t\t\tindicating location inside the REGION\r\n\t\t\tcontaining header_fields ['its_aid']\r\n\t\t\t\tindicating 'AID_BEACON'\r\n\t\t}\r\n\t}\r\n}"
"value": "with {\r\n\tthe IUT being in the 'authorized' state\r\n}\r\nensure that {\r\n\twhen {\r\n\t\tthe IUT is requested to send a Beacon\r\n\t} then {\r\n\t\tthe IUT sends a SecuredMessage\r\n\t\t\tcontaining header_fields['signed_info'].certificate\r\n\t\t\t\tcontaining validity_restrictions ['region']\r\n\t\t\t\t\tcontaining region.region_type\r\n\t\t\t\t\t\tindicating 'none'\r\n\t\t\t\tor containing region.region_type\r\n\t\t\t\t\t\tindicating 'circle'\r\n\t\t\t\t\tcontaining region.circular_region\r\n\t\t\t\t\t\tindicating REGION\r\n\t\t\t\tor containing region.region_type\r\n\t\t\t\t\t\tindicating 'rectangle'\r\n\t\t\t\t\tcontaining region.rectangular_region\r\n\t\t\t\t\t\tcontaining array of rectangles\r\n\t\t\t\t\t\t\tindicating REGION\r\n\t\t\t\tor containing region.region_type\r\n\t\t\t\t\t\tindicating 'polygonal'\r\n\t\t\t\t\tcontaining region.polygonal_region\r\n\t\t\t\t\t\tindicating REGION\r\n\t\t\t\tor containing region.region_type\r\n\t\t\t\t\t\tindicating 'id_region'\r\n\t\t\t\t\tcontaining region.circular_region\r\n\t\t\t\t\t\tindicating REGION\r\n\t\t\tand containing exactly one header_fields['generation_location']\r\n\t\t\t\tcontaining generation_location\r\n\t\t\t\t\tindicating location inside the REGION\r\n\t}\r\n}"
},
"_status": {
"isGenerated": false,
......
......@@ -19,7 +19,7 @@
"key": "_expectedResults",
"origin": "6505ab12-d08a-4e23-b0f5-d72e549352cf",
"type": "STRING",
"value": "with {\r\n\tthe IUT being in the 'authorized' state\r\n}\r\nensure that {\r\n\twhen {\r\n\t\tthe IUT is requested to send a Beacon\r\n\t} then {\r\n\t\tthe IUT sends a SecuredMessage {\r\n\t\t\tcontaining header_fields ['its_aid']\r\n\t\t\t\tindicating 'AID_BEACON'\r\n\t\t\tand containing payload_field {\r\n\t\t\t\tcontaining type\r\n\t\t\t\t\tindicating 'signed' or 'signed_external' or 'signed_and_encrypted'\r\n\t\t\t}\r\n\t\t}\r\n\t}\r\n}"
"value": "with {\r\n\tthe IUT being in the 'authorized' state\r\n}\r\nensure that {\r\n\twhen {\r\n\t\tthe IUT is requested to send a Beacon\r\n\t} then {\r\n\t\tthe IUT sends a SecuredMessage\r\n\t\t\tcontaining payload_field\r\n\t\t\t\tcontaining type\r\n\t\t\t\t\tindicating 'signed' or 'signed_external' or 'signed_and_encrypted'\r\n\t}\r\n}"
},
"_status": {
"isGenerated": false,
......
......@@ -19,7 +19,7 @@
"key": "_expectedResults",
"origin": "2bdc3945-6e79-418c-9cdf-f24a4cf35ba4",
"type": "STRING",
"value": "with {\r\n\tthe IUT being in the 'authorized' state\r\n}\r\nensure that {\r\n\twhen {\r\n\t\tthe IUT is requested to send a Beacon\r\n\t} then {\r\n\t\tthe IUT sends a SecuredMessage {\r\n\t\t\tcontaining header_fields ['signer_info'] {\r\n\t\t\t\tcontaining signer {\r\n\t\t\t\t\tcontaining type\r\n\t\t\t\t\t\tindicating 'certificate'\r\n\t\t\t\t\tcontaining certificate\r\n\t\t\t\t\t\tindicating CERT\r\n\t\t\t\t}\r\n\t\t\t}\r\n\t\t\tcontaining header_fields ['its_aid']\r\n\t\t\t\tindicating 'AID_BEACON'\r\n\t\t\tcontaining trailer_fields ['signature']\r\n\t\t\t\tcontaining signature\r\n\t\t\t\t\tverifiable using CERT.subject_attributes['verification_key']\r\n\t\t\t}\r\n\t\t}\r\n\t}\r\n}"
"value": "with {\r\n\tthe IUT being in the 'authorized' state\r\n}\r\nensure that {\r\n\twhen {\r\n\t\tthe IUT is requested to send a Beacon\r\n\t} then {\r\n\t\tthe IUT sends a SecuredMessage\r\n\t\t\tcontaining header_fields ['signer_info']\r\n\t\t\t\tcontaining signer\r\n\t\t\t\t\tcontaining type\r\n\t\t\t\t\t\tindicating 'certificate'\r\n\t\t\t\t\tcontaining certificate\r\n\t\t\t\t\t\tindicating CERT\r\n\t\t\tand containing trailer_fields ['signature']\r\n\t\t\t\tcontaining signature\r\n\t\t\t\t\tverifiable using CERT.subject_attributes['verification_key']\r\n\t}\r\n}"
},
"_status": {
"isGenerated": false,
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment