TY - GEN
T1 - A model-based testing framework with reduced set of test cases for programmable controllers
AU - Ma, Canlong
AU - Provost, Julien
N1 - Publisher Copyright:
© 2017 IEEE.
PY - 2017/7/1
Y1 - 2017/7/1
N2 - In testing of programmable controllers, manual selection of test cases is still the most common method in practice. This is however tailor-made, time consuming and error-prone. Traditional model-based methods can hardly handle industrial scale systems which usually possess a significant number of states, and signals of sensors and actuators. In this paper, we propose a model-based testing framework that utilizes simplified plant features to reduce the number of test cases, and at the same time also guarantees a full coverage of nominal behavior of system under test. The proposed framework has been illustrated on a case study.
AB - In testing of programmable controllers, manual selection of test cases is still the most common method in practice. This is however tailor-made, time consuming and error-prone. Traditional model-based methods can hardly handle industrial scale systems which usually possess a significant number of states, and signals of sensors and actuators. In this paper, we propose a model-based testing framework that utilizes simplified plant features to reduce the number of test cases, and at the same time also guarantees a full coverage of nominal behavior of system under test. The proposed framework has been illustrated on a case study.
UR - http://www.scopus.com/inward/record.url?scp=85044974137&partnerID=8YFLogxK
U2 - 10.1109/COASE.2017.8256225
DO - 10.1109/COASE.2017.8256225
M3 - Conference contribution
AN - SCOPUS:85044974137
T3 - IEEE International Conference on Automation Science and Engineering
SP - 944
EP - 949
BT - 2017 13th IEEE Conference on Automation Science and Engineering, CASE 2017
PB - IEEE Computer Society
T2 - 13th IEEE Conference on Automation Science and Engineering, CASE 2017
Y2 - 20 August 2017 through 23 August 2017
ER -