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 11bcfbac66c238f6["📁 requirements/Functional/Processing/Verifications"]
subgraph 9b8736a314ab6d6f["📄 TraceVerifications.md"]
881f005c754cdc5b["Trace Relations No Cycles Verification"];
class 881f005c754cdc5b verification;
click 881f005c754cdc5b "TraceVerifications.html#trace-relations-no-cycles-verification";
end
end
f9055f9f44c18e4a["test.sh"];
class f9055f9f44c18e4a default;
click f9055f9f44c18e4a "../../../../tests/test-trace-no-cycles/test.sh";
881f005c754cdc5b -->|satisfiedBy| f9055f9f44c18e4a;
Trace Relations No Cycles Verification
This test verifies that trace relations do not trigger circular dependency errors even when they form cycles, confirming that trace relations are correctly excluded from dependency cycle detection.
Details
The test creates a model with trace relations forming cycles (Alpha→Beta→Gamma→Alpha) and verifies that:
- Validation succeeds without circular dependency errors
- The model is processed correctly with all requirements recognized
- Trace relations maintain their traceability purpose without creating false dependencies
Acceptance Criteria
- System shall allow trace relations to form cycles without validation errors
- Circular dependency detection shall exclude trace relations from traversal
- Model validation shall succeed when only trace relations form cycles
- All requirements with trace cycles shall be properly processed
Test Criteria
- Command exits with success (zero) return code
- No circular dependency errors in output
- JSON output is valid and complete
- Expected number of requirements (8 total: 4 user, 4 system) are processed
Metadata
Relations