ETSI's Bug Tracker

            * Pics Selection: PICS_GN_DAD
            * Config Id: CF01
            * Initial conditions:
            *  with {
            *      the IUT being in the "initial state" and
            *      the IUT having sent an SHB packet
            *  }
            * Expected behaviour:
            *  ensure that {
            *      when {
            *          the IUT receives a SHB packet
            *              containing SHB Extended Header
            *                  containing SOPV field
            *                      containing GN_ADDR field
            *                          indicating same GN_ADDR as the GN_ADDR field in the last SHB packet 
originated by the IUT
            *      }
            *      then {
            *          the IUT sends subsequent SHB packet
            *              containing SHB Extended Header
            *                  containing SOPV field
            *                      containing GN_ADDR field
            *                          indicating different GN_ADDR as the previous used GN_ADDR
            *      }
            *   }
            *