as.checker

This MC helps verify that there are no collisions between Autonomous System (AS) numbers in a given experiment. If there is a collision, a RuntimeError is thrown. This MC assumes that all routers are decorated as a GenericRouter.

Attribute Depends:
  • topology

Attribute Provides:
  • unique_as_nums

Model Component Dependencies:

Plugin

class as.checker_plugin.Plugin(graph, log)[source]

Bases: AbstractPlugin

This MC helps verify that there are no collisions between Autonomous System (AS) numbers in a given experiment. If there is a collision, a RuntimeError is thrown.

__annotations__ = {}
run()[source]

Perform the main logic for the AS checking MC.

Raises:

RuntimeError – If two routers have the same AS number.