Skip to Main Content
Model-driven system/protocol engineering has been successfully applied in the industrial automation domain over the recent years. However, its cousin model-based testing (MBT) is relatively a new kid in the block - who is being curiously observed by domain experts. MBT leverages behavior models (e.g. software models) to automatically generate a large set of test cases. Testing industrial communication and automation systems manually for all significant behavioral scenarios is a non-trivial task. Hence, automatic generation of test vectors from formal/semi-formal models is desirable. Here, we report our first step towards the usage of MBT in the industrial automation context.