Specification-Driven Test Generation for Model Transformations
نویسنده
چکیده
منابع مشابه
Transformations based on Relations
The Model Driven Architecture (MDA) is an approach to IT systems development fostered by the Object Management Group (OMG). It is based on forming a separation between the specification of a systems essential functionality as a platform independent model (PIM) and the realisation of the system using more detailed and specific platform specification (PSM). It is recognised that specifying the ma...
متن کاملMDA Transformations Applied to Web Application Development
Current Web generation techniques are mainly hard-coded for predefined architectures of Web applications. Consequently, there is a gap between Web design models and the final implementation. We solve this problem, following with our approach the Model-Driven Architecture (MDA) principles of automatic generation of software systems based on model transformations. In this context, we present a tr...
متن کاملOn the Use of Graph Transformations for Model Refactoring
Model-driven software engineering promotes the use of models and transformations as primary artifacts. Several formalisms can be used for the specification of model transformations. We propose to represent models as graphs, and model transformations as graph transformations. In particular, we focus on the activity of model refactoring, and show how graph transformation theory can provide formal...
متن کاملModel-to-model transformations of architecture descriptions of an integration platform
Model transformations play a key role in any software development project based on Model-Driven Engineering (MDE) principles. However, little attention has been paid to the application of MDE principles to automate the design of integration solutions. The aim of the paper is to present transformations of a model-to-model type, used to automate the process of integration platform’s architecture ...
متن کاملA Holistic Model-driven Approach to Generate U2TP Test Specifications Using BPMN and UML
Testing process-based information systems is cost intensive and challenging due to rapid technological advancement and increasing complexity of processes. A number of existing process-based test generation approaches use process code for test generation. They operate on lower levels of abstraction and start the test activity later in the development cycle, which is not feasible. Other model-bas...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2012