ILT-U-1743
Software static test: Code verification to ensure safety requirements.
DETERMINATION | METHOD |
| 1. One entry and one exit point in subprograms and functions. 2. No dynamics objects or variables, or else online test during their creation, or else justify their usage. 3. Initialization of variables. 4. No multiple use of variable names. 5. Avoid global variables or else justify their usage. 6. Limited use of pointers. 7. No implicit type conversions. 8. No hidden data flow or control flow. 9. No unconditional jumps. 10. No recursions. | 1. ISO 26262-8 Clause 9 2. ISO 26262-6 Clause 8.4.5, table 9 |
