The bibliographic entry was discovered and compiled by a machine, and published without a person checking it against the publication. The publication itself is the authors' own work — this badge says nothing about it.
A Model-based Integration and Testing Method to Reduce System Development Effort
From OpenAlex, which stores abstracts as an
index of words and their positions: what is shown is rebuilt from that,
and reads fluently whether or not it is what the author wrote.
Abstract
New methods and techniques are needed to reduce the very costly integration and test effort (in terms of lead time, costs, resources) in the development of high-tech multi-disciplinary systems. To facilitate this effort reduction, we propose a method called model-based integration. This method allows to integrate formal executable models of system components that are not yet physically realized with available realizations of other components. The combination of models and realizations is then used for early analysis of the integrated system by means of validation, verification, and testing. This analysis enables early detection and prevention of problems that would otherwise occur during real integration, resulting in a significant reduction of effort invested in the the real integration and test phases. This paper illustrates how models of components, developed for model-based integration, can be used for automated model-based testing, which allows time-efficient determination of the conformance of component realizations with respect to their requirements. The combination of model-based integration and model-based testing is practically illustrated in a realistic industrial case study. Results obtained from this study encourage further research on model-based integration as a prominent method to reduce the integration and test effort.
@article{braspenning2006modelbased,
title = {A Model-based Integration and Testing Method to Reduce System Development Effort},
author = {N.C.W.M. Braspenning and Joanna M. van de Mortel-Fronczak and J.E. Rooda},
year = {2006},
journal = {Electronic Notes in Theoretical Computer Science},
publisher = {Elsevier BV},
volume = {164},
number = {4},
pages = {13--28},
doi = {10.1016/j.entcs.2006.09.003},
}