Commit 300fed64 authored by garciay's avatar garciay
Browse files

Review IVI TPs during TTCN-3 implementation

parent ba478c2d

requality/TS103301/.settings/org.eclipse.core.resources.prefs

+2 −1
Changes for requality/TS103301/.settings/org.eclipse.core.resources.prefs: 2 added lines, 1 removed line.
Original line number Diff line number Diff line
@@ -98,7 +98,8 @@ encoding//root/Requirements/IS_IVI/IS_IVI_09.json=UTF-8 
encoding//root/Requirements/IS_IVI/IS_IVI_09/TP_IS_IVIM_GFQ_TI_01.json=UTF-8

encoding//root/Requirements/IS_IVI/IS_IVI_09/TP_IS_IVIM_GFQ_TI_02.json=UTF-8

encoding//root/Requirements/IS_IVI/IS_IVI_10.json=UTF-8

encoding//root/Requirements/IS_IVI/IS_IVI_10/TP_IS_IVIM_EVRP_TI_01.json=UTF-8

encoding//root/Requirements/IS_IVI/IS_IVI_10/TP_IS_IVIM_EVRP_BV_01.json=UTF-8

encoding//root/Requirements/IS_IVI/IS_IVI_10/TP_IS_IVIM_EVRP_BV_02.json=UTF-8

encoding//root/Requirements/IS_IVI/IS_IVI_11.json=UTF-8

encoding//root/Requirements/IS_IVI/IS_IVI_11/TP_IS_IVIM_EVTR_BV_01.json=UTF-8

encoding//root/Requirements/IS_IVI/IS_IVI_11/TP_IS_IVIM_EVTR_BV_02.json=UTF-8

requality/TS103301/root/Requirements/IS_IVI/IS_IVI_10/TP_IS_IVIM_EVRP_TI_01.json→requality/TS103301/root/Requirements/IS_IVI/IS_IVI_10/TP_IS_IVIM_EVRP_BV_01.json

+6 −6
Changes for requality/TS103301/root/Requirements/IS_IVI/IS_IVI_10/TP_IS_IVIM_EVRP_BV_01.json: 6 added lines, 6 removed lines.
Original line number Diff line number Diff line 
{

    "attributes": {

        "PICS_RSU_ROLE": {

        "PICS_IVIM_UPDATE": {

            "availability": "LOCAL",

            "isGenerated": false,

            "key": "PICS_RSU_ROLE",

            "key": "PICS_IVIM_UPDATE",

            "newvalue": true,

            "origin": "b7268ba1-7604-40a0-af23-f22bbc2ae8d4",

            "type": "BOOL",
@@ -22,19 +22,19 @@ 
            "availability": "LOCAL",

            "isGenerated": false,

            "key": "_description",

            "newvalue": "Check that the IUT activates repetition under the request from the ITS-S application",

            "newvalue": "Check that the IUT activates repetition on reception of a valid AppIVIM_Update request",

            "origin": "b7268ba1-7604-40a0-af23-f22bbc2ae8d4",

            "type": "STRING",

            "value": "Check that the IUT activates repetition under the request from the ITS-S application"

            "value": "Check that the IUT activates repetition on reception of a valid AppIVIM_Update request"

        },

        "_expectedResults": {

            "availability": "LOCAL",

            "isGenerated": false,

            "key": "_expectedResults",

            "newvalue": "with\r\n\tthe IUT being in the \"initial state\"\r\n\tand the IUT having generated several IVIM\r\nensure that\r\n\twhen\r\n\t\tthe IUT receives an AppIVIM_Activate indicating 'repetition interval' activation\r\n\tthen\r\n\t\tthe IUT does not send any CAM before expiry of T_GenIvimMin\r\n\t\tand the IUT sends another IVIM before expiry of T_GenIvimMax",

            "newvalue": "with\r\n\tthe IUT being in the \"initial state\"\r\n\tand the IUT having generated several IVIM\r\n\t\tcontaining ivi\r\n\t\t\tcontaining mandatory\r\n\t\t\t\tcontaining iviIdentificationNumber \r\n\t\t\t\t\tindicating IVIM_ID_1\r\nensure that\r\n\twhen\r\n\t\tthe IUT receives an AppIVIM_Update indicating 'repetition interval' RI_1\r\n\tthen\r\n\t\t the IUT sends IVIM with respect to the 'repetition interval' RI_1\r\n\t\t \tcontaining ivi\r\n\t\t\t\tcontaining mandatory\r\n\t\t\t\t\tcontaining iviIdentificationNumber \r\n\t\t\t\t\t\tindicating IVIM_ID_1\r\n",

            "origin": "b7268ba1-7604-40a0-af23-f22bbc2ae8d4",

            "type": "STRING",

            "value": "with\r\n\tthe IUT being in the \"initial state\"\r\n\tand the IUT having generated several IVIM\r\nensure that\r\n\twhen\r\n\t\tthe IUT receives an AppIVIM_Activate indicating 'repetition interval' activation\r\n\tthen\r\n\t\tthe IUT does not send any CAM before expiry of T_GenIvimMin\r\n\t\tand the IUT sends another IVIM before expiry of T_GenIvimMax"

            "value": "with\r\n\tthe IUT being in the \"initial state\"\r\n\tand the IUT having generated several IVIM\r\n\t\tcontaining ivi\r\n\t\t\tcontaining mandatory\r\n\t\t\t\tcontaining iviIdentificationNumber \r\n\t\t\t\t\tindicating IVIM_ID_1\r\nensure that\r\n\twhen\r\n\t\tthe IUT receives an AppIVIM_Update indicating 'repetition interval' RI_1\r\n\tthen\r\n\t\t the IUT sends IVIM with respect to the 'repetition interval' RI_1\r\n\t\t \tcontaining ivi\r\n\t\t\t\tcontaining mandatory\r\n\t\t\t\t\tcontaining iviIdentificationNumber \r\n\t\t\t\t\t\tindicating IVIM_ID_1\r\n"

        },

        "_status": {

            "availability": "LOCAL",

requality/TS103301/root/Requirements/IS_IVI/IS_IVI_10/TP_IS_IVIM_EVRP_BV_02.json

0 → 100644
+68 −0
Changes for requality/TS103301/root/Requirements/IS_IVI/IS_IVI_10/TP_IS_IVIM_EVRP_BV_02.json: 68 added lines, 0 removed lines.
Original line number Diff line number Diff line 
{

    "attributes": {

        "PICS_IVIM_UPDATE": {

            "availability": "LOCAL",

            "isGenerated": false,

            "key": "PICS_IVIM_UPDATE",

            "newvalue": "true",

            "origin": "fcd406ea-f674-410e-83ca-4ec51fd5f99a",

            "type": "BOOL",

            "value": "true"

        },

        "_author": {

            "availability": "LOCAL",

            "isGenerated": false,

            "key": "_author",

            "newvalue": "yann",

            "origin": "fcd406ea-f674-410e-83ca-4ec51fd5f99a",

            "type": "STRING",

            "value": "yann"

        },

        "_description": {

            "availability": "LOCAL",

            "isGenerated": false,

            "key": "_description",

            "newvalue": "Check that the IUT deactivates repetition on reception of a valid AppIVIM_Update request",

            "origin": "fcd406ea-f674-410e-83ca-4ec51fd5f99a",

            "type": "STRING",

            "value": "Check that the IUT deactivates repetition on reception of a valid AppIVIM_Update request"

        },

        "_expectedResults": {

            "availability": "LOCAL",

            "isGenerated": false,

            "key": "_expectedResults",

            "newvalue": "with\r\n\tthe IUT being in the \"initial state\"\r\n\tand the IUT having generated several IVIM\r\n\t\tcontaining ivi\r\n\t\t\tcontaining mandatory\r\n\t\t\t\tcontaining iviIdentificationNumber \r\n\t\t\t\t\tindicating IVIM_ID_1\r\nensure that\r\n\twhen\r\n\t\tthe IUT receives an AppIVIM_Update indicating 'repetition interval' 0\r\n\tthen\r\n\t\t the IUT stops sending IVIM associated with IVIM_ID_1\r\n",

            "origin": "fcd406ea-f674-410e-83ca-4ec51fd5f99a",

            "type": "STRING",

            "value": "with\r\n\tthe IUT being in the \"initial state\"\r\n\tand the IUT having generated several IVIM\r\n\t\tcontaining ivi\r\n\t\t\tcontaining mandatory\r\n\t\t\t\tcontaining iviIdentificationNumber \r\n\t\t\t\t\tindicating IVIM_ID_1\r\nensure that\r\n\twhen\r\n\t\tthe IUT receives an AppIVIM_Update indicating 'repetition interval' 0\r\n\tthen\r\n\t\t the IUT stops sending IVIM associated with IVIM_ID_1\r\n"

        },

        "_index": {

            "availability": "LOCAL",

            "isGenerated": false,

            "key": "_index",

            "newvalue": "2147483648",

            "origin": "fcd406ea-f674-410e-83ca-4ec51fd5f99a",

            "type": "STRING",

            "value": "2147483648"

        },

        "_status": {

            "availability": "LOCAL",

            "isGenerated": false,

            "key": "_status",

            "newvalue": "complete",

            "origin": "fcd406ea-f674-410e-83ca-4ec51fd5f99a",

            "type": "STRING",

            "value": "complete"

        },

        "_type": {

            "availability": "LOCAL",

            "isGenerated": false,

            "key": "_type",

            "newvalue": "TestPurpose",

            "origin": "fcd406ea-f674-410e-83ca-4ec51fd5f99a",

            "type": "STRING",

            "value": "TestPurpose"

        }

    },

    "uuid": "fcd406ea-f674-410e-83ca-4ec51fd5f99a"

}
 
 No newline at end of file

requality/TS103301/root/Requirements/IS_IVI/IS_IVI_11/TP_IS_IVIM_EVTR_BV_01.json

+15 −6
Changes for requality/TS103301/root/Requirements/IS_IVI/IS_IVI_11/TP_IS_IVIM_EVTR_BV_01.json: 15 added lines, 6 removed lines.
Original line number Diff line number Diff line 
{

    "attributes": {

        "PICS_RSU_ROLE": {

        "PICS_IVIM_GENERATION": {

            "availability": "LOCAL",

            "isGenerated": false,

            "key": "PICS_RSU_ROLE",

            "key": "PICS_IVIM_GENERATION",

            "newvalue": true,

            "origin": "902eea56-fd8b-4374-95c3-2ef474dfef51",

            "type": "BOOL",
@@ -18,23 +18,32 @@ 
            "type": "STRING",

            "value": "yann"

        },

        "_description": {

            "availability": "LOCAL",

            "isGenerated": false,

            "key": "_description",

            "newvalue": "Check that the IUT terminates IVM genration on validity duration expery",

            "origin": "902eea56-fd8b-4374-95c3-2ef474dfef51",

            "type": "STRING",

            "value": "Check that the IUT terminates IVM genration on validity duration expery"

        },

        "_expectedResults": {

            "availability": "LOCAL",

            "isGenerated": false,

            "key": "_expectedResults",

            "newvalue": "with\r\n\tthe IUT being in the \"initial state\"\r\n\tand the IUT having generated an IVIM\r\n\t\tcontaining ivi\r\n\t\t\tcontaining mandatory\r\n\t\t\t\tcontaining iviIdentificationNumber \r\n\t\t\t\t\tinicating IVIM_ID_1\r\n\t\t\t\tcontaining iviStatus\r\n\t\t\t\t\tindicating 'update'\r\nensure that\r\n\twhen\r\n\t\tthe IUT receives an AppIVIM_termination request associated with IVIM_ID_1\r\n\tthen\r\n\t\tthe IUT sends a valid IVIM\r\n\t\t\tcontaining ivi\r\n\t\t\t\tcontaining mandatory\r\n\t\t\t\t\tcontaining iviIdentificationNumber \r\n\t\t\t\t\t\tindicating IVIM_ID_1\r\n\t\t\t\t\tcontaining iviStatus\r\n\t\t\t\t\t\tindicating 'termination'",

            "newvalue": "with\r\n\tthe IUT being in the \"initial state\"\r\n\tand the IUT having generated an IVIM\r\n\t\tcontaining ivi\r\n\t\t\tcontaining mandatory\r\n\t\t\t\tcontaining iviIdentificationNumber \r\n\t\t\t\t\tinicating IVIM_ID_1\r\n\t\t\t\tand containing validTo\r\n                                indicating CLT + 10 seconds\r\n                            and containing iviStatus\r\n\t\t\t\t\tindicating 'new'\r\nensure that\r\n\twhen\r\n\t\tthe IUT is alerted of expiration of the time associated with validTo\r\n\tthen\r\n\t\tthe IUT stops ending IVIM associated with IVIM_ID_1",

            "origin": "902eea56-fd8b-4374-95c3-2ef474dfef51",

            "type": "STRING",

            "value": "with\r\n\tthe IUT being in the \"initial state\"\r\n\tand the IUT having generated an IVIM\r\n\t\tcontaining ivi\r\n\t\t\tcontaining mandatory\r\n\t\t\t\tcontaining iviIdentificationNumber \r\n\t\t\t\t\tinicating IVIM_ID_1\r\n\t\t\t\tcontaining iviStatus\r\n\t\t\t\t\tindicating 'update'\r\nensure that\r\n\twhen\r\n\t\tthe IUT receives an AppIVIM_termination request associated with IVIM_ID_1\r\n\tthen\r\n\t\tthe IUT sends a valid IVIM\r\n\t\t\tcontaining ivi\r\n\t\t\t\tcontaining mandatory\r\n\t\t\t\t\tcontaining iviIdentificationNumber \r\n\t\t\t\t\t\tindicating IVIM_ID_1\r\n\t\t\t\t\tcontaining iviStatus\r\n\t\t\t\t\t\tindicating 'termination'"

            "value": "with\r\n\tthe IUT being in the \"initial state\"\r\n\tand the IUT having generated an IVIM\r\n\t\tcontaining ivi\r\n\t\t\tcontaining mandatory\r\n\t\t\t\tcontaining iviIdentificationNumber \r\n\t\t\t\t\tinicating IVIM_ID_1\r\n\t\t\t\tand containing validTo\r\n                                indicating CLT + 10 seconds\r\n                            and containing iviStatus\r\n\t\t\t\t\tindicating 'new'\r\nensure that\r\n\twhen\r\n\t\tthe IUT is alerted of expiration of the time associated with validTo\r\n\tthen\r\n\t\tthe IUT stops ending IVIM associated with IVIM_ID_1"

        },

        "_status": {

            "availability": "LOCAL",

            "isGenerated": false,

            "key": "_status",

            "newvalue": "in process",

            "newvalue": "complete",

            "origin": "902eea56-fd8b-4374-95c3-2ef474dfef51",

            "type": "STRING",

            "value": "in process"

            "value": "complete"

        },

        "_type": {

            "availability": "LOCAL",

requality/TS103301/root/Requirements/IS_IVI/IS_IVI_11/TP_IS_IVIM_EVTR_BV_02.json

+6 −6
Changes for requality/TS103301/root/Requirements/IS_IVI/IS_IVI_11/TP_IS_IVIM_EVTR_BV_02.json: 6 added lines, 6 removed lines.
Original line number Diff line number Diff line 
{

    "attributes": {

        "PICS_RSU_ROLE": {

        "PICS_IVIM_GENERATION": {

            "availability": "LOCAL",

            "isGenerated": false,

            "key": "PICS_RSU_ROLE",

            "key": "PICS_IVIM_GENERATION",

            "newvalue": true,

            "origin": "480ba77e-b128-45cf-aa95-b3bf80c59092",

            "type": "BOOL",
@@ -31,19 +31,19 @@ 
            "availability": "LOCAL",

            "isGenerated": false,

            "key": "_expectedResults",

            "newvalue": "with\r\n\tthe IUT being in the \"initial state\"\r\n\tand the IUT having generated an IVIM\r\n\t\tcontaining ivi\r\n\t\t\tcontaining mandatory\r\n\t\t\t\tcontaining iviIdentificationNumber \r\n\t\t\t\t\tinicating IVIM_ID_1\r\n\t\t\t\tcontaining iviStatus\r\n\t\t\t\t\tindicating 'update'\r\nensure that\r\n\twhen\r\n\t\tthe IUT receives an AppIVIM_termination request associated with IVIM_ID_1\r\n\tthen\r\n\t\tthe IUT sends a valid IVIM\r\n\t\t\tcontaining ivi\r\n\t\t\t\tcontaining mandatory\r\n\t\t\t\t\tcontaining iviIdentificationNumber \r\n\t\t\t\t\t\tindicating IVIM_ID_1\r\n\t\t\t\t\tcontaining iviStatus\r\n\t\t\t\t\t\tindicating 'termination'",

            "newvalue": "with\r\n\tthe IUT being in the \"initial state\"\r\n\tand the IUT having generated an IVIM\r\n\t\tcontaining ivi\r\n\t\t\tcontaining mandatory\r\n\t\t\t\tcontaining iviIdentificationNumber \r\n\t\t\t\t\tinicating IVIM_ID_1\r\n\t\t\t\tand containing iviStatus\r\n\t\t\t\t\tindicating 'new'\r\nensure that\r\n\twhen\r\n\t\tthe IUT receives an AppIVIM_termination request associated with IVIM_ID_1\r\n\tthen\r\n\t\tthe IUT sends a valid IVIM\r\n\t\t\tcontaining ivi\r\n\t\t\t\tcontaining mandatory\r\n\t\t\t\t\tcontaining iviIdentificationNumber \r\n\t\t\t\t\t\tindicating IVIM_ID_1\r\n\t\t\t\t\tcontaining iviStatus\r\n\t\t\t\t\t\tindicating 'termination'",

            "origin": "480ba77e-b128-45cf-aa95-b3bf80c59092",

            "type": "STRING",

            "value": "with\r\n\tthe IUT being in the \"initial state\"\r\n\tand the IUT having generated an IVIM\r\n\t\tcontaining ivi\r\n\t\t\tcontaining mandatory\r\n\t\t\t\tcontaining iviIdentificationNumber \r\n\t\t\t\t\tinicating IVIM_ID_1\r\n\t\t\t\tcontaining iviStatus\r\n\t\t\t\t\tindicating 'update'\r\nensure that\r\n\twhen\r\n\t\tthe IUT receives an AppIVIM_termination request associated with IVIM_ID_1\r\n\tthen\r\n\t\tthe IUT sends a valid IVIM\r\n\t\t\tcontaining ivi\r\n\t\t\t\tcontaining mandatory\r\n\t\t\t\t\tcontaining iviIdentificationNumber \r\n\t\t\t\t\t\tindicating IVIM_ID_1\r\n\t\t\t\t\tcontaining iviStatus\r\n\t\t\t\t\t\tindicating 'termination'"

            "value": "with\r\n\tthe IUT being in the \"initial state\"\r\n\tand the IUT having generated an IVIM\r\n\t\tcontaining ivi\r\n\t\t\tcontaining mandatory\r\n\t\t\t\tcontaining iviIdentificationNumber \r\n\t\t\t\t\tinicating IVIM_ID_1\r\n\t\t\t\tand containing iviStatus\r\n\t\t\t\t\tindicating 'new'\r\nensure that\r\n\twhen\r\n\t\tthe IUT receives an AppIVIM_termination request associated with IVIM_ID_1\r\n\tthen\r\n\t\tthe IUT sends a valid IVIM\r\n\t\t\tcontaining ivi\r\n\t\t\t\tcontaining mandatory\r\n\t\t\t\t\tcontaining iviIdentificationNumber \r\n\t\t\t\t\t\tindicating IVIM_ID_1\r\n\t\t\t\t\tcontaining iviStatus\r\n\t\t\t\t\t\tindicating 'termination'"

        },

        "_status": {

            "availability": "LOCAL",

            "isGenerated": false,

            "key": "_status",

            "newvalue": "in process",

            "newvalue": "complete",

            "origin": "480ba77e-b128-45cf-aa95-b3bf80c59092",

            "type": "STRING",

            "value": "in process"

            "value": "complete"

        },

        "_type": {

            "availability": "LOCAL",