By Topic

Inverse Model Based Testing -- Generating Behavior Models from Abstract Test Cases

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)
Torens, C. ; Inst. for Transp. Syst., German Aerosp. Center (DLR e.V.), Braunschweig, Germany ; Ebrecht, L. ; Lemmer, K.

Test cases contain a huge amount of domain specific knowledge of experts. Engineers may not use this knowledge only for validation purposes, e.g., applying test cases to software and hardware units, it can be also a starting point for modeling the product prototypically. This paper addresses the issue of generating a functional behavior model from abstract test cases. The test cases belong to the conformity and interoperability test standard for train-borne control units of the European Train Control System (ETCS). The contribution illustrates the approach and its advantages.

Published in:

Software Testing, Verification and Validation Workshops (ICSTW), 2011 IEEE Fourth International Conference on

Date of Conference:

21-25 March 2011