* Preconditions: Applicable to different components under test involved in the scenario. Monitored code being instrumented (possibly configured with noise configuration). Complete source code with testbed available. * Input conditions / steps: Different simulated radar data and camera inputs to be processed by detection algorithm. * Expected result: No data-race and data inconsisteny should be notified.
* Preconditions: C/C++ source code with rules for compilation. * Input conditions / steps: Execute static analysis focused on specific type of software bugs. * Expected result: True-positives or false-positives should be notified.