UC1_R_18

Software should not contain critical CWEs.
18
The source code of detection algorithm and controller of data transfer should be free of generic software bugs namely, but not limited to, null-pointer dereference, buffer overflow, use after free, data-race, deadlock, and others CWEs.
Safety
Requirement Test Cases
VALU3S Framework
Contents
UC1_TC_23

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

UC1_TC_24

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