| Requirements |
R1 | Requirement per command | SKIP | no commands declared in the FPP model |
R2 | Requirement per telemetry channel | SKIP | no telemetry channels declared in the FPP model |
R3 | Requirement per event | SKIP | no events declared in the FPP model |
R4 | Requirement per parameter | SKIP | no parameters declared in the FPP model |
R5 | Requirement per data product | SKIP | no data products declared in the FPP model |
R6 | Requirement per port/interface | SKIP | no ports declared in the FPP model |
R7 | Requirement parent traceability | FAIL | - requirement 'SVC-DPCOMPRESSION-001' (/home/runner/work/fprime/fprime/Svc/Subtopologies/DpCompression/docs/sdd.md:81) has no parent trace (add a Parent/Trace column entry linking a parent requirement)
- requirement 'SVC-DPCOMPRESSION-002' (/home/runner/work/fprime/fprime/Svc/Subtopologies/DpCompression/docs/sdd.md:82) has no parent trace (add a Parent/Trace column entry linking a parent requirement)
- requirement 'SVC-DPCOMPRESSION-003' (/home/runner/work/fprime/fprime/Svc/Subtopologies/DpCompression/docs/sdd.md:83) has no parent trace (add a Parent/Trace column entry linking a parent requirement)
- requirement 'SVC-DPCOMPRESSION-004' (/home/runner/work/fprime/fprime/Svc/Subtopologies/DpCompression/docs/sdd.md:84) has no parent trace (add a Parent/Trace column entry linking a parent requirement)
- requirement 'SVC-DPCOMPRESSION-005' (/home/runner/work/fprime/fprime/Svc/Subtopologies/DpCompression/docs/sdd.md:85) has no parent trace (add a Parent/Trace column entry linking a parent requirement)
|
R8 | Requirement verification method | FAIL | - requirement 'SVC-DPCOMPRESSION-001' (/home/runner/work/fprime/fprime/Svc/Subtopologies/DpCompression/docs/sdd.md:81) has no verification method (expected one of Test/Analysis/Inspection/Demonstration, got: '<empty>')
- requirement 'SVC-DPCOMPRESSION-002' (/home/runner/work/fprime/fprime/Svc/Subtopologies/DpCompression/docs/sdd.md:82) has no verification method (expected one of Test/Analysis/Inspection/Demonstration, got: '<empty>')
- requirement 'SVC-DPCOMPRESSION-003' (/home/runner/work/fprime/fprime/Svc/Subtopologies/DpCompression/docs/sdd.md:83) has no verification method (expected one of Test/Analysis/Inspection/Demonstration, got: '<empty>')
- requirement 'SVC-DPCOMPRESSION-004' (/home/runner/work/fprime/fprime/Svc/Subtopologies/DpCompression/docs/sdd.md:84) has no verification method (expected one of Test/Analysis/Inspection/Demonstration, got: '<empty>')
- requirement 'SVC-DPCOMPRESSION-005' (/home/runner/work/fprime/fprime/Svc/Subtopologies/DpCompression/docs/sdd.md:85) has no verification method (expected one of Test/Analysis/Inspection/Demonstration, got: '<empty>')
|
| Design |
D1 | Input port handlers defined | SKIP | no typed input ports declared |
D2 | Command handlers defined | SKIP | no commands declared |
D3 | State machine actions defined | SKIP | no state machines declared |
D4 | Data product containers have default priority | SKIP | no data product containers declared |
D5 | Requirements mapped to design artifacts | PASS | 5 requirement(s) checked |
| Implementation |
I1 | Source dependencies listed in CMakeLists | FAIL | - dependency 'Fw/Types' (from #include "Fw/Types/MallocAllocator.hpp") is not declared in CMakeLists.txt (add it to DEPENDS as Fw_Types)
- dependency 'Os' (from #include "Os/FileSystem.hpp") is not declared in CMakeLists.txt (add it to DEPENDS as Os)
- dependency 'Svc/BufferManager' (from #include "Svc/BufferManager/BufferManager.hpp") is not declared in CMakeLists.txt (add it to DEPENDS as Svc_BufferManager)
|
I3 | Data product priorities configurable | SKIP | no data product containers declared |
| Unit Testing |
U3 | Unit-test dependencies in CMakeLists | SKIP | no unit-test sources found |