| Requirements |
R1 | Requirement per command | FAIL | - command 'Settings' has no requirement referencing it (add a requirement mentioning 'Settings')
- command 'Toggle' has no requirement referencing it (add a requirement mentioning 'Toggle')
- command 'Skip' has no requirement referencing it (add a requirement mentioning 'Skip')
- command 'Dp' has no requirement referencing it (add a requirement mentioning 'Dp')
|
R2 | Requirement per telemetry channel | FAIL | - telemetry channel 'Type' has no requirement referencing it (add a requirement mentioning 'Type')
- telemetry channel 'Output' has no requirement referencing it (add a requirement mentioning 'Output')
- telemetry channel 'PairOutput' has no requirement referencing it (add a requirement mentioning 'PairOutput')
- telemetry channel 'History' has no requirement referencing it (add a requirement mentioning 'History')
- telemetry channel 'PairHistory' has no requirement referencing it (add a requirement mentioning 'PairHistory')
- telemetry channel 'Info' has no requirement referencing it (add a requirement mentioning 'Info')
- telemetry channel 'DpBytes' has no requirement referencing it (add a requirement mentioning 'DpBytes')
- telemetry channel 'DpRecords' has no requirement referencing it (add a requirement mentioning 'DpRecords')
|
R3 | Requirement per event | FAIL | - event 'SettingsChanged' has no requirement referencing it (add a requirement mentioning 'SettingsChanged')
- event 'DpStarted' has no requirement referencing it (add a requirement mentioning 'DpStarted')
- event 'DpComplete' has no requirement referencing it (add a requirement mentioning 'DpComplete')
- event 'DpRecordFull' has no requirement referencing it (add a requirement mentioning 'DpRecordFull')
- event 'DpMemRequested' has no requirement referencing it (add a requirement mentioning 'DpMemRequested')
- event 'DpMemReceived' has no requirement referencing it (add a requirement mentioning 'DpMemReceived')
|
R4 | Requirement per parameter | SKIP | no parameters declared in the FPP model |
R5 | Requirement per data product | FAIL | - data product 'DataRecord' has no requirement referencing it (add a requirement mentioning 'DataRecord')
- data product 'DataContainer' has no requirement referencing it (add a requirement mentioning 'DataContainer')
|
R6 | Requirement per port/interface | FAIL | - port 'schedIn' has no requirement referencing it (add a requirement mentioning 'schedIn')
|
R7 | Requirement parent traceability | FAIL | - requirement 'REF-SGN-001' (/home/runner/work/fprime/fprime/TestDeploymentsProject/Ref/SignalGen/docs/sdd.md:13) has no parent trace (add a Parent/Trace column entry linking a parent requirement)
- requirement 'REF-SGN-002' (/home/runner/work/fprime/fprime/TestDeploymentsProject/Ref/SignalGen/docs/sdd.md:14) has no parent trace (add a Parent/Trace column entry linking a parent requirement)
|
R8 | Requirement verification method | PASS | 2 requirement(s) checked |
| Design |
D1 | Input port handlers defined | PASS | 1 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 | PASS | 1 container(s) checked |
D5 | Requirements mapped to design artifacts | FAIL | - requirement 'REF-SGN-001' (/home/runner/work/fprime/fprime/TestDeploymentsProject/Ref/SignalGen/docs/sdd.md:13) is not mapped to any design artifact (add a Design column entry or reference it in a design section)
- requirement 'REF-SGN-002' (/home/runner/work/fprime/fprime/TestDeploymentsProject/Ref/SignalGen/docs/sdd.md:14) 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/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)
|
I3 | Data product priorities configurable | FAIL | - container 'DataContainer' priority is not configurable: no command or parameter mentioning 'priority' found
|
| Unit Testing |
U3 | Unit-test dependencies in CMakeLists | PASS | 0 dependency module(s) checked |