florath/rmtoo

View on GitHub
doc/requirements/CheckGraphSCC.req

Summary

Maintainability
Test Coverage
Name: Graph Check for Strongly Connected Component
Type: requirement
Invented on: 2010-03-01
Invented by: flonatel
Owner: development
Description: \textsl{rmtoo} \textbf{must} check that there is no
 strongly connected component in the requirement dependency with a
 size of two or larger.
Rationale: Directed circles are strongly connected components.  A lot
 of other algorithms and assumptions do not work any more, if there
 are circles in the requirement graph.
Status: finished
Priority: development:10
Topic: Input