| Requirements |
R1 | Requirement per command | FAIL | - command 'PRM_SAVE_FILE' has no requirement referencing it (add a requirement mentioning 'PRM_SAVE_FILE')
- command 'PRM_LOAD_FILE' has no requirement referencing it (add a requirement mentioning 'PRM_LOAD_FILE')
- command 'PRM_COMMIT_STAGED' has no requirement referencing it (add a requirement mentioning 'PRM_COMMIT_STAGED')
|
R2 | Requirement per telemetry channel | SKIP | no telemetry channels declared in the FPP model |
R3 | Requirement per event | FAIL | - event 'PrmIdNotFound' has no requirement referencing it (add a requirement mentioning 'PrmIdNotFound')
- event 'PrmIdUpdated' has no requirement referencing it (add a requirement mentioning 'PrmIdUpdated')
- event 'PrmDbFull' has no requirement referencing it (add a requirement mentioning 'PrmDbFull')
- event 'PrmIdAdded' has no requirement referencing it (add a requirement mentioning 'PrmIdAdded')
- event 'PrmFileWriteError' has no requirement referencing it (add a requirement mentioning 'PrmFileWriteError')
- event 'PrmFileSaveComplete' has no requirement referencing it (add a requirement mentioning 'PrmFileSaveComplete')
- event 'PrmFileReadError' has no requirement referencing it (add a requirement mentioning 'PrmFileReadError')
- event 'PrmFileLoadComplete' has no requirement referencing it (add a requirement mentioning 'PrmFileLoadComplete')
- event 'PrmDbCommitComplete' has no requirement referencing it (add a requirement mentioning 'PrmDbCommitComplete')
- event 'PrmDbCopyAllComplete' has no requirement referencing it (add a requirement mentioning 'PrmDbCopyAllComplete')
- event 'PrmDbFileLoadFailed' has no requirement referencing it (add a requirement mentioning 'PrmDbFileLoadFailed')
- event 'PrmDbFileLoadInvalidAction' has no requirement referencing it (add a requirement mentioning 'PrmDbFileLoadInvalidAction')
- event 'PrmFileBadCrc' has no requirement referencing it (add a requirement mentioning 'PrmFileBadCrc')
|
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 | FAIL | - port 'getPrm' has no requirement referencing it (add a requirement mentioning 'getPrm')
- port 'setPrm' has no requirement referencing it (add a requirement mentioning 'setPrm')
- port 'pingIn' has no requirement referencing it (add a requirement mentioning 'pingIn')
- port 'pingOut' has no requirement referencing it (add a requirement mentioning 'pingOut')
|
R7 | Requirement parent traceability | FAIL | - requirement 'PRMDB-001' (/home/runner/work/fprime/fprime/Svc/PrmDb/docs/sdd.md:13) has no parent trace (add a Parent/Trace column entry linking a parent requirement)
- requirement 'PRMDB-002' (/home/runner/work/fprime/fprime/Svc/PrmDb/docs/sdd.md:14) has no parent trace (add a Parent/Trace column entry linking a parent requirement)
- requirement 'PRMDB-003' (/home/runner/work/fprime/fprime/Svc/PrmDb/docs/sdd.md:15) has no parent trace (add a Parent/Trace column entry linking a parent requirement)
- requirement 'PRMDB-004' (/home/runner/work/fprime/fprime/Svc/PrmDb/docs/sdd.md:16) has no parent trace (add a Parent/Trace column entry linking a parent requirement)
|
R8 | Requirement verification method | PASS | 4 requirement(s) checked |
| Design |
D1 | Input port handlers defined | PASS | 3 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 | SKIP | no data product containers declared |
D5 | Requirements mapped to design artifacts | FAIL | - requirement 'PRMDB-001' (/home/runner/work/fprime/fprime/Svc/PrmDb/docs/sdd.md:13) is not mapped to any design artifact (add a Design column entry or reference it in a design section)
- requirement 'PRMDB-002' (/home/runner/work/fprime/fprime/Svc/PrmDb/docs/sdd.md:14) is not mapped to any design artifact (add a Design column entry or reference it in a design section)
- requirement 'PRMDB-003' (/home/runner/work/fprime/fprime/Svc/PrmDb/docs/sdd.md:15) is not mapped to any design artifact (add a Design column entry or reference it in a design section)
- requirement 'PRMDB-004' (/home/runner/work/fprime/fprime/Svc/PrmDb/docs/sdd.md:16) is not mapped to any design artifact (add a Design column entry or reference it in a design section)
|
| Implementation |
I1 | Source dependencies listed in CMakeLists | FAIL | - dependency 'Fw/DataStructures' (from #include "Fw/DataStructures/ArrayMap.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/File.hpp") is not declared in CMakeLists.txt (add it to DEPENDS as Os)
- dependency 'Utils/Hash' (from #include "Utils/Hash/Hash.hpp") is not declared in CMakeLists.txt (add it to DEPENDS as Utils_Hash)
|
I3 | Data product priorities configurable | SKIP | no data product containers declared |
| Unit Testing |
U3 | Unit-test dependencies in CMakeLists | FAIL | - unit-test dependency 'Fw/Com' (from #include "Fw/Com/ComBuffer.hpp") is not declared in the module's CMake files (add it to UT_DEPENDS/DEPENDS)
- unit-test dependency 'Fw/Obj' (from #include "Fw/Obj/SimpleObjRegistry.hpp") is not declared in the module's CMake files (add it to UT_DEPENDS/DEPENDS)
- unit-test dependency 'Os' (from #include "Os/Delegate.hpp") is not declared in the module's CMake files (add it to UT_DEPENDS/DEPENDS)
- unit-test dependency 'Os/Stub' (from #include "Os/Stub/test/File.hpp") is not declared in the module's CMake files (add it to UT_DEPENDS/DEPENDS)
- unit-test dependency 'Utils/Hash' (from #include "Utils/Hash/Hash.hpp") is not declared in the module's CMake files (add it to UT_DEPENDS/DEPENDS)
|