Commit f887baf9 authored by garciay's avatar garciay
Browse files

Review TLM TPs during TTCN-3 implementation

parent da26381d
{
"attributes": {
"_last_generated": {
"availability": "LOCAL",
"isGenerated": false,
"key": "_last_generated",
"newvalue": "\\tps.html",
"origin": "a4678dd7-1fe8-41c7-b93e-06ab3cad3d7d",
"type": "STRING",
"value": "\\tps.html"
},
"_root_requiremnt_qid": {
"availability": "LOCAL",
"isGenerated": false,
"key": "_root_requiremnt_qid",
"newvalue": "/Requirements",
"origin": "a4678dd7-1fe8-41c7-b93e-06ab3cad3d7d",
"type": "STRING",
"value": "/Requirements"
},
"_template_id": {
"availability": "LOCAL",
"isGenerated": false,
"key": "_template_id",
"newvalue": "com.unitesk.requality.reports.tps",
"origin": "a4678dd7-1fe8-41c7-b93e-06ab3cad3d7d",
"type": "STRING",
"value": "com.unitesk.requality.reports.tps"
},
"_type": {
"availability": "LOCAL",
"isGenerated": false,
"key": "_type",
"newvalue": "ReportData",
"origin": "a4678dd7-1fe8-41c7-b93e-06ab3cad3d7d",
"type": "STRING",
"value": "ReportData"
},
"date": {
"availability": "LOCAL",
"isGenerated": false,
"key": "date",
"newvalue": "Mon Jul 18 10:29:15 CEST 2016",
"origin": "a4678dd7-1fe8-41c7-b93e-06ab3cad3d7d",
"type": "STRING",
"value": "Mon Jul 18 10:29:15 CEST 2016"
},
"maxTPStatus": {
"availability": "LOCAL",
"isGenerated": false,
"key": "maxTPStatus",
"newvalue": "verified",
"origin": "a4678dd7-1fe8-41c7-b93e-06ab3cad3d7d",
"type": "STRING",
"value": "verified"
},
"showTPStatus": {
"availability": "LOCAL",
"isGenerated": false,
"key": "showTPStatus",
"newvalue": "false",
"origin": "a4678dd7-1fe8-41c7-b93e-06ab3cad3d7d",
"type": "STRING",
"value": "false"
},
"startLevel": {
"availability": "LOCAL",
"isGenerated": false,
"key": "startLevel",
"newvalue": 1,
"origin": "a4678dd7-1fe8-41c7-b93e-06ab3cad3d7d",
"type": "INT",
"value": 1
},
"startPrefix": {
"availability": "LOCAL",
"isGenerated": false,
"key": "startPrefix",
"newvalue": "5",
"origin": "a4678dd7-1fe8-41c7-b93e-06ab3cad3d7d",
"type": "STRING",
"value": "5"
}
},
"uuid": "a4678dd7-1fe8-41c7-b93e-06ab3cad3d7d"
}
\ No newline at end of file
{
"attributes": {
"PICS_RSU": {
"isGenerated": false,
"key": "PICS_RSU",
"origin": "c1d0c04c-6c85-42dc-ab76-94a5d6435802",
"type": "BOOL",
"value": "true"
},
"PICS_SPATEM_GENERATION": {
"isGenerated": false,
"key": "PICS_SPATEM_GENERATION",
"origin": "c1d0c04c-6c85-42dc-ab76-94a5d6435802",
"type": "BOOL",
"value": "true"
},
"_author": {
"availability": "LOCAL",
"isGenerated": false,
"key": "_author",
"newvalue": "yann",
"origin": "c1d0c04c-6c85-42dc-ab76-94a5d6435802",
"type": "STRING",
"value": "yann"
},
"_description": {
"availability": "LOCAL",
"isGenerated": false,
"key": "_description",
"newvalue": "Check that protocolVersion is set to 1 and messageID is set to 4",
"origin": "c1d0c04c-6c85-42dc-ab76-94a5d6435802",
"type": "STRING",
"value": "Check that protocolVersion is set to 1 and messageID is set to 4"
},
"_expectedResults": {
"availability": "LOCAL",
"isGenerated": false,
"key": "_expectedResults",
"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\tcontaining ITS PDU header\r\n\t\t\t\tcontaining protocolVersion\r\n\t\t\t\t\tindicating value '1'\r\n\t\t\t\tand containing messageID\r\n\t\t\t\t\tindicating value '4'",
"origin": "c1d0c04c-6c85-42dc-ab76-94a5d6435802",
"type": "STRING",
"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\tcontaining ITS PDU header\r\n\t\t\t\tcontaining protocolVersion\r\n\t\t\t\t\tindicating value '1'\r\n\t\t\t\tand containing messageID\r\n\t\t\t\t\tindicating value '4'"
},
"_status": {
"availability": "LOCAL",
"isGenerated": false,
"key": "_status",
"newvalue": "complete",
"origin": "c1d0c04c-6c85-42dc-ab76-94a5d6435802",
"type": "STRING",
"value": "complete"
},
"_type": {
"availability": "LOCAL",
"isGenerated": false,
"key": "_type",
"newvalue": "TestPurpose",
"origin": "c1d0c04c-6c85-42dc-ab76-94a5d6435802",
"type": "STRING",
"value": "TestPurpose"
......
{
"attributes": {
"PICS_RSU_ROLE": {
"PICS_RSU": {
"isGenerated": false,
"key": "PICS_RSU_ROLE",
"key": "PICS_RSU",
"origin": "80c0adc5-3394-47e7-b9af-1d98bed118aa",
"type": "BOOL",
"value": "false"
},
"PICS_SPATEM_RECEPTION": {
"isGenerated": false,
"key": "PICS_SPATEM_RECEPTION",
"origin": "80c0adc5-3394-47e7-b9af-1d98bed118aa",
"type": "BOOL",
"value": "true"
},
"_author": {
"isGenerated": false,
"key": "_author",
......@@ -26,7 +33,7 @@
"key": "_expectedResults",
"origin": "80c0adc5-3394-47e7-b9af-1d98bed118aa",
"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 a valid SPATEM\r\n\tthen\r\n\t\tthe IUT forwards the SPATEM content to upper layers\r\n\t\tand the IUT forwards the SPATEM content to other facilities"
"value": "with\r\n\tthe IUT being in the \"initial state\"\r\n and the IUT sending SPATEM\r\nensure that\r\n\twhen\r\n\t\tthe IUT receives a valid SPATEM\r\n\tthen\r\n\t\tthe IUT forwards the SPATEM content to upper layers\r\n\t\tand the IUT forwards the SPATEM content to other facilities"
},
"_status": {
"isGenerated": false,
......
{
"attributes": {
"PICS_RSU": {
"isGenerated": false,
"key": "PICS_RSU",
"origin": "c67a7ed0-4493-43d6-a7d1-8393744a00b3",
"type": "BOOL",
"value": "true"
},
"PICS_SPATEM_GENERATION": {
"isGenerated": false,
"key": "PICS_SPATEM_GENERATION",
"origin": "c67a7ed0-4493-43d6-a7d1-8393744a00b3",
"type": "BOOL",
"value": "true"
},
"_author": {
"availability": "LOCAL",
"isGenerated": false,
"key": "_author",
"newvalue": "yann",
"origin": "c67a7ed0-4493-43d6-a7d1-8393744a00b3",
"type": "STRING",
"value": "yann"
},
"_description": {
"availability": "LOCAL",
"isGenerated": false,
"key": "_description",
"newvalue": "Check that TLM Service generates a new SPATEM on reception of a valid AppSPATEM _Start request",
"origin": "c67a7ed0-4493-43d6-a7d1-8393744a00b3",
"type": "STRING",
"value": "Check that TLM Service generates a new SPATEM on reception of a valid AppSPATEM _Start request"
},
"_expectedResults": {
"availability": "LOCAL",
"isGenerated": false,
"key": "_expectedResults",
"newvalue": "with\r\n\tthe IUT being in the \"initial state\"\r\n\tand the IUT has not sent any SPATEM yet\r\nensure that\r\n\twhen\r\n\t\tthe IUT receives an AppSPATEM_Start request from the application layer\r\n\tthen\r\n\t\tthe IUT sends a valid SPATEM",
"origin": "c67a7ed0-4493-43d6-a7d1-8393744a00b3",
"type": "STRING",
"value": "with\r\n\tthe IUT being in the \"initial state\"\r\n\tand the IUT has not sent any SPATEM yet\r\nensure that\r\n\twhen\r\n\t\tthe IUT receives an AppSPATEM_Start request from the application layer\r\n\tthen\r\n\t\tthe IUT sends a valid SPATEM"
},
"_status": {
"availability": "LOCAL",
"isGenerated": false,
"key": "_status",
"newvalue": "complete",
"origin": "c67a7ed0-4493-43d6-a7d1-8393744a00b3",
"type": "STRING",
"value": "complete"
},
"_type": {
"availability": "LOCAL",
"isGenerated": false,
"key": "_type",
"newvalue": "TestPurpose",
"origin": "c67a7ed0-4493-43d6-a7d1-8393744a00b3",
"type": "STRING",
"value": "TestPurpose"
......
{
"attributes": {
"PICS_RSU": {
"isGenerated": false,
"key": "PICS_RSU",
"origin": "f1c011cb-b76a-4eda-9d71-008e234642c1",
"type": "BOOL",
"value": "true"
},
"PICS_SPATEM_GENERATION": {
"isGenerated": false,
"key": "PICS_SPATEM_GENERATION",
"origin": "f1c011cb-b76a-4eda-9d71-008e234642c1",
"type": "BOOL",
"value": "true"
},
"_author": {
"availability": "LOCAL",
"isGenerated": false,
"key": "_author",
"newvalue": "yann",
"origin": "f1c011cb-b76a-4eda-9d71-008e234642c1",
"type": "STRING",
"value": "yann"
},
"_description": {
"availability": "LOCAL",
"isGenerated": false,
"key": "_description",
"newvalue": "Check that TLM Service terminates on reception of a valid AppSPATEM _Stop request",
"origin": "f1c011cb-b76a-4eda-9d71-008e234642c1",
"type": "STRING",
"value": "Check that TLM Service terminates on reception of a valid AppSPATEM _Stop request"
},
"_expectedResults": {
"availability": "LOCAL",
"isGenerated": false,
"key": "_expectedResults",
"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\tthe IUT receives an AppSPATEM _Stop request from the application layer\r\n\tthen\r\n\t\tthe IUT stops sending SPATEM",
"origin": "f1c011cb-b76a-4eda-9d71-008e234642c1",
"type": "STRING",
"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\tthe IUT receives an AppSPATEM _Stop request from the application layer\r\n\tthen\r\n\t\tthe IUT stops sending SPATEM"
},
"_status": {
"availability": "LOCAL",
"isGenerated": false,
"key": "_status",
"newvalue": "in process",
"origin": "f1c011cb-b76a-4eda-9d71-008e234642c1",
"type": "STRING",
"value": "in process"
"value": "complete"
},
"_type": {
"availability": "LOCAL",
"isGenerated": false,
"key": "_type",
"newvalue": "TestPurpose",
"origin": "f1c011cb-b76a-4eda-9d71-008e234642c1",
"type": "STRING",
"value": "TestPurpose"
......
{
"attributes": {
"PICS_RSU_ROLE": {
"availability": "LOCAL",
"PICS_SPATEM_GENERATION": {
"isGenerated": false,
"key": "PICS_RSU_ROLE",
"newvalue": true,
"key": "PICS_SPATEM_GENERATION",
"origin": "96d09b79-0b70-4c3b-9274-85f6db9bfedb",
"type": "BOOL",
"value": true
},
"_author": {
"availability": "LOCAL",
"isGenerated": false,
"key": "_author",
"newvalue": "yann",
"origin": "96d09b79-0b70-4c3b-9274-85f6db9bfedb",
"type": "STRING",
"value": "yann"
},
"_description": {
"availability": "LOCAL",
"isGenerated": false,
"key": "_description",
"newvalue": "Check that TLM Service generates SPATEM are time ordered",
"origin": "96d09b79-0b70-4c3b-9274-85f6db9bfedb",
"type": "STRING",
"value": "Check that TLM Service generates SPATEM are time ordered"
},
"_expectedResults": {
"availability": "LOCAL",
"isGenerated": false,
"key": "_expectedResults",
"newvalue": "with\r\n\tthe IUT being in the \"initial state\"\r\n\tand the IUT has sent a SPATEM\r\nensure that\r\n\twhen\r\n\t\tseveral SPATEM are generated\r\n\tthen\r\n\t\tthe IUT sends SPATEM in time order",
"origin": "96d09b79-0b70-4c3b-9274-85f6db9bfedb",
"type": "STRING",
"value": "with\r\n\tthe IUT being in the \"initial state\"\r\n\tand the IUT has sent a SPATEM\r\nensure that\r\n\twhen\r\n\t\tseveral SPATEM are generated\r\n\tthen\r\n\t\tthe IUT sends SPATEM in time order"
},
"_status": {
"availability": "LOCAL",
"isGenerated": false,
"key": "_status",
"newvalue": "in process",
"origin": "96d09b79-0b70-4c3b-9274-85f6db9bfedb",
"type": "STRING",
"value": "in process"
},
"_type": {
"availability": "LOCAL",
"isGenerated": false,
"key": "_type",
"newvalue": "TestPurpose",
"origin": "96d09b79-0b70-4c3b-9274-85f6db9bfedb",
"type": "STRING",
"value": "TestPurpose"
......
......@@ -7,6 +7,13 @@
"type": "BOOL",
"value": true
},
"PICS_SPATEM_GENERATION": {
"isGenerated": false,
"key": "PICS_SPATEM_GENERATION",
"origin": "c33c4238-ed77-4c03-a5ba-415d9b2b0ec3",
"type": "BOOL",
"value": "true"
},
"_author": {
"isGenerated": false,
"key": "_author",
......@@ -19,7 +26,7 @@
"key": "_description",
"origin": "c33c4238-ed77-4c03-a5ba-415d9b2b0ec3",
"type": "STRING",
"value": "Check that IVI Service generates a new SPATEM on reception of a valid AppSPATEM_Trigger request"
"value": "Check that TLM Service generates a new SPATEM on reception of a valid AppSPATEM_Trigger request"
},
"_expectedResults": {
"isGenerated": false,
......
{
"attributes": {
"PICS_RSU_ROLE": {
"availability": "LOCAL",
"isGenerated": false,
"key": "PICS_RSU_ROLE",
"newvalue": true,
"origin": "e973213a-4ab0-11e6-beb8-9e71128cae77",
"type": "BOOL",
"value": true
},
"_author": {
"availability": "LOCAL",
"isGenerated": false,
"key": "_author",
"newvalue": "yann",
"origin": "e973213a-4ab0-11e6-beb8-9e71128cae77",
"type": "STRING",
"value": "yann"
},
"_description": {
"availability": "LOCAL",
"isGenerated": false,
"key": "_description",
"newvalue": "Check that TLM Service generates a new SPATEM on reception of a valid AppSPATEM _Start request",
"origin": "e973213a-4ab0-11e6-beb8-9e71128cae77",
"type": "STRING",
"value": "Check that TLM Service generates a new SPATEM on reception of a valid AppSPATEM _Start request"
},
"_expectedResults": {
"availability": "LOCAL",
"isGenerated": false,
"key": "_expectedResults",
"newvalue": "with\r\n\tthe IUT being in the \"initial state\"\r\n\tand the IUT has not sent any SPATEM yet\r\nensure that\r\n\twhen\r\n\t\tthe IUT receives an AppSPATEM_Start request from the application layer\r\n\tthen\r\n\t\t the IUT sends a valid SPATEM",
"origin": "e973213a-4ab0-11e6-beb8-9e71128cae77",
"type": "STRING",
"value": "with\r\n\tthe IUT being in the \"initial state\"\r\n\tand the IUT has not sent any SPATEM yet\r\nensure that\r\n\twhen\r\n\t\tthe IUT receives an AppSPATEM_Start request from the application layer\r\n\tthen\r\n\t\t the IUT sends a valid SPATEM"
},
"_status": {
"availability": "LOCAL",
"isGenerated": false,
"key": "_status",
"newvalue": "complete",
"origin": "e973213a-4ab0-11e6-beb8-9e71128cae77",
"type": "STRING",
"value": "complete"
},
"_type": {
"availability": "LOCAL",
"isGenerated": false,
"key": "_type",
"newvalue": "TestPurpose",
"origin": "e973213a-4ab0-11e6-beb8-9e71128cae77",
"type": "STRING",
"value": "TestPurpose"
}
},
"uuid": "e973213a-4ab0-11e6-beb8-9e71128cae77"
}
\ No newline at end of file
{
"attributes": {
"PICS_RSU_ROLE": {
"availability": "LOCAL",
"isGenerated": false,
"key": "PICS_RSU_ROLE",
"newvalue": true,
"origin": "a84018ee-4ab0-11e6-beb8-9e71128cae77",
"type": "BOOL",
"value": true
},
"_author": {
"availability": "LOCAL",
"isGenerated": false,
"key": "_author",
"newvalue": "yann",
"origin": "a84018ee-4ab0-11e6-beb8-9e71128cae77",
"type": "STRING",
"value": "yann"
},
"_description": {
"availability": "LOCAL",
"isGenerated": false,
"key": "_description",
"newvalue": "Check that TLM Service terminates on reception of a valid AppSPATEM _Stop request",
"origin": "a84018ee-4ab0-11e6-beb8-9e71128cae77",
"type": "STRING",
"value": "Check that TLM Service terminates on reception of a valid AppSPATEM _Stop request"
},
"_expectedResults": {
"availability": "LOCAL",
"isGenerated": false,
"key": "_expectedResults",
"newvalue": "with\r\n\tthe IUT being in the \"initial state\"\r\n\tthe IUT sending SPATEM\r\nensure that\r\n\twhen\r\n\t\tthe IUT receives an AppSPATEM _Stop request from the application layer\r\n\tthen\r\n\t\t the IUT stops sending SPATEM",
"origin": "a84018ee-4ab0-11e6-beb8-9e71128cae77",
"type": "STRING",
"value": "with\r\n\tthe IUT being in the \"initial state\"\r\n\tthe IUT sending SPATEM\r\nensure that\r\n\twhen\r\n\t\tthe IUT receives an AppSPATEM _Stop request from the application layer\r\n\tthen\r\n\t\t the IUT stops sending SPATEM"
},
"_status": {
"availability": "LOCAL",
"isGenerated": false,
"key": "_status",
"newvalue": "in process",
"origin": "a84018ee-4ab0-11e6-beb8-9e71128cae77",
"type": "STRING",
"value": "in process"
},
"_type": {
"availability": "LOCAL",
"isGenerated": false,
"key": "_type",
"newvalue": "TestPurpose",
"origin": "a84018ee-4ab0-11e6-beb8-9e71128cae77",
"type": "STRING",
"value": "TestPurpose"
}
},
"uuid": "a84018ee-4ab0-11e6-beb8-9e71128cae77"
}
\ No newline at end of file
{
"attributes": {
"PICS_RSU": {
"availability": "LOCAL",
"isGenerated": false,
"key": "PICS_RSU",
"newvalue": "true",
"origin": "42936281-fb4f-4965-9993-4cb02f89a329",
"type": "BOOL",
"value": "true"
},
"PICS_SPATEM_GENERATION": {
"availability": "LOCAL",
"isGenerated": false,
"key": "PICS_SPATEM_GENERATION",
"newvalue": "true",
"origin": "42936281-fb4f-4965-9993-4cb02f89a329",
"type": "BOOL",
"value": "true"
},
"_author": {
"availability": "LOCAL",
"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