By Topic

Model based TTCN-3 testing of industrial automation systems — First results

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

3 Author(s)
Kumar, B. ; inIT-Inst. Ind. IT, Ostwestfalen-Lippe Univ. of Appl. Sci., Lemgo, Germany ; Czybik, B. ; Jasperneite, J.

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.

Published in:

Emerging Technologies & Factory Automation (ETFA), 2011 IEEE 16th Conference on

Date of Conference:

5-9 Sept. 2011