Commit 493c57a4 authored by garciay's avatar garciay
Browse files

STF507: Week #1 

- Review of existing Send TPs for CAM and DENM profiles done
- Started review of existing Send TPs for Certificate profiles
parent 9ae9d09d

ttcn/AtsSecurity/ItsSecurity_TestControl.ttcn3

+124 −78
Original line number Diff line number Diff line
@@ -17,75 +17,147 @@ module ItsSecurity_TestControl { 
    // Test Execution

    control {

        

        /**

         * @desc Sending behaviour test cases

         * @see ETSI TS 103 096-2 V1.2.2 (2016-01) Clause 5.2 Sending behaviour

         */

        if (PICS_GN_SECURITY) {

            if (PICS_ITS_AID_OTHER_PROFILE) {

            execute(TC_SEC_ITSS_SND_MSG_01());

            }

            execute(TC_SEC_ITSS_SND_MSG_04_01());

            execute(TC_SEC_ITSS_SND_MSG_04_02());

            execute(TC_SEC_ITSS_SND_MSG_05_01());

            

            execute(TC_SEC_ITSS_SND_CAM_04_01());

            execute(TC_SEC_ITSS_SND_CAM_05_01());

            execute(TC_SEC_ITSS_SND_CAM_05_02());

            execute(TC_SEC_ITSS_SND_CAM_06_01());

            execute(TC_SEC_ITSS_SND_CAM_07_01());

            execute(TC_SEC_ITSS_SND_CAM_08_01());

            execute(TC_SEC_ITSS_SND_CAM_09_01());

            execute(TC_SEC_ITSS_SND_CAM_10_01());

            execute(TC_SEC_ITSS_SND_CAM_11_01());

            execute(TC_SEC_ITSS_SND_CAM_12_01());

            execute(TC_SEC_ITSS_SND_CAM_14_01());

            execute(TC_SEC_ITSS_SND_CAM_16_01());

            /**

             * @desc Sending behaviour test cases for CAM profile

             * @see ETSI TS 103 096-2 V1.2.2 (2016-01) Clause 5.2.4 CAM profile

             */

            execute(TC_SEC_ITSS_SND_CAM_01_01_BV());

            execute(TC_SEC_ITSS_SND_CAM_02_01_BV());

            execute(TC_SEC_ITSS_SND_CAM_05_01_BV());

            execute(TC_SEC_ITSS_SND_CAM_05_02_BV());

            execute(TC_SEC_ITSS_SND_CAM_06_01_BV());

            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_12_01_BV());

            execute(TC_SEC_ITSS_SND_CAM_14_01_BV());

            execute(TC_SEC_ITSS_SND_CAM_16_01_BV());

            

            execute(TC_SEC_ITSS_SND_DENM_02_01());

            execute(TC_SEC_ITSS_SND_DENM_03_01());

            execute(TC_SEC_ITSS_SND_DENM_04_01());

            /**

             * @desc Sending behaviour test cases for DENM profile

             * @see ETSI TS 103 096-2 V1.2.2 (2016-01) Clause 5.2.5 DENM profile

             */

            execute(TC_SEC_ITSS_SND_DENM_01_01_BV());

            execute(TC_SEC_ITSS_SND_DENM_02_01_BV());

            execute(TC_SEC_ITSS_SND_DENM_03_01_BV());

            execute(TC_SEC_ITSS_SND_DENM_04_01_BV());

            if (PICS_CERTIFICATE_SELECTION) {

                execute(TC_SEC_ITSS_SND_DENM_05_01());

                execute(TC_SEC_ITSS_SND_DENM_05_01_BV());

                if (PICS_USE_CIRCULAR_REGION) {

                    execute(TC_SEC_ITSS_SND_DENM_05_03());

                    execute(TC_SEC_ITSS_SND_DENM_05_02_BV());

                }

                if (PICS_USE_RECTANGULAR_REGION) {

                    execute(TC_SEC_ITSS_SND_DENM_05_04());

                    execute(TC_SEC_ITSS_SND_DENM_05_03_BV());

                }

                if (PICS_USE_POLYGONAL_REGION) {

                    execute(TC_SEC_ITSS_SND_DENM_05_05());

                    execute(TC_SEC_ITSS_SND_DENM_05_04_BV());

                }

                if (PICS_USE_IDENTIFIED_REGION) {

                    execute(TC_SEC_ITSS_SND_DENM_05_06());

                    execute(TC_SEC_ITSS_SND_DENM_05_05_BV());

                }

            } else {

                execute(TC_SEC_ITSS_SND_DENM_05_06_BV());

            }

            execute(TC_SEC_ITSS_SND_DENM_06_01());

            execute(TC_SEC_ITSS_SND_DENM_08_01());

            execute(TC_SEC_ITSS_SND_DENM_10_01());

            execute(TC_SEC_ITSS_SND_DENM_08_01_BV());

            execute(TC_SEC_ITSS_SND_DENM_10_01_BV());

            

            if (PICS_ITS_AID_OTHER_PROFILE) {

                execute(TC_SEC_ITSS_SND_GENMSG_02_01());

                execute(TC_SEC_ITSS_SND_GENMSG_03_01());

                execute(TC_SEC_ITSS_SND_GENMSG_04_01());

                execute(TC_SEC_ITSS_SND_GENMSG_01_01_BV());

                execute(TC_SEC_ITSS_SND_GENMSG_02_01_BV());

                execute(TC_SEC_ITSS_SND_GENMSG_03_01_BV());

                execute(TC_SEC_ITSS_SND_GENMSG_04_01_BV());

                if (PICS_CERTIFICATE_SELECTION) {



                    execute(TC_SEC_ITSS_SND_GENMSG_05_01());

                    execute(TC_SEC_ITSS_SND_GENMSG_05_01_BV());

                    if (PICS_USE_CIRCULAR_REGION) {

                        execute(TC_SEC_ITSS_SND_GENMSG_05_02());

                        execute(TC_SEC_ITSS_SND_GENMSG_05_02_BV());

                    }

                    if (PICS_USE_RECTANGULAR_REGION) {

                        execute(TC_SEC_ITSS_SND_GENMSG_05_03());

                        execute(TC_SEC_ITSS_SND_GENMSG_05_03_BV());

                    }

                    if (PICS_USE_POLYGONAL_REGION) {

                        execute(TC_SEC_ITSS_SND_GENMSG_05_04());

                        execute(TC_SEC_ITSS_SND_GENMSG_05_04_BV());

                    }

                    if (PICS_USE_IDENTIFIED_REGION) {

                        execute(TC_SEC_ITSS_SND_GENMSG_05_05());

                        execute(TC_SEC_ITSS_SND_GENMSG_05_05_BV());

                    }

                } else {

                    execute(TC_SEC_ITSS_SND_GENMSG_05_06());

                    execute(TC_SEC_ITSS_SND_GENMSG_05_06_BV());

                }

                execute(TC_SEC_ITSS_SND_GENMSG_06_01());

                execute(TC_SEC_ITSS_SND_GENMSG_06_01_BV());

                execute(TC_SEC_ITSS_SND_GENMSG_07_01());

            }

            

            /**

             * @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());

            execute(TC_SEC_SND_CERT_01_02());

            execute(TC_SEC_SND_CERT_02_01());

            if (PICS_CERTIFICATE_SELECTION) {

                if (PICS_USE_RECTANGULAR_REGION) {

                    execute(TC_SEC_SND_CERT_04_01());

                    execute(TC_SEC_SND_CERT_04_02());

                }

                if (PICS_USE_POLYGONAL_REGION) {

                    execute(TC_SEC_SND_CERT_05_01());

                    execute(TC_SEC_SND_CERT_05_02());

                }

                if (PICS_USE_IDENTIFIED_REGION) {

                    execute(TC_SEC_SND_CERT_06_01());

                    execute(TC_SEC_SND_CERT_06_02());

                }

            }

            execute(TC_SEC_SND_CERT_07_01());

            execute(TC_SEC_SND_CERT_08_01());

            execute(TC_SEC_SND_CERT_09_01());

            execute(TC_SEC_SND_CERT_09_02());

            

            /**

             * @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());

            execute(TC_SEC_SND_CERT_AA_02_01());

            execute(TC_SEC_SND_CERT_AA_04_01());

            execute(TC_SEC_SND_CERT_AA_05_01());

            execute(TC_SEC_SND_CERT_AA_06_01());

            execute(TC_SEC_SND_CERT_AA_08_01());

            execute(TC_SEC_SND_CERT_AT_01_01());

            /**

             * @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

             */

            if (PICS_CERTIFICATE_SELECTION) {

                execute(TC_SEC_SND_CERT_AT_02_01());

                execute(TC_SEC_SND_CERT_AT_03_01());

                execute(TC_SEC_SND_CERT_AT_04_01());

                execute(TC_SEC_SND_CERT_AT_05_01());

                execute(TC_SEC_SND_CERT_AT_07_01());

                execute(TC_SEC_SND_CERT_AT_08_01());

                execute(TC_SEC_SND_CERT_AT_09_01());

            }

        }

            

        /**

         * @desc Receiver behaviour test cases

         * @see ETSI TS 103 096-2 V1.2.2 (2016-01) Clause 5.3 Receiver behaviour

         */

        if (PICS_GN_SECURITY) {

            /**

             * @desc Sending behaviour test cases for CAM profile

             * @see ETSI TS 103 096-2 V1.2.2 (2016-01) Clause 5.3.2 CAM Profile

             */

            execute(TC_SEC_ITSS_RCV_CAM_01_01_BV());

            execute(TC_SEC_ITSS_RCV_CAM_01_02_BV());

            execute(TC_SEC_ITSS_RCV_CAM_01_03_BV());
@@ -111,6 +183,10 @@ module ItsSecurity_TestControl { 
            execute(TC_SEC_ITSS_RCV_CAM_12_01_BO());

            execute(TC_SEC_ITSS_RCV_CAM_12_02_BO());

            

            /**

             * @desc Sending behaviour test cases for DENM profile

             * @see ETSI TS 103 096-2 V1.2.2 (2016-01) Clause 5.3.3 DENM Profile

             */

            execute(TC_SEC_ITSS_RCV_DENM_01_01_BV());

            if (PICS_USE_CIRCULAR_REGION) {

                execute(TC_SEC_ITSS_RCV_DENM_01_02_BV());
@@ -132,47 +208,17 @@ module ItsSecurity_TestControl { 
            execute(TC_SEC_ITSS_RCV_DENM_08_03_BO());

            execute(TC_SEC_ITSS_RCV_DENM_08_04_BO());

            

            execute(TC_SEC_SND_CERT_01_01());

            execute(TC_SEC_SND_CERT_01_02());

            execute(TC_SEC_SND_CERT_02_01());

            if (PICS_CERTIFICATE_SELECTION) {

                if (PICS_USE_RECTANGULAR_REGION) {

                    execute(TC_SEC_SND_CERT_04_01());

                    execute(TC_SEC_SND_CERT_04_02());

                }

                if (PICS_USE_POLYGONAL_REGION) {

                    execute(TC_SEC_SND_CERT_05_01());

                    execute(TC_SEC_SND_CERT_05_02());

                }

                if (PICS_USE_IDENTIFIED_REGION) {

                    execute(TC_SEC_SND_CERT_06_01());

                    execute(TC_SEC_SND_CERT_06_02());

                    execute(TC_SEC_SND_CERT_06_03());

                    execute(TC_SEC_SND_CERT_06_04());

                }

            }

            execute(TC_SEC_SND_CERT_07_01());

            execute(TC_SEC_SND_CERT_08_01());

            execute(TC_SEC_SND_CERT_09_01());

            execute(TC_SEC_SND_CERT_09_02());

            

            execute(TC_SEC_SND_CERT_AA_01_01());

            execute(TC_SEC_SND_CERT_AA_02_01());

            execute(TC_SEC_SND_CERT_AA_04_01());

            execute(TC_SEC_SND_CERT_AA_05_01());

            execute(TC_SEC_SND_CERT_AA_06_01());

            execute(TC_SEC_SND_CERT_AA_08_01());

            execute(TC_SEC_SND_CERT_AT_01_01());

            if (PICS_CERTIFICATE_SELECTION) {

                execute(TC_SEC_SND_CERT_AT_02_01());

                execute(TC_SEC_SND_CERT_AT_03_01());

                execute(TC_SEC_SND_CERT_AT_04_01());

                execute(TC_SEC_SND_CERT_AT_05_01());

                execute(TC_SEC_SND_CERT_AT_07_01());

                execute(TC_SEC_SND_CERT_AT_08_01());

                execute(TC_SEC_SND_CERT_AT_09_01());

            }

            /**

             * @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

            

            /**

             * @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

        }

        

    } // End of 'control' statement