Automating SCADA Testing