| Requirements |
R1 | Requirement per command | FAIL | - no requirements found (searched: nothing); cannot trace 3 command(s)
|
R2 | Requirement per telemetry channel | FAIL | - no requirements found (searched: nothing); cannot trace 2 telemetry channel(s)
|
R3 | Requirement per event | FAIL | - no requirements found (searched: nothing); cannot trace 1 event(s)
|
R4 | Requirement per parameter | FAIL | - no requirements found (searched: nothing); cannot trace 1 parameter(s)
|
R5 | Requirement per data product | FAIL | - no requirements found (searched: nothing); cannot trace 4 data product(s)
|
R6 | Requirement per port/interface | FAIL | - no requirements found (searched: nothing); cannot trace 4 port(s)
|
R7 | Requirement parent traceability | SKIP | no requirements found |
R8 | Requirement verification method | SKIP | no requirements found |
| Design |
D1 | Input port handlers defined | PASS | 2 input port(s) checked |
D2 | Command handlers defined | PASS | 3 command(s) checked |
D3 | State machine actions defined | SKIP | no state machines declared |
D4 | Data product containers have default priority | FAIL | - data product container 'Product' has no 'default priority' clause
|
D5 | Requirements mapped to design artifacts | SKIP | no requirements found |
| Implementation |
I1 | Source dependencies listed in CMakeLists | FAIL | - dependency 'Fw/DataStructures' (from #include "Fw/DataStructures/FifoQueue.hpp") is not declared in CMakeLists.txt (add it to DEPENDS as Fw_DataStructures)
- dependency 'Fw/Types' (from #include "Fw/Types/StringTemplate.hpp") is not declared in CMakeLists.txt (add it to DEPENDS as Fw_Types)
|
I3 | Data product priorities configurable | FAIL | - container 'Product' priority is not configurable: no command or parameter mentioning 'priority' found
|
| Unit Testing |
U3 | Unit-test dependencies in CMakeLists | SKIP | no unit-test sources found |