Information Technology Reference
In-Depth Information
Model-based Integration Framework for
Development and Testing Tool-chains
B. Polgár, I. Ráth, and I. Majzik
Department of Measurement and Information Systems,
Budapest University of Technology and Economics
{polgar,rath,majzik}@mit.bme.hu
Abstract. System development processes are typically supported by
dozens of different tools that assist the designer in various phases
of development like modeling, verification, source code generation,
testing. Tool-chains can be formed by the integration of tools that
are related to the subsequent steps of the process. In this paper,
we present a service-oriented, metamodel-driven, process-centric ap-
proach for the definition and execution of these tool-chains. Related
data are handled as an important part of the process as the trace-
ability of these is needed for the certification of the systems. The
implementation is provided as an open, extensible framework. The
approach is demonstrated using a model based test case generation
process applied for automotive and railway systems.
Keywords: Tool Integration, Execution Support for Tool-chains, Process-
centric, Service-oriented, Model-driven Support of Development and Test
Processes
1
Introduction
Motivation. During system development — especially in the development of
safety-critical systems, e.g., in the field of automotive, avionics or railway
— several tools are used for the different aspects, i.e., for modeling, trans-
formation, verification, testing, analysis and code generation. We faced the
challenge in several of our projects to integrate these tools. Our efforts are
concentrated on designing and implementing the integrated end-to-end de-
sign tools with transparent transformations which are used to automatically
map the design and specification models to analysis and validation domains
for a thorough verification and validation process.
The goal of the MOGENTES project [1] is to significantly enhance test-
ing and verification of dependable embedded systems by means of automated
generation of ecient test cases from engineering models. In the project the
This work was partially supported by the EC (FP7-STREP MOGENTES) and
by the National O ce for Research and Technology (OMFB 1316/2009). Special
thanks to I. Ágoston and G. Juhász for implementing parts of the framework.
Search WWH ::




Custom Search