Specification test for testing a deployed Registration Service