Commit c6241070 authored by garciay's avatar garciay
Browse files

Review TLM TPs during TTCN-3 implementation

parent e3ef2057
...@@ -128,8 +128,8 @@ encoding//root/Requirements/IS_RLT/IS_RLT_01.json=UTF-8 ...@@ -128,8 +128,8 @@ encoding//root/Requirements/IS_RLT/IS_RLT_01.json=UTF-8
encoding//root/Requirements/IS_RLT/IS_RLT_01/TP_IS_RLT_MSGF_BV_01.json=UTF-8 encoding//root/Requirements/IS_RLT/IS_RLT_01/TP_IS_RLT_MSGF_BV_01.json=UTF-8
encoding//root/Requirements/IS_RLT/IS_RLT_01/TP_IS_RLT_MSGF_BV_02.json=UTF-8 encoding//root/Requirements/IS_RLT/IS_RLT_01/TP_IS_RLT_MSGF_BV_02.json=UTF-8
encoding//root/Requirements/IS_RLT/IS_RLT_02.json=UTF-8 encoding//root/Requirements/IS_RLT/IS_RLT_02.json=UTF-8
encoding//root/Requirements/IS_RLT/IS_RLT_02/TP_IS_RLT_INFO_BV_01.json=UTF-8 encoding//root/Requirements/IS_RLT/IS_RLT_02/TP_IS_RLT_EVGN_BV_01.json=UTF-8
encoding//root/Requirements/IS_RLT/IS_RLT_02/TP_IS_RLT_INFO_BV_02.json=UTF-8 encoding//root/Requirements/IS_RLT/IS_RLT_02/TP_IS_RLT_EVGN_BV_02.json=UTF-8
encoding//root/Requirements/IS_RLT/IS_RLT_02/TP_IS_RLT_INFO_BV_03.json=UTF-8 encoding//root/Requirements/IS_RLT/IS_RLT_02/TP_IS_RLT_INFO_BV_03.json=UTF-8
encoding//root/Requirements/IS_RLT/IS_RLT_02/TP_IS_RLT_INFO_BV_04.json=UTF-8 encoding//root/Requirements/IS_RLT/IS_RLT_02/TP_IS_RLT_INFO_BV_04.json=UTF-8
encoding//root/Requirements/IS_RLT/IS_RLT_03.json=UTF-8 encoding//root/Requirements/IS_RLT/IS_RLT_03.json=UTF-8
...@@ -178,11 +178,11 @@ encoding//root/Requirements/IS_TLM/IS_TLM_01/TP_IS_TLM_MSGF_SND_BV_01.json=UTF-8 ...@@ -178,11 +178,11 @@ encoding//root/Requirements/IS_TLM/IS_TLM_01/TP_IS_TLM_MSGF_SND_BV_01.json=UTF-8
encoding//root/Requirements/IS_TLM/IS_TLM_02.json=UTF-8 encoding//root/Requirements/IS_TLM/IS_TLM_02.json=UTF-8
encoding//root/Requirements/IS_TLM/IS_TLM_02/TP_IS_TLM_EVGN_BV_01.json=UTF-8 encoding//root/Requirements/IS_TLM/IS_TLM_02/TP_IS_TLM_EVGN_BV_01.json=UTF-8
encoding//root/Requirements/IS_TLM/IS_TLM_02/TP_IS_TLM_EVGN_BV_02.json=UTF-8 encoding//root/Requirements/IS_TLM/IS_TLM_02/TP_IS_TLM_EVGN_BV_02.json=UTF-8
encoding//root/Requirements/IS_TLM/IS_TLM_02/TP_IS_TLM_EVGN_BV_03.json=UTF-8
encoding//root/Requirements/IS_TLM/IS_TLM_02/TP_IS_TLM_EVGN_BV_04.json=UTF-8 encoding//root/Requirements/IS_TLM/IS_TLM_02/TP_IS_TLM_EVGN_BV_04.json=UTF-8
encoding//root/Requirements/IS_TLM/IS_TLM_02/TP_IS_TLM_EVGN_SND_BV_01.json=UTF-8 encoding//root/Requirements/IS_TLM/IS_TLM_02/TP_IS_TLM_EVGN_SND_BV_01.json=UTF-8
encoding//root/Requirements/IS_TLM/IS_TLM_03.json=UTF-8 encoding//root/Requirements/IS_TLM/IS_TLM_03.json=UTF-8
encoding//root/Requirements/IS_TLM/IS_TLM_03/TP_IS_TLM_COM_BV_01.json=UTF-8 encoding//root/Requirements/IS_TLM/IS_TLM_03/TP_IS_TLM_COM_BV_01.json=UTF-8
encoding//root/Requirements/IS_TLM/IS_TLM_03/TP_IS_TLM_EVGN_BV_03.json=UTF-8
encoding//root/Requirements/IS_TLM/IS_TLM_04.json=UTF-8 encoding//root/Requirements/IS_TLM/IS_TLM_04.json=UTF-8
encoding//root/Requirements/IS_TLM/IS_TLM_04/TP_IS_TLM_COM_BV_02.json=UTF-8 encoding//root/Requirements/IS_TLM/IS_TLM_04/TP_IS_TLM_COM_BV_02.json=UTF-8
encoding//root/Requirements/IS_TLM/IS_TLM_05.json=UTF-8 encoding//root/Requirements/IS_TLM/IS_TLM_05.json=UTF-8
......
{ {
"attributes": { "attributes": {
"PICS_MAPEM_GENERATION": {
"availability": "LOCAL",
"isGenerated": false,
"key": "PICS_MAPEM_GENERATION",
"newvalue": "true",
"origin": "b765c90c-a24e-4620-8a2b-acdd4039b8e6",
"type": "BOOL",
"value": "true"
},
"PICS_RSU_ROLE": { "PICS_RSU_ROLE": {
"availability": "LOCAL", "availability": "LOCAL",
"isGenerated": false, "isGenerated": false,
......
{ {
"attributes": { "attributes": {
"PICS_MAPEM_GENERATION": {
"availability": "LOCAL",
"isGenerated": false,
"key": "PICS_MAPEM_GENERATION",
"newvalue": "true",
"origin": "ba9155bf-6a15-43d1-a0f3-894e3eff1df2",
"type": "BOOL",
"value": "true"
},
"PICS_RSU_ROLE": { "PICS_RSU_ROLE": {
"availability": "LOCAL", "availability": "LOCAL",
"isGenerated": false, "isGenerated": false,
......
{ {
"attributes": { "attributes": {
"PICS_RSU": { "PICS_RSU": {
"availability": "LOCAL",
"isGenerated": false, "isGenerated": false,
"key": "PICS_RSU", "key": "PICS_RSU",
"newvalue": true,
"origin": "c67a7ed0-4493-43d6-a7d1-8393744a00b3", "origin": "c67a7ed0-4493-43d6-a7d1-8393744a00b3",
"type": "BOOL", "type": "BOOL",
"value": "true" "value": true
}, },
"PICS_SPATEM_GENERATION": { "PICS_SPATEM_GENERATION": {
"availability": "LOCAL",
"isGenerated": false, "isGenerated": false,
"key": "PICS_SPATEM_GENERATION", "key": "PICS_SPATEM_GENERATION",
"newvalue": true,
"origin": "c67a7ed0-4493-43d6-a7d1-8393744a00b3", "origin": "c67a7ed0-4493-43d6-a7d1-8393744a00b3",
"type": "BOOL", "type": "BOOL",
"value": "true" "value": true
}, },
"_author": { "_author": {
"availability": "LOCAL",
"isGenerated": false, "isGenerated": false,
"key": "_author", "key": "_author",
"newvalue": "yann",
"origin": "c67a7ed0-4493-43d6-a7d1-8393744a00b3", "origin": "c67a7ed0-4493-43d6-a7d1-8393744a00b3",
"type": "STRING", "type": "STRING",
"value": "yann" "value": "yann"
}, },
"_description": { "_description": {
"availability": "LOCAL",
"isGenerated": false, "isGenerated": false,
"key": "_description", "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", "origin": "c67a7ed0-4493-43d6-a7d1-8393744a00b3",
"type": "STRING", "type": "STRING",
"value": "Check that TLM Service generates a new SPATEM on reception of a valid AppSPATEM _Start request" "value": "Check that TLM Service generates a new SPATEM on reception of a valid AppSPATEM _Start request"
}, },
"_expectedResults": { "_expectedResults": {
"availability": "LOCAL",
"isGenerated": false, "isGenerated": false,
"key": "_expectedResults", "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", "origin": "c67a7ed0-4493-43d6-a7d1-8393744a00b3",
"type": "STRING", "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" "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"
}, },
"_index": {
"availability": "LOCAL",
"isGenerated": false,
"key": "_index",
"newvalue": "1",
"origin": "c67a7ed0-4493-43d6-a7d1-8393744a00b3",
"type": "STRING",
"value": "1"
},
"_status": { "_status": {
"availability": "LOCAL",
"isGenerated": false, "isGenerated": false,
"key": "_status", "key": "_status",
"newvalue": "complete",
"origin": "c67a7ed0-4493-43d6-a7d1-8393744a00b3", "origin": "c67a7ed0-4493-43d6-a7d1-8393744a00b3",
"type": "STRING", "type": "STRING",
"value": "complete" "value": "complete"
}, },
"_type": { "_type": {
"availability": "LOCAL",
"isGenerated": false, "isGenerated": false,
"key": "_type", "key": "_type",
"newvalue": "TestPurpose",
"origin": "c67a7ed0-4493-43d6-a7d1-8393744a00b3", "origin": "c67a7ed0-4493-43d6-a7d1-8393744a00b3",
"type": "STRING", "type": "STRING",
"value": "TestPurpose" "value": "TestPurpose"
......
{ {
"attributes": { "attributes": {
"PICS_RSU_ROLE": { "PICS_RSU_ROLE": {
"availability": "LOCAL",
"isGenerated": false, "isGenerated": false,
"key": "PICS_RSU_ROLE", "key": "PICS_RSU_ROLE",
"newvalue": true,
"origin": "96d09b79-0b70-4c3b-9274-85f6db9bfedb", "origin": "96d09b79-0b70-4c3b-9274-85f6db9bfedb",
"type": "BOOL", "type": "BOOL",
"value": true "value": true
}, },
"_author": { "_author": {
"availability": "LOCAL",
"isGenerated": false, "isGenerated": false,
"key": "_author", "key": "_author",
"newvalue": "yann",
"origin": "96d09b79-0b70-4c3b-9274-85f6db9bfedb", "origin": "96d09b79-0b70-4c3b-9274-85f6db9bfedb",
"type": "STRING", "type": "STRING",
"value": "yann" "value": "yann"
}, },
"_description": { "_description": {
"availability": "LOCAL",
"isGenerated": false, "isGenerated": false,
"key": "_description", "key": "_description",
"newvalue": "Check that TLM Service generates SPATEM are time ordered",
"origin": "96d09b79-0b70-4c3b-9274-85f6db9bfedb", "origin": "96d09b79-0b70-4c3b-9274-85f6db9bfedb",
"type": "STRING", "type": "STRING",
"value": "Check that TLM Service generates SPATEM are time ordered" "value": "Check that TLM Service generates SPATEM are time ordered"
}, },
"_expectedResults": { "_expectedResults": {
"availability": "LOCAL",
"isGenerated": false, "isGenerated": false,
"key": "_expectedResults", "key": "_expectedResults",
"newvalue": "with\r\n\tthe IUT being in the \"initial state\"\r\n and 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", "origin": "96d09b79-0b70-4c3b-9274-85f6db9bfedb",
"type": "STRING", "type": "STRING",
"value": "with\r\n\tthe IUT being in the \"initial state\"\r\n and 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" "value": "with\r\n\tthe IUT being in the \"initial state\"\r\n and 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"
}, },
"_index": {
"availability": "LOCAL",
"isGenerated": false,
"key": "_index",
"newvalue": "2",
"origin": "96d09b79-0b70-4c3b-9274-85f6db9bfedb",
"type": "STRING",
"value": "2"
},
"_status": { "_status": {
"availability": "LOCAL",
"isGenerated": false, "isGenerated": false,
"key": "_status", "key": "_status",
"newvalue": "in process",
"origin": "96d09b79-0b70-4c3b-9274-85f6db9bfedb", "origin": "96d09b79-0b70-4c3b-9274-85f6db9bfedb",
"type": "STRING", "type": "STRING",
"value": "in process" "value": "in process"
}, },
"_type": { "_type": {
"availability": "LOCAL",
"isGenerated": false, "isGenerated": false,
"key": "_type", "key": "_type",
"newvalue": "TestPurpose",
"origin": "96d09b79-0b70-4c3b-9274-85f6db9bfedb", "origin": "96d09b79-0b70-4c3b-9274-85f6db9bfedb",
"type": "STRING", "type": "STRING",
"value": "TestPurpose" "value": "TestPurpose"
......
...@@ -49,10 +49,10 @@ ...@@ -49,10 +49,10 @@
"availability": "LOCAL", "availability": "LOCAL",
"isGenerated": false, "isGenerated": false,
"key": "_index", "key": "_index",
"newvalue": "2", "newvalue": "4",
"origin": "f1c011cb-b76a-4eda-9d71-008e234642c1", "origin": "f1c011cb-b76a-4eda-9d71-008e234642c1",
"type": "STRING", "type": "STRING",
"value": "2" "value": "4"
}, },
"_status": { "_status": {
"availability": "LOCAL", "availability": "LOCAL",
......
{ {
"attributes": { "attributes": {
"PICS_RSU_ROLE": { "PICS_RSU_ROLE": {
"availability": "LOCAL",
"isGenerated": false, "isGenerated": false,
"key": "PICS_RSU_ROLE", "key": "PICS_RSU_ROLE",
"newvalue": true,
"origin": "c33c4238-ed77-4c03-a5ba-415d9b2b0ec3", "origin": "c33c4238-ed77-4c03-a5ba-415d9b2b0ec3",
"type": "BOOL", "type": "BOOL",
"value": true "value": true
}, },
"PICS_SPATEM_GENERATION": { "PICS_SPATEM_GENERATION": {
"availability": "LOCAL",
"isGenerated": false, "isGenerated": false,
"key": "PICS_SPATEM_GENERATION", "key": "PICS_SPATEM_GENERATION",
"newvalue": true,
"origin": "c33c4238-ed77-4c03-a5ba-415d9b2b0ec3", "origin": "c33c4238-ed77-4c03-a5ba-415d9b2b0ec3",
"type": "BOOL", "type": "BOOL",
"value": "true" "value": true
}, },
"_author": { "_author": {
"availability": "LOCAL",
"isGenerated": false, "isGenerated": false,
"key": "_author", "key": "_author",
"newvalue": "yann",
"origin": "c33c4238-ed77-4c03-a5ba-415d9b2b0ec3", "origin": "c33c4238-ed77-4c03-a5ba-415d9b2b0ec3",
"type": "STRING", "type": "STRING",
"value": "yann" "value": "yann"
}, },
"_description": { "_description": {
"availability": "LOCAL",
"isGenerated": false, "isGenerated": false,
"key": "_description", "key": "_description",
"newvalue": "Check that TLM Service generates a new SPATEM on reception of a valid AppSPATEM_Trigger request",
"origin": "c33c4238-ed77-4c03-a5ba-415d9b2b0ec3", "origin": "c33c4238-ed77-4c03-a5ba-415d9b2b0ec3",
"type": "STRING", "type": "STRING",
"value": "Check that TLM 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": { "_expectedResults": {
"availability": "LOCAL",
"isGenerated": false, "isGenerated": false,
"key": "_expectedResults", "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 AppSPATEM_Trigger request from the application layer\r\n\tthen\r\n\t\tthe IUT sends a valid SPATEM",
"origin": "c33c4238-ed77-4c03-a5ba-415d9b2b0ec3", "origin": "c33c4238-ed77-4c03-a5ba-415d9b2b0ec3",
"type": "STRING", "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 AppSPATEM_Trigger request from the application layer\r\n\tthen\r\n\t\tthe IUT sends a valid SPATEM" "value": "with\r\n\tthe IUT being in the \"initial state\"\r\nensure that\r\n\twhen\r\n\t\tthe IUT receives an AppSPATEM_Trigger request from the application layer\r\n\tthen\r\n\t\tthe IUT sends a valid SPATEM"
}, },
"_index": {
"availability": "LOCAL",
"isGenerated": false,
"key": "_index",
"newvalue": "3",
"origin": "c33c4238-ed77-4c03-a5ba-415d9b2b0ec3",
"type": "STRING",
"value": "3"
},
"_status": { "_status": {
"availability": "LOCAL",
"isGenerated": false, "isGenerated": false,
"key": "_status", "key": "_status",
"newvalue": "complete",
"origin": "c33c4238-ed77-4c03-a5ba-415d9b2b0ec3", "origin": "c33c4238-ed77-4c03-a5ba-415d9b2b0ec3",
"type": "STRING", "type": "STRING",
"value": "complete" "value": "complete"
}, },
"_type": { "_type": {
"availability": "LOCAL",
"isGenerated": false, "isGenerated": false,
"key": "_type", "key": "_type",
"newvalue": "TestPurpose",
"origin": "c33c4238-ed77-4c03-a5ba-415d9b2b0ec3", "origin": "c33c4238-ed77-4c03-a5ba-415d9b2b0ec3",
"type": "STRING", "type": "STRING",
"value": "TestPurpose" "value": "TestPurpose"
......
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