Automatic Test-Case Derivation and Execution in Industrial Control
Sabrina von Styp, Liyong Yu, Gustavo Quirós · 2011
In industrial control, system failures can be highly dan-gerous and expensive. To avoid them, much time and money is spent in testing the systems, and this occurs mostly manually. Model-based testing is a forthcoming and promising technique to automate the testing process, as it allows the automatic generation and execution of test-cases. It assumes the system under test to be a black-box, implying that the system is only accessible via inputs and outputs. Thus, model-based testing can be ideally ap-plied to function blocks. This paper presents our first steps in applying model-based testing in industrial control, and includes a case study on a simple motor controller. 1.