UC2_R_14

Quality of code.
14
Transmission line quality of code: sender and receiver source code implementation should be free of generic software bugs known as Common Weakness Enumeration (e.g. null-pointer dereference, buffer overflow, use after free, data-race, deadlock, and others)
Safety
Requirement Test Cases
VALU3S Framework
Contents
UC2_TC_25

* Preconditions: Applicable to components under test involved in the scenario in roles of sender and receiver: vehicle, remote station * Input conditions / steps: Execute static analysis focused on specific type of software bugs. * Expected result: True-positives or false-positives should be notified.