| Requirements |
R1 | Requirement per command | FAIL | - no requirements found (searched: /home/runner/work/fprime/fprime/Svc/WasmSequencer/docs/sdd.md); cannot trace 12 command(s)
|
R2 | Requirement per telemetry channel | FAIL | - no requirements found (searched: /home/runner/work/fprime/fprime/Svc/WasmSequencer/docs/sdd.md); cannot trace 9 telemetry channel(s)
|
R3 | Requirement per event | FAIL | - no requirements found (searched: /home/runner/work/fprime/fprime/Svc/WasmSequencer/docs/sdd.md); cannot trace 43 event(s)
|
R4 | Requirement per parameter | FAIL | - no requirements found (searched: /home/runner/work/fprime/fprime/Svc/WasmSequencer/docs/sdd.md); cannot trace 3 parameter(s)
|
R5 | Requirement per data product | SKIP | no data products declared in the FPP model |
R6 | Requirement per port/interface | FAIL | - no requirements found (searched: /home/runner/work/fprime/fprime/Svc/WasmSequencer/docs/sdd.md); cannot trace 12 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 | 6 input port(s) checked |
D2 | Command handlers defined | PASS | 12 command(s) checked |
D3 | State machine actions defined | FAIL | - state machine 'ControllerStateMachine' action 'processInvoke' has no 'action_processInvoke' implementation
- state machine 'ControllerStateMachine' action 'setCancelRequested' has no 'action_setCancelRequested' implementation
- state machine 'ControllerStateMachine' action 'clearCancelRequested' has no 'action_clearCancelRequested' implementation
- state machine 'ControllerStateMachine' action 'cancelPendingRequest' has no 'action_cancelPendingRequest' implementation
- state machine 'ControllerStateMachine' action 'respond_noblock_OK' has no 'action_respond_noblock_OK' implementation
- state machine 'ControllerStateMachine' action 'respond_ERROR' has no 'action_respond_ERROR' implementation
- state machine 'ControllerStateMachine' action 'incrementSequenceFailure' has no 'action_incrementSequenceFailure' implementation
- state machine 'ControllerStateMachine' action 'respondInvoke_BUSY' has no 'action_respondInvoke_BUSY' implementation
- state machine 'ControllerStateMachine' action 'respondInvoke_ERROR' has no 'action_respondInvoke_ERROR' implementation
- state machine 'ControllerStateMachine' action 'respondLoad_BUSY' has no 'action_respondLoad_BUSY' implementation
- state machine 'ControllerStateMachine' action 'respond_block_OK' has no 'action_respond_block_OK' implementation
- state machine 'ControllerStateMachine' action 'respond_block_ERROR' has no 'action_respond_block_ERROR' implementation
- state machine 'ControllerStateMachine' action 'load' has no 'action_load' implementation
- state machine 'ControllerStateMachine' action 'invokeStart' has no 'action_invokeStart' implementation
- state machine 'ControllerStateMachine' action 'invokeMain' has no 'action_invokeMain' implementation
- state machine 'ControllerStateMachine' action 'reportModuleInvalidMain' has no 'action_reportModuleInvalidMain' implementation
- state machine 'ControllerStateMachine' action 'reportModuleMainInvokeFailed' has no 'action_reportModuleMainInvokeFailed' implementation
- state machine 'ControllerStateMachine' action 'reportModuleStartInvokeFailed' has no 'action_reportModuleStartInvokeFailed' implementation
- state machine 'ControllerStateMachine' action 'reportModuleStarted' has no 'action_reportModuleStarted' implementation
- state machine 'ControllerStateMachine' action 'reportModuleSucceeded' has no 'action_reportModuleSucceeded' implementation
- ... 31 more
|
D4 | Data product containers have default priority | SKIP | no data product containers declared |
D5 | Requirements mapped to design artifacts | SKIP | no requirements found |
| Implementation |
I1 | Source dependencies listed in CMakeLists | FAIL | - dependency 'Fw/Com' (from #include "Fw/Com/ComPacket.hpp") is not declared in CMakeLists.txt (add it to DEPENDS as Fw_Com)
- 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/Assert.hpp") is not declared in CMakeLists.txt (add it to DEPENDS as Fw_Types)
- dependency 'Os' (from #include "Os/Mutex.hpp") is not declared in CMakeLists.txt (add it to DEPENDS as Os)
|
I3 | Data product priorities configurable | SKIP | no data product containers declared |
| Unit Testing |
U3 | Unit-test dependencies in CMakeLists | FAIL | - unit-test dependency 'Fw/Port' (from #include "Fw/Port/InputPortBase.hpp") is not declared in the module's CMake files (add it to UT_DEPENDS/DEPENDS)
- unit-test dependency 'Fw/Types' (from #include "Fw/Types/MallocAllocator.hpp") is not declared in the module's CMake files (add it to UT_DEPENDS/DEPENDS)
- unit-test dependency 'Os' (from #include "Os/FileSystem.hpp") is not declared in the module's CMake files (add it to UT_DEPENDS/DEPENDS)
|