Commit 76f76a3f authored by garciay's avatar garciay
Browse files

Review RLT TPs during TTCN-3 implementation

parent c6241070
Loading
Loading
Loading
Loading
+4 −4
Original line number Diff line number Diff line
@@ -4,10 +4,10 @@
            "availability": "LOCAL",
            "isGenerated": false,
            "key": "PICS_MAPEM_GENERATION",
            "newvalue": "true",
            "newvalue": true,
            "origin": "b765c90c-a24e-4620-8a2b-acdd4039b8e6",
            "type": "BOOL",
            "value": "true"
            "value": true
        },
        "PICS_RSU_ROLE": {
            "availability": "LOCAL",
@@ -40,10 +40,10 @@
            "availability": "LOCAL",
            "isGenerated": false,
            "key": "_expectedResults",
            "newvalue": "with\r\n\tthe IUT being in the \"initial state\"\r\nensure that\r\n\twhen\r\n\t\tthe IUT receives an AppMAPEM_Trigger request from the application layer\r\n\tthen\r\n\t\tthe IUT sends a valid MAPEM",
            "newvalue": "with\r\n\tthe IUT being in the \"initial state\"\r\n       and the IUT sending MAPEM\r\nensure that\r\n\twhen\r\n\t\tthe IUT receives an AppMAPEM_Trigger request from the application layer\r\n\tthen\r\n\t\tthe IUT sends a valid MAPEM",
            "origin": "b765c90c-a24e-4620-8a2b-acdd4039b8e6",
            "type": "STRING",
            "value": "with\r\n\tthe IUT being in the \"initial state\"\r\nensure that\r\n\twhen\r\n\t\tthe IUT receives an AppMAPEM_Trigger request from the application layer\r\n\tthen\r\n\t\tthe IUT sends a valid MAPEM"
            "value": "with\r\n\tthe IUT being in the \"initial state\"\r\n       and the IUT sending MAPEM\r\nensure that\r\n\twhen\r\n\t\tthe IUT receives an AppMAPEM_Trigger request from the application layer\r\n\tthen\r\n\t\tthe IUT sends a valid MAPEM"
        },
        "_status": {
            "availability": "LOCAL",
+18 −0
Original line number Diff line number Diff line
{
    "attributes": {
        "PICS_MAPEM_GENERATION": {
            "availability": "LOCAL",
            "isGenerated": false,
            "key": "PICS_MAPEM_GENERATION",
            "newvalue": "true",
            "origin": "e88f52a2-e9bf-4ae1-aae0-12c63d34d9e2",
            "type": "BOOL",
            "value": "true"
        },
        "PICS_RSU_ROLE": {
            "availability": "LOCAL",
            "isGenerated": false,
@@ -9,6 +18,15 @@
            "type": "BOOL",
            "value": true
        },
        "PICS_SPATEM_GENERATION": {
            "availability": "LOCAL",
            "isGenerated": false,
            "key": "PICS_SPATEM_GENERATION",
            "newvalue": "true",
            "origin": "e88f52a2-e9bf-4ae1-aae0-12c63d34d9e2",
            "type": "BOOL",
            "value": "true"
        },
        "_author": {
            "availability": "LOCAL",
            "isGenerated": false,
+9 −0
Original line number Diff line number Diff line
{
    "attributes": {
        "PICS_MAPEM_GENERATION": {
            "availability": "LOCAL",
            "isGenerated": false,
            "key": "PICS_MAPEM_GENERATION",
            "newvalue": "true",
            "origin": "c546e7ed-07b2-4e97-84b6-d04c828c136d",
            "type": "BOOL",
            "value": "true"
        },
        "PICS_RSU_ROLE": {
            "availability": "LOCAL",
            "isGenerated": false,
+9 −0
Original line number Diff line number Diff line
{
    "attributes": {
        "PICS_MAPEM_GENERATION": {
            "availability": "LOCAL",
            "isGenerated": false,
            "key": "PICS_MAPEM_GENERATION",
            "newvalue": "true",
            "origin": "871a0c41-1d33-4f04-a026-fd170580fb73",
            "type": "BOOL",
            "value": "true"
        },
        "PICS_RSU_ROLE": {
            "availability": "LOCAL",
            "isGenerated": false,
+2 −2
Original line number Diff line number Diff line
@@ -40,10 +40,10 @@
            "availability": "LOCAL",
            "isGenerated": false,
            "key": "_expectedResults",
            "newvalue": "with\r\n\tthe IUT being in the \"initial state\"\r\n\tand the IUT is configured to use GBC\r\n\tand the IUT sending SPATEM\r\nensure that\r\n\twhen\r\n\t\ta SPATEM is generated\r\n\tthen\r\n\t\tthe IUT sends a valid SPATEM\r\n\t\t\tcontaing spat\r\n\t\t\t\tcontaining regional\r\n\t\t\t\t\tcontaining at least on region\r\n\t\t\t\t\t\tindicating a regionId\r\n\t\t\t\t\t\tand indication a regExtValue",
            "newvalue": "with\r\n\tthe IUT being in the \"initial state\"\r\n\tand the IUT sending SPATEM\r\nensure that\r\n\twhen\r\n\t\ta SPATEM is generated\r\n\tthen\r\n\t\tthe IUT sends a valid SPATEM\r\n\t\t\tcontaing spat\r\n\t\t\t\tcontaining regional\r\n\t\t\t\t\tcontaining at least on region\r\n\t\t\t\t\t\tindicating a regionId\r\n\t\t\t\t\t\tand indication a regExtValue",
            "origin": "42936281-fb4f-4965-9993-4cb02f89a329",
            "type": "STRING",
            "value": "with\r\n\tthe IUT being in the \"initial state\"\r\n\tand the IUT is configured to use GBC\r\n\tand the IUT sending SPATEM\r\nensure that\r\n\twhen\r\n\t\ta SPATEM is generated\r\n\tthen\r\n\t\tthe IUT sends a valid SPATEM\r\n\t\t\tcontaing spat\r\n\t\t\t\tcontaining regional\r\n\t\t\t\t\tcontaining at least on region\r\n\t\t\t\t\t\tindicating a regionId\r\n\t\t\t\t\t\tand indication a regExtValue"
            "value": "with\r\n\tthe IUT being in the \"initial state\"\r\n\tand the IUT sending SPATEM\r\nensure that\r\n\twhen\r\n\t\ta SPATEM is generated\r\n\tthen\r\n\t\tthe IUT sends a valid SPATEM\r\n\t\t\tcontaing spat\r\n\t\t\t\tcontaining regional\r\n\t\t\t\t\tcontaining at least on region\r\n\t\t\t\t\t\tindicating a regionId\r\n\t\t\t\t\t\tand indication a regExtValue"
        },
        "_index": {
            "availability": "LOCAL",