1. A method for testing a network comprising multiple nodes, wherein said network conforms to a formal specification, the method comprising: defining a blueprint comprising a set of one or more possible topological configurations for connecting a node to the network, wherein said one or more possible topological configurations represent a subset of the topological configurations permitted by the formal specification; initiating connectivity between a node and the network; performing link training on said connectivity for the node, wherein the link training is defined by the formal specification; in response to successfully completing the link training, performing additional testing to determine whether said connectivity for the node conforms to said blueprint, wherein said connectivity for the node is not available for normal network communication during the additional testing; and in response to successfully completing the additional testing, reporting to a subnet manager the completion of the link training, thus allowing the subnet manager to start using said connectivity for the node for normal network communication.