Computer Science – Software Engineering
Scientific paper
2012-02-28
EPTCS 80, 2012, pp. 13-27
Computer Science
Software Engineering
In Proceedings MBT 2012, arXiv:1202.5826
Scientific paper
10.4204/EPTCS.80.2
Seamless model based development aims to use models during all phases of the development process of a system. During the development process in a component-based approach, components of a system are described at qualitatively differing abstraction levels: during requirements engineering component models are rather abstract high-level and underspecified, while during implementation the component models are rather concrete and fully specified in order to enable code generation. An important issue that arises is assuring that the concrete models correspond to abstract models. In this paper, we propose a method to assure that concrete models for system components refine more abstract models for the same components. In particular we advocate a framework for reusing testcases at different abstraction levels. Our approach, even if it cannot completely prove the refinement, can be used to ensure confidence in the development process. In particular we are targeting the refinement of requirements which are represented as very abstract models. Besides a formal model of our approach, we discuss our experiences with the development of an Adaptive Cruise Control (ACC) system in a model driven development process. This uses extensions which we implemented for our model-based development tool and which are briefly presented in this paper.
Blech Jan Olaf
Mou Dongyue
Ratiu Daniel
No associations
LandOfFree
Reusing Test-Cases on Different Levels of Abstraction in a Model Based Development Tool does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Reusing Test-Cases on Different Levels of Abstraction in a Model Based Development Tool, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Reusing Test-Cases on Different Levels of Abstraction in a Model Based Development Tool will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-605544