Prompted by an application in congestion control of computer networks, this paper presents a methodology to certify with a certain degree of confidence whether a given controller satisfies a predefined set of specifications. The methodology is applied to testing AQM controllers for efficiency in congestion control, by repeating detailed simulations under a variety of network configurations.