Automated testing and validation of PLC programs