Functional Testing of Controllers