Commit bdee475b authored by garciay's avatar garciay
Browse files

WeekSTF507: Week #6 

.  Added new TCs for RECV Other profiles
.  Starting development of RECV Certificates
parent 0f190f84

ttcn/AtsSecurity/ItsSecurity_TestCases.ttcn3

+4495 −399

File changed.

Preview size limit exceeded, changes collapsed.

ttcn/AtsSecurity/ItsSecurity_TestControl.ttcn3

+79 −34
Original line number Diff line number Diff line
@@ -39,6 +39,7 @@ module ItsSecurity_TestControl { 
            execute(TC_SEC_ITSS_SND_CAM_07_01_TI());

            execute(TC_SEC_ITSS_SND_CAM_08_01_BV());

            execute(TC_SEC_ITSS_SND_CAM_09_01_BV());

            execute(TC_SEC_ITSS_SND_CAM_10_01_BV());

            execute(TC_SEC_ITSS_SND_CAM_12_01_BV());

            execute(TC_SEC_ITSS_SND_CAM_14_01_BV());

            execute(TC_SEC_ITSS_SND_CAM_16_01_BV());
@@ -101,55 +102,56 @@ module ItsSecurity_TestControl { 
             * @desc Sending behaviour test cases for certificates profile

             * @see ETSI TS 103 096-2 V1.2.2 (2016-01) Clause 5.2.7 Profiles for certificates

             */

            execute(TC_SEC_SND_CERT_01_01_BV());

            execute(TC_SEC_SND_CERT_01_02_BV());

            execute(TC_SEC_SND_CERT_02_01_BV());

            execute(TC_SEC_ITSS_SND_CERT_01_01_BV());

            execute(TC_SEC_ITSS_SND_CERT_01_02_BV());

            execute(TC_SEC_ITSS_SND_CERT_02_01_BV());

            if (PICS_CERTIFICATE_SELECTION) {

                if (PICS_USE_RECTANGULAR_REGION) {

                    execute(TC_SEC_SND_CERT_04_01_BV());

                    execute(TC_SEC_SND_CERT_04_02_BV());

                    execute(TC_SEC_ITSS_SND_CERT_04_01_BV());

                    execute(TC_SEC_ITSS_SND_CERT_04_02_BV());

                }

                if (PICS_USE_POLYGONAL_REGION) {

                    execute(TC_SEC_SND_CERT_05_01_BV());

                    execute(TC_SEC_SND_CERT_05_02_BV());

                    execute(TC_SEC_ITSS_SND_CERT_05_01_BV());

                    execute(TC_SEC_ITSS_SND_CERT_05_02_BV());

                }

                if (PICS_USE_IDENTIFIED_REGION) {

                    execute(TC_SEC_SND_CERT_06_01_BV());

                    execute(TC_SEC_SND_CERT_06_02_BV());

                }

            }

            execute(TC_SEC_SND_CERT_07_01_BV());

            execute(TC_SEC_SND_CERT_07_02_BV());

            execute(TC_SEC_SND_CERT_08_01_BV());

            execute(TC_SEC_SND_CERT_09_01_BV());

            execute(TC_SEC_SND_CERT_09_02_BV());

            execute(TC_SEC_SND_CERT_10_01_BV());

            execute(TC_SEC_SND_CERT_10_02_BV());

            execute(TC_SEC_SND_CERT_11_01_BV());

            execute(TC_SEC_SND_CERT_11_02_BV());

                    execute(TC_SEC_ITSS_SND_CERT_06_01_BV());

                    execute(TC_SEC_ITSS_SND_CERT_06_02_BV());

                }

            }

            execute(TC_SEC_ITSS_SND_CERT_07_01_BV());

            execute(TC_SEC_ITSS_SND_CERT_07_02_BV());

            execute(TC_SEC_ITSS_SND_CERT_08_01_BV());

            execute(TC_SEC_ITSS_SND_CERT_09_01_BV());

            execute(TC_SEC_ITSS_SND_CERT_09_02_BV());

            execute(TC_SEC_ITSS_SND_CERT_10_01_BV());

            execute(TC_SEC_ITSS_SND_CERT_10_02_BV());

            execute(TC_SEC_ITSS_SND_CERT_11_01_BV());

            execute(TC_SEC_ITSS_SND_CERT_11_02_BV());

            execute(TC_SEC_ITSS_SND_CERT_12_01_BV());

            

            /**

             * @desc Sending behaviour test cases for AA certificate profil

             * @see ETSI TS 103 096-2 V1.2.2 (2016-01) Clause 5.2.7.7 AA certificate profile

             */

            execute(TC_SEC_SND_CERT_AA_01_01_BV());

            execute(TC_SEC_SND_CERT_AA_02_01_BV());

            execute(TC_SEC_SND_CERT_AA_03_01_BV());

            execute(TC_SEC_SND_CERT_AA_05_01_BV());

            execute(TC_SEC_SND_CERT_AA_08_01_BV());

            execute(TC_SEC_SND_CERT_AA_10_01_BV());

            execute(TC_SEC_ITSS_SND_CERT_AA_01_01_BV());

            execute(TC_SEC_ITSS_SND_CERT_AA_02_01_BV());

            execute(TC_SEC_ITSS_SND_CERT_AA_03_01_BV());

            execute(TC_SEC_ITSS_SND_CERT_AA_05_01_BV());

            execute(TC_SEC_ITSS_SND_CERT_AA_08_01_BV());

            execute(TC_SEC_ITSS_SND_CERT_AA_10_01_BV());

            /**

             * @desc Sending behaviour test cases for AT certificate profil

             * @see ETSI TS 103 096-2 V1.2.2 (2016-01) Clause 5.2.7.8 AT certificate profile

             */

            execute(TC_SEC_SND_CERT_AT_01_01_BV());

            execute(TC_SEC_SND_CERT_AT_02_01_BV());

            execute(TC_SEC_SND_CERT_AT_03_01_BV());

            execute(TC_SEC_SND_CERT_AT_04_01_BV());

            execute(TC_SEC_SND_CERT_AT_05_01_BV());

            execute(TC_SEC_SND_CERT_AT_07_01_BV());

            execute(TC_SEC_SND_CERT_AT_08_01_BV());

            execute(TC_SEC_SND_CERT_AT_10_01_BV());

            execute(TC_SEC_ITSS_SND_CERT_AT_01_01_BV());

            execute(TC_SEC_ITSS_SND_CERT_AT_02_01_BV());

            execute(TC_SEC_ITSS_SND_CERT_AT_03_01_BV());

            execute(TC_SEC_ITSS_SND_CERT_AT_04_01_BV());

            execute(TC_SEC_ITSS_SND_CERT_AT_05_01_BV());

            execute(TC_SEC_ITSS_SND_CERT_AT_07_01_BV());

            execute(TC_SEC_ITSS_SND_CERT_AT_08_01_BV());

            execute(TC_SEC_ITSS_SND_CERT_AT_10_01_BV());

        }

            

        /**
@@ -224,13 +226,56 @@ module ItsSecurity_TestControl { 
             * @desc Receiving behaviour test cases for Other profile

             * @see ETSI TS 103 096-2 V1.2.2 (2016-01) Clause 5.3.4 Generic Signed Message Profile

             */

            // TODO Add Other profile RECV TCs

            if (PICS_GN_GBC_SRC) {

                execute(TC_SEC_ITSS_RCV_GENMSG_01_01_BV());

                execute(TC_SEC_ITSS_RCV_GENMSG_01_02_BV());

                execute(TC_SEC_ITSS_RCV_GENMSG_01_03_BV());

                execute(TC_SEC_ITSS_RCV_GENMSG_01_04_BV());

                execute(TC_SEC_ITSS_RCV_GENMSG_01_05_BV());

                execute(TC_SEC_ITSS_RCV_GENMSG_02_01_BO());

                execute(TC_SEC_ITSS_RCV_GENMSG_02_02_BO());

                execute(TC_SEC_ITSS_RCV_GENMSG_04_01_BO());

                execute(TC_SEC_ITSS_RCV_GENMSG_04_02_BO());

                execute(TC_SEC_ITSS_RCV_GENMSG_04_03_BO());

                execute(TC_SEC_ITSS_RCV_GENMSG_04_04_BO());

                execute(TC_SEC_ITSS_RCV_GENMSG_04_05_BO());

                execute(TC_SEC_ITSS_RCV_GENMSG_04_06_BO());

                execute(TC_SEC_ITSS_RCV_GENMSG_04_07_BO());

                execute(TC_SEC_ITSS_RCV_GENMSG_04_08_BO());

                execute(TC_SEC_ITSS_RCV_GENMSG_05_03_BO());

                execute(TC_SEC_ITSS_RCV_GENMSG_06_01_BO());

                execute(TC_SEC_ITSS_RCV_GENMSG_06_02_BO());

                execute(TC_SEC_ITSS_RCV_GENMSG_08_01_BO());

                execute(TC_SEC_ITSS_RCV_GENMSG_08_02_BO());

                execute(TC_SEC_ITSS_RCV_GENMSG_08_03_BO());

                execute(TC_SEC_ITSS_RCV_GENMSG_08_04_BO());

                execute(TC_SEC_ITSS_RCV_GENMSG_09_02_BO());

                execute(TC_SEC_ITSS_RCV_GENMSG_09_03_BO());

                execute(TC_SEC_ITSS_RCV_GENMSG_09_04_BO());

                execute(TC_SEC_ITSS_RCV_GENMSG_10_01_BO());

                execute(TC_SEC_ITSS_RCV_GENMSG_10_02_BO());

                execute(TC_SEC_ITSS_RCV_GENMSG_11_01_BO());

                execute(TC_SEC_ITSS_RCV_GENMSG_12_01_BO());

                execute(TC_SEC_ITSS_RCV_GENMSG_12_02_BO());

                execute(TC_SEC_ITSS_RCV_GENMSG_12_03_BO());

                execute(TC_SEC_ITSS_RCV_GENMSG_12_04_BO());

            }

            

            /**

             * @desc Receiving behaviour test cases for certificates profile

             * @see ETSI TS 103 096-2 V1.2.2 (2016-01) Clause 5.3.5 Profiles for certificates

             */

            // TODO Add certificates profile RECV TCs

            execute(TC_SEC_ITSS_RCV_CERT_01_01_BO());

            execute(TC_SEC_ITSS_RCV_CERT_01_02_BO());

            execute(TC_SEC_ITSS_RCV_CERT_01_03_BO());

            execute(TC_SEC_ITSS_RCV_CERT_01_04_BO());

            execute(TC_SEC_ITSS_RCV_CERT_02_01_BO());

            execute(TC_SEC_ITSS_RCV_CERT_02_02_BO());

            execute(TC_SEC_ITSS_RCV_CERT_02_03_BO());

            execute(TC_SEC_ITSS_RCV_CERT_02_04_BO());

            execute(TC_SEC_ITSS_RCV_CERT_03_01_BO());

            execute(TC_SEC_ITSS_RCV_CERT_03_02_BO());

            execute(TC_SEC_ITSS_RCV_CERT_04_01_BO());

        }

        

    } // End of 'control' statement