Test case spec for SDN controller resilience in HA config