The fundamentals of testing SCADA