rcc executes correctness checks, using the properties of the
routing logic as a model for correctness. Here is a list of
tests currently performed by the verifier.
The constraint verifier performs three steps:
Each constraint is written as a simple SQL query. (Please see the
development section in the manual for details.)
The flexibility of how constraints are specified permits router-specific
configuration checks, as well as AS-wide configuration checks.
- Expands configuration languages (e.g., Cisco's peer-group
- Converts the configuration into an intermediate format, in the form
of relational database tables.
- Checks constraints by executing a sequence of queries on the
We have included some examples that are included with the initial
release and fully intend to develop more as people demand more features.
Additionally, we have made the specification language simple enough that
operators can write their own checks and incorporate them into the tool
Currently, the verifier performs the following tests.
Send us suggestions for other constraints
you need checked!
- Example output from the verifier.
(Note: the example output is from an older version of the tool,
so the output from newer versions may look slightly different.)