TY - JOUR
T1 - SATE
T2 - Model-Based Testing with Design-to-Test and Plant Features
AU - Ma, Canlong
AU - Jordan, Claudius
AU - Provost, Julien
N1 - Publisher Copyright:
© 2018
PY - 2018/1/1
Y1 - 2018/1/1
N2 - In this paper we present SATE, a tool aiming at increasing test efficiency of model-based testing of DES using two approaches: design-to-test and plant features. First, the design-to-test approach automatically modifies the design while maintaining the original system behavior to overcome controllability, observability and SIC-testability issues. Secondly, testing with plant features reduces the number of test cases taking into account restrictions on the input space of programmable logic controllers caused by the plant that is to be controlled.
AB - In this paper we present SATE, a tool aiming at increasing test efficiency of model-based testing of DES using two approaches: design-to-test and plant features. First, the design-to-test approach automatically modifies the design while maintaining the original system behavior to overcome controllability, observability and SIC-testability issues. Secondly, testing with plant features reduces the number of test cases taking into account restrictions on the input space of programmable logic controllers caused by the plant that is to be controlled.
KW - conformance testing
KW - discrete event system
KW - programmable logic controller
KW - validation
UR - http://www.scopus.com/inward/record.url?scp=85050152421&partnerID=8YFLogxK
U2 - 10.1016/j.ifacol.2018.06.318
DO - 10.1016/j.ifacol.2018.06.318
M3 - Article
AN - SCOPUS:85050152421
SN - 2405-8963
VL - 51
SP - 310
EP - 315
JO - 14th IFAC Workshop on Discrete Event Systems WODES 2018
JF - 14th IFAC Workshop on Discrete Event Systems WODES 2018
IS - 7
ER -