SCHNEIDER (2017) Automated validation and testing of application logic in safety logic solvers

SCHNEIDER (2017) Automated validation and testing of application logic in safety logic solvers

SIS systems all require software logic testing and periodic re-validation. Manual testing can be laborious, time consuming and error prone and may not always be effective in finding  certain classes of defect. Automated testing and revalidation offers a possibility to