| Requirements |
R1 | Requirement per command | FAIL | - command 'BUILD_CATALOG' has no requirement referencing it (add a requirement mentioning 'BUILD_CATALOG')
- command 'START_XMIT_CATALOG' has no requirement referencing it (add a requirement mentioning 'START_XMIT_CATALOG')
- command 'STOP_XMIT_CATALOG' has no requirement referencing it (add a requirement mentioning 'STOP_XMIT_CATALOG')
- command 'CLEAR_CATALOG' has no requirement referencing it (add a requirement mentioning 'CLEAR_CATALOG')
|
R2 | Requirement per telemetry channel | FAIL | - telemetry channel 'CatalogDps' has no requirement referencing it (add a requirement mentioning 'CatalogDps')
- telemetry channel 'DpsSent' has no requirement referencing it (add a requirement mentioning 'DpsSent')
|
R3 | Requirement per event | FAIL | - event 'DirectoryOpenError' has no requirement referencing it (add a requirement mentioning 'DirectoryOpenError')
- event 'ProcessingDirectory' has no requirement referencing it (add a requirement mentioning 'ProcessingDirectory')
- event 'ProcessingFile' has no requirement referencing it (add a requirement mentioning 'ProcessingFile')
- event 'ProcessingDirectoryComplete' has no requirement referencing it (add a requirement mentioning 'ProcessingDirectoryComplete')
- event 'DirectoryNotManaged' has no requirement referencing it (add a requirement mentioning 'DirectoryNotManaged')
- event 'CatalogXmitStopped' has no requirement referencing it (add a requirement mentioning 'CatalogXmitStopped')
- event 'CatalogXmitCompleted' has no requirement referencing it (add a requirement mentioning 'CatalogXmitCompleted')
- event 'SendingProduct' has no requirement referencing it (add a requirement mentioning 'SendingProduct')
- event 'ProductComplete' has no requirement referencing it (add a requirement mentioning 'ProductComplete')
- event 'CatalogFull' has no requirement referencing it (add a requirement mentioning 'CatalogFull')
- event 'FileOpenError' has no requirement referencing it (add a requirement mentioning 'FileOpenError')
- event 'FileReadError' has no requirement referencing it (add a requirement mentioning 'FileReadError')
- event 'FileHdrError' has no requirement referencing it (add a requirement mentioning 'FileHdrError')
- event 'FileHdrDesError' has no requirement referencing it (add a requirement mentioning 'FileHdrDesError')
- event 'DpInsertError' has no requirement referencing it (add a requirement mentioning 'DpInsertError')
- event 'DpDuplicate' has no requirement referencing it (add a requirement mentioning 'DpDuplicate')
- event 'DpCatalogFull' has no requirement referencing it (add a requirement mentioning 'DpCatalogFull')
- event 'FileSizeError' has no requirement referencing it (add a requirement mentioning 'FileSizeError')
- event 'StateFileOpenError' has no requirement referencing it (add a requirement mentioning 'StateFileOpenError')
- event 'StateFileReadError' has no requirement referencing it (add a requirement mentioning 'StateFileReadError')
- ... 12 more
|
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 'pingIn' has no requirement referencing it (add a requirement mentioning 'pingIn')
- port 'fileDone' has no requirement referencing it (add a requirement mentioning 'fileDone')
- port 'addToCat' has no requirement referencing it (add a requirement mentioning 'addToCat')
- port 'pingOut' has no requirement referencing it (add a requirement mentioning 'pingOut')
- port 'fileOut' has no requirement referencing it (add a requirement mentioning 'fileOut')
|
R7 | Requirement parent traceability | FAIL | - requirement 'SVC-DPCAT-001' (/home/runner/work/fprime/fprime/Svc/DpCatalog/docs/sdd.md:26) has no parent trace (add a Parent/Trace column entry linking a parent requirement)
- requirement 'SVC-DPCAT-002' (/home/runner/work/fprime/fprime/Svc/DpCatalog/docs/sdd.md:27) has no parent trace (add a Parent/Trace column entry linking a parent requirement)
- requirement 'SVC-DPCAT-003' (/home/runner/work/fprime/fprime/Svc/DpCatalog/docs/sdd.md:28) has no parent trace (add a Parent/Trace column entry linking a parent requirement)
- requirement 'SVC-DPCAT-004' (/home/runner/work/fprime/fprime/Svc/DpCatalog/docs/sdd.md:29) has no parent trace (add a Parent/Trace column entry linking a parent requirement)
- requirement 'SVC-DPCAT-005' (/home/runner/work/fprime/fprime/Svc/DpCatalog/docs/sdd.md:30) has no parent trace (add a Parent/Trace column entry linking a parent requirement)
- requirement 'SVC-DPCAT-006' (/home/runner/work/fprime/fprime/Svc/DpCatalog/docs/sdd.md:31) has no parent trace (add a Parent/Trace column entry linking a parent requirement)
- requirement 'SVC-DPCAT-007' (/home/runner/work/fprime/fprime/Svc/DpCatalog/docs/sdd.md:32) has no parent trace (add a Parent/Trace column entry linking a parent requirement)
- requirement 'SVC-DPCAT-008' (/home/runner/work/fprime/fprime/Svc/DpCatalog/docs/sdd.md:33) has no parent trace (add a Parent/Trace column entry linking a parent requirement)
- requirement 'SVC-DPCAT-009' (/home/runner/work/fprime/fprime/Svc/DpCatalog/docs/sdd.md:34) has no parent trace (add a Parent/Trace column entry linking a parent requirement)
- requirement 'SVC-DPCAT-010' (/home/runner/work/fprime/fprime/Svc/DpCatalog/docs/sdd.md:35) has no parent trace (add a Parent/Trace column entry linking a parent requirement)
- requirement 'SVC-DPCAT-011' (/home/runner/work/fprime/fprime/Svc/DpCatalog/docs/sdd.md:36) has no parent trace (add a Parent/Trace column entry linking a parent requirement)
- requirement 'SVC-DPCAT-012' (/home/runner/work/fprime/fprime/Svc/DpCatalog/docs/sdd.md:37) has no parent trace (add a Parent/Trace column entry linking a parent requirement)
- requirement 'SVC-DPCAT-013' (/home/runner/work/fprime/fprime/Svc/DpCatalog/docs/sdd.md:38) has no parent trace (add a Parent/Trace column entry linking a parent requirement)
|
R8 | Requirement verification method | PASS | 13 requirement(s) checked |
| Design |
D1 | Input port handlers defined | PASS | 3 input port(s) checked |
D2 | Command handlers defined | PASS | 4 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 'SVC-DPCAT-001' (/home/runner/work/fprime/fprime/Svc/DpCatalog/docs/sdd.md:26) is not mapped to any design artifact (add a Design column entry or reference it in a design section)
- requirement 'SVC-DPCAT-002' (/home/runner/work/fprime/fprime/Svc/DpCatalog/docs/sdd.md:27) is not mapped to any design artifact (add a Design column entry or reference it in a design section)
- requirement 'SVC-DPCAT-003' (/home/runner/work/fprime/fprime/Svc/DpCatalog/docs/sdd.md:28) is not mapped to any design artifact (add a Design column entry or reference it in a design section)
- requirement 'SVC-DPCAT-004' (/home/runner/work/fprime/fprime/Svc/DpCatalog/docs/sdd.md:29) is not mapped to any design artifact (add a Design column entry or reference it in a design section)
- requirement 'SVC-DPCAT-005' (/home/runner/work/fprime/fprime/Svc/DpCatalog/docs/sdd.md:30) is not mapped to any design artifact (add a Design column entry or reference it in a design section)
- requirement 'SVC-DPCAT-006' (/home/runner/work/fprime/fprime/Svc/DpCatalog/docs/sdd.md:31) is not mapped to any design artifact (add a Design column entry or reference it in a design section)
- requirement 'SVC-DPCAT-007' (/home/runner/work/fprime/fprime/Svc/DpCatalog/docs/sdd.md:32) is not mapped to any design artifact (add a Design column entry or reference it in a design section)
- requirement 'SVC-DPCAT-008' (/home/runner/work/fprime/fprime/Svc/DpCatalog/docs/sdd.md:33) is not mapped to any design artifact (add a Design column entry or reference it in a design section)
- requirement 'SVC-DPCAT-009' (/home/runner/work/fprime/fprime/Svc/DpCatalog/docs/sdd.md:34) is not mapped to any design artifact (add a Design column entry or reference it in a design section)
- requirement 'SVC-DPCAT-010' (/home/runner/work/fprime/fprime/Svc/DpCatalog/docs/sdd.md:35) is not mapped to any design artifact (add a Design column entry or reference it in a design section)
- requirement 'SVC-DPCAT-011' (/home/runner/work/fprime/fprime/Svc/DpCatalog/docs/sdd.md:36) is not mapped to any design artifact (add a Design column entry or reference it in a design section)
- requirement 'SVC-DPCAT-012' (/home/runner/work/fprime/fprime/Svc/DpCatalog/docs/sdd.md:37) is not mapped to any design artifact (add a Design column entry or reference it in a design section)
- requirement 'SVC-DPCAT-013' (/home/runner/work/fprime/fprime/Svc/DpCatalog/docs/sdd.md:38) 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/ExternalArray.hpp") is not declared in CMakeLists.txt (add it to DEPENDS as Fw_DataStructures)
- dependency 'Fw/Dp' (from #include "Fw/Dp/DpContainer.hpp") is not declared in CMakeLists.txt (add it to DEPENDS as Fw_Dp)
- dependency 'Fw/Types' (from #include "Fw/Types/StringUtils.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/Dp' (from #include "Fw/Dp/DpContainer.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/FileNameString.hpp") is not declared in the module's CMake files (add it to UT_DEPENDS/DEPENDS)
- unit-test dependency 'Os' (from #include "Os/File.hpp") is not declared in the module's CMake files (add it to UT_DEPENDS/DEPENDS)
|