Rule Validation and Testing