Auto Testing of the Policies