Validating and Testing a Policy