Elements
graph TD;
%% REQVIRE-AUTOGENERATED-DIAGRAM
%% Graph styling
classDef userRequirement fill:#D1C4E9,stroke:#7E57C2,stroke-width:2px;
classDef systemRequirement fill:#E1D8EE,stroke:#673AB7,stroke-width:1.5px;
classDef verification fill:#DCEDC8,stroke:#4CAF50,stroke-width:2px;
classDef folder fill:#FAFAFA,stroke:#9E9E9E,stroke-width:3px;
classDef file fill:#FFF8E1,stroke:#FFCA28,stroke-width:2px;
classDef default fill:#F5F5F5,stroke:#424242,stroke-width:1.5px;
subgraph e57e8ed6cc4cc063["📁 requirements/Functional/Processing"]
subgraph 1fca82108d7bd4a6["📄 Specifications.md"]
ee8cad76216ab553["Verification Roll-up Specification"];
class ee8cad76216ab553 default;
click ee8cad76216ab553 "Specifications.html#verification-roll-up-specification";
121cd27aa4d9a897["Verification Trace Tree Construction"];
class 121cd27aa4d9a897 default;
click 121cd27aa4d9a897 "Specifications.html#verification-trace-tree-construction";
end
subgraph 35073e93e967a10c["📄 VerificationTraces.md"]
e93ddf96472a7933["Verification Roll-up Strategy"];
class e93ddf96472a7933 systemRequirement;
click e93ddf96472a7933 "VerificationTraces.html#verification-roll-up-strategy";
c1ff27df19e4e86["Verification Trace Builder"];
class c1ff27df19e4e86 systemRequirement;
click c1ff27df19e4e86 "VerificationTraces.html#verification-trace-builder";
69aa75e267b074df["Verification Upward Traceability
📎 requirements/Refinements.md#traceability-reporting-specification"];
class 69aa75e267b074df userRequirement;
click 69aa75e267b074df "VerificationTraces.html#verification-upward-traceability";
end
end
e93ddf96472a7933 -->|satisfiedBy| ee8cad76216ab553;
c1ff27df19e4e86 -->|satisfiedBy| 121cd27aa4d9a897;
69aa75e267b074df -.->|deriveReqT| e93ddf96472a7933;
69aa75e267b074df -.->|deriveReqT| c1ff27df19e4e86;
Verification Upward Traceability
The system shall provide upward traceability from verifications to root requirements, showing the complete requirement hierarchy and verification coverage.
Details
When analyzing verification coverage, the system shall trace from verification elements upward through the requirement hierarchy to root requirements.
When generating trace reports, the system shall indicate which requirements are directly verified versus transitively covered.
When detecting model quality issues, the system shall identify redundant verification relations where a verification directly verifies both a leaf requirement and its ancestor.
Metadata
Attachments
Relations
Verification Roll-up Strategy
The system shall implement a verification roll-up strategy where parent requirements are considered verified based on the verification status of their child requirements.
Metadata
Relations
Verification Trace Builder
The system shall provide functionality to build upward trace trees from verification elements by traversing all upward parent relations to reach root requirements, merging all paths into a single tree structure with marked directly-verified requirements.
Metadata
Relations