| Requirements |
R1 | Requirement per command | FAIL | - command 'SendFile' has no requirement referencing it (add a requirement mentioning 'SendFile')
- command 'PlaybackDirectory' has no requirement referencing it (add a requirement mentioning 'PlaybackDirectory')
- command 'PollDirectory' has no requirement referencing it (add a requirement mentioning 'PollDirectory')
- command 'StopPollDirectory' has no requirement referencing it (add a requirement mentioning 'StopPollDirectory')
- command 'SetChannelFlow' has no requirement referencing it (add a requirement mentioning 'SetChannelFlow')
- command 'SuspendResumeTransaction' has no requirement referencing it (add a requirement mentioning 'SuspendResumeTransaction')
- command 'CancelTransaction' has no requirement referencing it (add a requirement mentioning 'CancelTransaction')
- command 'AbandonTransaction' has no requirement referencing it (add a requirement mentioning 'AbandonTransaction')
- command 'ResetCounters' has no requirement referencing it (add a requirement mentioning 'ResetCounters')
|
R2 | Requirement per telemetry channel | FAIL | - telemetry channel 'ChannelTelemetry' has no requirement referencing it (add a requirement mentioning 'ChannelTelemetry')
|
R3 | Requirement per event | FAIL | - event 'InvalidChannel' has no requirement referencing it (add a requirement mentioning 'InvalidChannel')
- event 'TxFileQueued' has no requirement referencing it (add a requirement mentioning 'TxFileQueued')
- event 'UnsupportedSendFileArguments' has no requirement referencing it (add a requirement mentioning 'UnsupportedSendFileArguments')
- event 'SendFileInitiateFail' has no requirement referencing it (add a requirement mentioning 'SendFileInitiateFail')
- event 'PlaybackInitiated' has no requirement referencing it (add a requirement mentioning 'PlaybackInitiated')
- event 'PollDirInitiated' has no requirement referencing it (add a requirement mentioning 'PollDirInitiated')
- event 'PollDirStopped' has no requirement referencing it (add a requirement mentioning 'PollDirStopped')
- event 'PollDirBusy' has no requirement referencing it (add a requirement mentioning 'PollDirBusy')
- event 'PollDirNotActive' has no requirement referencing it (add a requirement mentioning 'PollDirNotActive')
- event 'SetFlowState' has no requirement referencing it (add a requirement mentioning 'SetFlowState')
- event 'InvalidChannelPoll' has no requirement referencing it (add a requirement mentioning 'InvalidChannelPoll')
- event 'InvalidPollInterval' has no requirement referencing it (add a requirement mentioning 'InvalidPollInterval')
- event 'FailKeepFileMove' has no requirement referencing it (add a requirement mentioning 'FailKeepFileMove')
- event 'FailPollFileMove' has no requirement referencing it (add a requirement mentioning 'FailPollFileMove')
- event 'FailPduHeaderDeserialization' has no requirement referencing it (add a requirement mentioning 'FailPduHeaderDeserialization')
- event 'FailPduSerialization' has no requirement referencing it (add a requirement mentioning 'FailPduSerialization')
- event 'FailMetadataPduDeserialization' has no requirement referencing it (add a requirement mentioning 'FailMetadataPduDeserialization')
- event 'FailFileDataPduDeserialization' has no requirement referencing it (add a requirement mentioning 'FailFileDataPduDeserialization')
- event 'FailEofPduDeserialization' has no requirement referencing it (add a requirement mentioning 'FailEofPduDeserialization')
- event 'FailAckPduDeserialization' has no requirement referencing it (add a requirement mentioning 'FailAckPduDeserialization')
- ... 51 more
|
R4 | Requirement per parameter | FAIL | - parameter 'LocalEid' has no requirement referencing it (add a requirement mentioning 'LocalEid')
- parameter 'OutgoingFileChunkSize' has no requirement referencing it (add a requirement mentioning 'OutgoingFileChunkSize')
- parameter 'RxCrcCalcBytesPerCycle' has no requirement referencing it (add a requirement mentioning 'RxCrcCalcBytesPerCycle')
- parameter 'PostInactivitySendRetries' has no requirement referencing it (add a requirement mentioning 'PostInactivitySendRetries')
- parameter 'FileInDefaultChannel' has no requirement referencing it (add a requirement mentioning 'FileInDefaultChannel')
- parameter 'FileInDefaultDestEntityId' has no requirement referencing it (add a requirement mentioning 'FileInDefaultDestEntityId')
- parameter 'FileInDefaultClass' has no requirement referencing it (add a requirement mentioning 'FileInDefaultClass')
- parameter 'FileInDefaultKeep' has no requirement referencing it (add a requirement mentioning 'FileInDefaultKeep')
- parameter 'FileInDefaultPriority' has no requirement referencing it (add a requirement mentioning 'FileInDefaultPriority')
- parameter 'ChannelConfig' has no requirement referencing it (add a requirement mentioning 'ChannelConfig')
|
R5 | Requirement per data product | SKIP | no data products declared in the FPP model |
R6 | Requirement per port/interface | FAIL | - port 'run1Hz' has no requirement referencing it (add a requirement mentioning 'run1Hz')
- port 'pingIn' has no requirement referencing it (add a requirement mentioning 'pingIn')
- port 'dataReturnIn' has no requirement referencing it (add a requirement mentioning 'dataReturnIn')
- port 'dataIn' has no requirement referencing it (add a requirement mentioning 'dataIn')
- port 'fileIn' has no requirement referencing it (add a requirement mentioning 'fileIn')
- port 'pingOut' has no requirement referencing it (add a requirement mentioning 'pingOut')
- port 'dataOut' has no requirement referencing it (add a requirement mentioning 'dataOut')
- port 'bufferAllocate' has no requirement referencing it (add a requirement mentioning 'bufferAllocate')
- port 'bufferDeallocate' has no requirement referencing it (add a requirement mentioning 'bufferDeallocate')
- port 'dataInReturn' has no requirement referencing it (add a requirement mentioning 'dataInReturn')
- port 'fileDoneOut' has no requirement referencing it (add a requirement mentioning 'fileDoneOut')
|
R7 | Requirement parent traceability | FAIL | - requirement 'CFDP-001' (/home/runner/work/fprime/fprime/Svc/Ccsds/CfdpManager/docs/sdd.md:692) has no parent trace (add a Parent/Trace column entry linking a parent requirement)
- requirement 'CFDP-002' (/home/runner/work/fprime/fprime/Svc/Ccsds/CfdpManager/docs/sdd.md:693) has no parent trace (add a Parent/Trace column entry linking a parent requirement)
- requirement 'CFDP-003' (/home/runner/work/fprime/fprime/Svc/Ccsds/CfdpManager/docs/sdd.md:694) has no parent trace (add a Parent/Trace column entry linking a parent requirement)
- requirement 'CFDP-004' (/home/runner/work/fprime/fprime/Svc/Ccsds/CfdpManager/docs/sdd.md:695) has no parent trace (add a Parent/Trace column entry linking a parent requirement)
- requirement 'CFDP-005' (/home/runner/work/fprime/fprime/Svc/Ccsds/CfdpManager/docs/sdd.md:696) has no parent trace (add a Parent/Trace column entry linking a parent requirement)
- requirement 'CFDP-006' (/home/runner/work/fprime/fprime/Svc/Ccsds/CfdpManager/docs/sdd.md:697) has no parent trace (add a Parent/Trace column entry linking a parent requirement)
- requirement 'CFDP-007' (/home/runner/work/fprime/fprime/Svc/Ccsds/CfdpManager/docs/sdd.md:698) has no parent trace (add a Parent/Trace column entry linking a parent requirement)
- requirement 'CFDP-008' (/home/runner/work/fprime/fprime/Svc/Ccsds/CfdpManager/docs/sdd.md:699) has no parent trace (add a Parent/Trace column entry linking a parent requirement)
- requirement 'CFDP-009' (/home/runner/work/fprime/fprime/Svc/Ccsds/CfdpManager/docs/sdd.md:700) has no parent trace (add a Parent/Trace column entry linking a parent requirement)
- requirement 'CFDP-010' (/home/runner/work/fprime/fprime/Svc/Ccsds/CfdpManager/docs/sdd.md:701) has no parent trace (add a Parent/Trace column entry linking a parent requirement)
- requirement 'CFDP-011' (/home/runner/work/fprime/fprime/Svc/Ccsds/CfdpManager/docs/sdd.md:702) has no parent trace (add a Parent/Trace column entry linking a parent requirement)
- requirement 'CFDP-012' (/home/runner/work/fprime/fprime/Svc/Ccsds/CfdpManager/docs/sdd.md:703) has no parent trace (add a Parent/Trace column entry linking a parent requirement)
- requirement 'CFDP-013' (/home/runner/work/fprime/fprime/Svc/Ccsds/CfdpManager/docs/sdd.md:704) 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 | 5 input port(s) checked |
D2 | Command handlers defined | PASS | 9 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 'CFDP-001' (/home/runner/work/fprime/fprime/Svc/Ccsds/CfdpManager/docs/sdd.md:692) is not mapped to any design artifact (add a Design column entry or reference it in a design section)
- requirement 'CFDP-002' (/home/runner/work/fprime/fprime/Svc/Ccsds/CfdpManager/docs/sdd.md:693) is not mapped to any design artifact (add a Design column entry or reference it in a design section)
- requirement 'CFDP-003' (/home/runner/work/fprime/fprime/Svc/Ccsds/CfdpManager/docs/sdd.md:694) is not mapped to any design artifact (add a Design column entry or reference it in a design section)
- requirement 'CFDP-004' (/home/runner/work/fprime/fprime/Svc/Ccsds/CfdpManager/docs/sdd.md:695) is not mapped to any design artifact (add a Design column entry or reference it in a design section)
- requirement 'CFDP-005' (/home/runner/work/fprime/fprime/Svc/Ccsds/CfdpManager/docs/sdd.md:696) is not mapped to any design artifact (add a Design column entry or reference it in a design section)
- requirement 'CFDP-006' (/home/runner/work/fprime/fprime/Svc/Ccsds/CfdpManager/docs/sdd.md:697) is not mapped to any design artifact (add a Design column entry or reference it in a design section)
- requirement 'CFDP-007' (/home/runner/work/fprime/fprime/Svc/Ccsds/CfdpManager/docs/sdd.md:698) is not mapped to any design artifact (add a Design column entry or reference it in a design section)
- requirement 'CFDP-008' (/home/runner/work/fprime/fprime/Svc/Ccsds/CfdpManager/docs/sdd.md:699) is not mapped to any design artifact (add a Design column entry or reference it in a design section)
- requirement 'CFDP-009' (/home/runner/work/fprime/fprime/Svc/Ccsds/CfdpManager/docs/sdd.md:700) is not mapped to any design artifact (add a Design column entry or reference it in a design section)
- requirement 'CFDP-010' (/home/runner/work/fprime/fprime/Svc/Ccsds/CfdpManager/docs/sdd.md:701) is not mapped to any design artifact (add a Design column entry or reference it in a design section)
- requirement 'CFDP-011' (/home/runner/work/fprime/fprime/Svc/Ccsds/CfdpManager/docs/sdd.md:702) is not mapped to any design artifact (add a Design column entry or reference it in a design section)
- requirement 'CFDP-012' (/home/runner/work/fprime/fprime/Svc/Ccsds/CfdpManager/docs/sdd.md:703) is not mapped to any design artifact (add a Design column entry or reference it in a design section)
- requirement 'CFDP-013' (/home/runner/work/fprime/fprime/Svc/Ccsds/CfdpManager/docs/sdd.md:704) 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/Buffer' (from #include "Fw/Buffer/Buffer.hpp") is not declared in CMakeLists.txt (add it to DEPENDS as Fw_Buffer)
- dependency 'Fw/Com' (from #include "Fw/Com/ComPacket.hpp") is not declared in CMakeLists.txt (add it to DEPENDS as Fw_Com)
- dependency 'Fw/Prm' (from #include "Fw/Prm/ParamValid.hpp") is not declared in CMakeLists.txt (add it to DEPENDS as Fw_Prm)
- dependency 'Fw/Types' (from #include "Fw/Types/MemAllocator.hpp") is not declared in CMakeLists.txt (add it to DEPENDS as Fw_Types)
- dependency 'Os' (from #include "Os/QueueString.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/Com' (from #include "Fw/Com/ComPacket.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/StringUtils.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)
|