Validation of ATSP

                 *       }

                 * 

                 * Expected behaviour:

                 *  evaluate whether {

                 *  ensure that {

                 *     when {

                 *          the IUT starts operation

                 *          }

                 *     }

                 *     

                 * Final conditions:

                 * evaluate whether {

                 * ensure that {

                 *     when {

                 *          the IUT presented the state "registered" to the ITS-S management

                 *          }

             *       }

             * 

             * Expected behaviour:

             *  evaluate whether {

             *  ensure that {

             *     when {

             *          the IUT starts operation

             *          }

             *     }

             *     

             * Final conditions:

             * evaluate whether {

             * ensure that {

             *     when {

             *          the IUT presented the state "registered" to the ITS-S management

             *          }

             *       }

             * 

             * Expected behaviour:

             *  evaluate whether {

             *  ensure that {

             *     when {

             *          the IUT starts operation

             *          }

             *       }

             * 

             * Expected behaviour:

             *  evaluate whether {

             *  ensure that {

             *     when {

             *          the IUT has finished the registration procedure

             *          }

             *     }

             *     

             * Final conditions:

             * evaluate whether {

             * ensure that {

             *     when {

             *          the IUT created a UC-VCI

             *          }

             *       }

             * 

             * Expected behaviour:

             *  evaluate whether {

             *  ensure that {

             *     when {

             *          the IUT has finished the registration procedure

             *          }

             *     }

             *     

             * Final conditions:

             * evaluate whether {

             * ensure that {

             *     when {

             *          the IUT created a BC-VCI

             *          }

             *       }

             * 

             * Expected behaviour:

             *  evaluate whether {

             *  ensure that {

             *     when {

             *          the IUT has finished the registration procedure

             *          }

             *     }

             *     

             * Final conditions:

             * evaluate whether {

             * ensure that {

             *     when {

             *          the IUT created a BC-VCI

             *          }

             *       }

             * 

             * Expected behaviour:

             *  evaluate whether {

             *  ensure that {

             *     when {

             *          the IUT has finished the registration procedure

             *          }

             *     }

             *     

             * Final conditions:

             * evaluate whether {

             * ensure that {

             *     when {

             *          the IUT created a UC-VCI and a BC-VCI

             *          }

             *       }

             * 

             * Expected behaviour:

             *  evaluate whether {

             *  ensure that {

             *     when {

             *          the IUT has finished the registration procedure

             *          }

             *     }

             *     

             * Final conditions:

             * evaluate whether {

             * ensure that {

             *     when {

             *          the IUT created a BC-VCI and the MC-VCI(s)

             *          }

             *       }

             * 

             * Expected behaviour:

             *  evaluate whether {

             *  ensure that {

             *     when {

             *          the IUT has finished the registration procedure

             *          }

             *     }

             *     

             * Final conditions:

             * evaluate whether {

             * ensure that {

             *     when {

             *          the IUT created a UC-VCI and a BC-VCI and the MC-VCIs

             *          }

             *       }

             * 

             * Expected behaviour:

             *  evaluate whether {

             *  ensure that {

             *     when {

             *          the IUT receives the COMMAND "CIstateChng" with the value "deregister"

             *          }

             *     }

             *     

             * Final conditions:

             * evaluate whether {

             * ensure that {

             *     when {

             *          the IUT deregistered

             *          }

             *       }

             * 

             * Expected behaviour:

             *  evaluate whether {

             *  ensure that {

             *     when {

             *          the IUT receives the COMMAND "CIstateChng" with the value "inactivate"

             *          }

             *     }

             *     

             * Final conditions:

             * evaluate whether {

             * ensure that {

             *     when {

             *          the IUT performed inactivation

             *          }

             *       }

             * 

             * Expected behaviour:

             *  evaluate whether {

             *  ensure that {

             *     when {

             *          the IUT receives the COMMAND "CIstateChng" with the value "activate"

             *          }

             *       }

             * 

             * Expected behaviour:

             *  evaluate whether {

             *  ensure that {

             *     when {

             *          the IUT receives the COMMAND "CIstateChng" with the value "suspend"

             *          }

             *     }

             *     

             * Final conditions:

             * evaluate whether {

             * ensure that {

             *     when {

             *          the IUT performed suspension

             *          }

             *       }

             * 

             * Expected behaviour:

             *  evaluate whether {

             *  ensure that {

             *     when {

             *          the IUT receives the COMMAND "CIstateChng" with the value "resume"

             *          }

             *     }

             *     

             * Final conditions:

             * evaluate whether {

             * ensure that {

             *     when {

             *          the IUT performed resuming

             *          }

             *       }

             * 

             * Expected behaviour:

             *  evaluate whether {

             *  ensure that {

             *     when {

             *          the IUT receives the COMMAND "CONcmd"

             *          }

             *       }

             * 

             * Expected behaviour:

             *  evaluate whether {

             *  ensure that {

             *     when {

             *          the IUT is exposed to the signal of a related base station

             *          }

             *       }

             * 

             * Expected behaviour:

             *  evaluate whether {

             *  ensure that {

             *     when {

             *          the IUT receives the COMMAND "CIstateChng" with the value "disconnect"

             *          }

             *     }

             *     

             * Final conditions:

             * evaluate whether {

             * ensure that {

             *     when {

             *          the IUT performed disconnection

             *          }

             *       }

             * 

             * Expected behaviour:

             *  evaluate whether {

             *  ensure that {

             *     when {

             *          the IUT receives the MI-COMMAND "CIstateChng" with an invalid value of CIstatus

             *          }

             *     }

             *     

             * Final conditions:

             * evaluate whether {

             * ensure that {

             *     when {

             *          the IUT acknowledged with error code "INVALID COMMAND/REQUEST VALUE"

             *          }

             *       }

             * 

             * Expected behaviour:

             *  evaluate whether {

             *  ensure that {

             *     when {

             *          the IUT receives the MI-COMMAND "CONcmd" with value "connect"

             *          }

             *     }

             *     

             * Final conditions:

             * evaluate whether {

             * ensure that {

             *     when {

             *          the IUT acknowledged with error code "INVALID COMMAND/REQUEST VALUE"

             *          }

             *       }

             * 

             * Expected behaviour:

             *  evaluate whether {

             *  ensure that {

             *     when {

             *          the IUT receives the MI-GET command for a supported I-Paramter with Read/Write access or Read-only access

             *          }

             *       }

             * 

             * Expected behaviour:

             *  evaluate whether {

             *  ensure that {

             *     when {

             *          the IUT receives the MI-SET command for a supported I-Paramter with Read/Write access

             *          }

             *       }

             * 

             * Expected behaviour:

             *  evaluate whether {

             *  ensure that {

             *     when {

             *          the IUT receives the MI-COMMAND "Monitor" to activate monitoring of value changes for a supported I-Paramter

             *          }

             *       }

             * 

             * Expected behaviour:

             *  evaluate whether {

             *  ensure that {

             *     when {

             *          the IUT receives the MI-GET command for an I-Parameter which is not existent

             *          }

             *       }

             * 

             * Expected behaviour:

             *  evaluate whether {

             *  ensure that {

             *     when {

             *          the IUT receives the MI-SET command for an I-Parameter which is not supported

             *          }

             *       }

             * 

             * Expected behaviour:

             *  evaluate whether {

             *  ensure that {

             *     when {

             *          the IUT receives the MI-SET command for an I-Parameter with Read-only or Notify-only access

             *          }

             *       }

             * 

             * Expected behaviour:

             *  evaluate whether {

             *  ensure that {

             *     when {

             *          the IUT receives the MI-COMMAND "WakeUp"

             *          }

             *       }

             * 

             * Expected behaviour:

             *  evaluate whether {

             *  ensure that {

             *     when {

             *          the IUT receives the MI-COMMAND "RIcmd"

             *          }

             *       }

             * 

             * Expected behaviour:

             *  evaluate whether {

             *  ensure that {

             *     when {

             *          the IUT receives the MI-COMMAND "VCIcmd" requesting to reset a VCI

             *          }

             *       }

             * 

             * Expected behaviour:

             *  evaluate whether {

             *  ensure that {

             *     when {

             *          the IUT receives the MI-COMMAND "VCIcmd" requesting deletion of a VCI

             *          }

             *       }

             * 

             * Expected behaviour:

             *  evaluate whether {

             *  ensure that {

             *     when {

             *          the IUT receives the MI-COMMAND "VCIcmd" requesting creation of a new VCI

             *          }

             *       }

             * 

             * Expected behaviour:

             *  evaluate whether {

             *  ensure that {

             *     when {

             *          the IUT receives an invalid MI-COMMAND

             *          }

             *       }

             * 

             * Expected behaviour:

             *  evaluate whether {

             *  ensure that {

             *     when {

             *          the IUT receives an IN-UNITDATA.request for transmission of a packet to a MAC broadcast address

             *          }

             *       }

             * 

             * Expected behaviour:

             *  evaluate whether {

             *  ensure that {

             *     when {

             *          the IUT receives an IN-UNITDATA.request for transmission of a packet to a known MAC multicast address

             *          }

             *       }

             * 

             * Expected behaviour:

             *  evaluate whether {

             *  ensure that {

             *     when {

             *          the IUT receives an IN-UNITDATA.request for transmission of a packet to a known MAC unicast address

             *          }

             *       }

             * 

             * Expected behaviour:

             *  evaluate whether {

             *  ensure that {

             *     when {

             *          the IUT receives a frame addressed to a MAC broadcast address

             *          }

             *     }

             *     

             * Final conditions:

             * evaluate whether {

             * ensure that {

             *     when {

             *          the the IUT notified the received frame

             *          }

             *       }

             * 

             * Expected behaviour:

             *  evaluate whether {

             *  ensure that {

             *     when {

             *          the IUT receives a frame addressed to a MAC multicast address

             *          }

             *     }

             *     

             * Final conditions:

             * evaluate whether {

             * ensure that {

             *     when {

             *          the the IUT notified the received frame

             *          }

             *       }

             * 

             * Expected behaviour:

             *  evaluate whether {

             *  ensure that {

             *     when {

             *          the IUT receives a frame addressed to the MAC unicast address of the CI of the IUT

             *          }

             *     }

             *     

             * Final conditions:

             * evaluate whether {

             * ensure that {

             *     when {

             *          the the IUT notified the received frame

             *          }

             *       }

             * 

             * Expected behaviour:

             *  evaluate whether {

             *  ensure that {

             *     when {

             *          the IUT receives the COMMAND "CIstateChng" with the value "resume"

             *          }

             *       }

             * 

             * Expected behaviour:

             *  evaluate whether {

             *  ensure that {

             *     when {

             *          the IUT needs to register for cross-CI prioritization as a potential victim of interference

             *          }

             *       }

             * 

             * Expected behaviour:

             *  evaluate whether {

             *  ensure that {

             *     when {

             *          the IUT receives an IN-UNITDATA.request with priority value of at least equal to the value of the I-Parameter "MinPrioCrossCI"

             *          }

             *     }

             *     

             * Final conditions:

             * evaluate whether {

             * ensure that {

             *     when {

             *          the IUT received an MI-COMMAND "RTSackCmd" granting prioritization

             *          }

             *       }

             * 

             * Expected behaviour:

             *  evaluate whether {

             *  ensure that {

             *     when {

             *          the IUT receives an IN-UNITDATA.request with priority value of at least equal to the value of the I-Parameter "MinPrioCrossCI"

             *          }

             *     }

             *     

             * Final conditions:

             * evaluate whether {

             * ensure that {

             *     when {

             *          the IUT received an MI-COMMAND "RTSackCmd" ignoring prioritization

             *          }

             *       }

             * 

             * Expected behaviour:

             *  evaluate whether {

             *  ensure that {

             *     when {

             *          the IUT receives an IN-UNITDATA.request with priority value of at least equal to the value of the I-Parameter "MinPrioCrossCI"

             *          }

             *     }

             *     

             * Final conditions:

             * evaluate whether {

             * ensure that {

             *     when {

             *          the T_DummyAckReq timer expired

             *          }

             *       }

             * 

             * Expected behaviour:

             *  evaluate whether {

             *  ensure that {

             *     when {

             *          the IUT receives an IN-UNITDATA.request with priority value less than the value of the I-Parameter "MinPrioCrossCI"

             *          }

             *       }

             * 

             * Expected behaviour:

             *  evaluate whether {

             *  ensure that {

             *     when {

             *          the IUT receives an MI-COMMAND "RTScmd" requesting to grant prioritization to another CI 

             *          }

             *       }

             * 

             * Expected behaviour:

             *  evaluate whether {

             *  ensure that {

             *     when {

             *          the IUT receives an IN-UNITDATA.request 

             *          }

             *       }

             * 

             * Expected behaviour:

             *  evaluate whether {

             *  ensure that {

             *     when {

             *          the IUT receives an IN-UNITDATA.request with priority value less than the value of the I-Parameter "MinimumUserPriority" 

             *          }

             *       }

             * 

             * Expected behaviour:

             *  evaluate whether {

             *  ensure that {

             *     when {

             *          the IUT receives an IN-UNITDATA.request with priority value less than the value of the I-Parameter "MinimumUserPriority" 

             *          }