A Model-based Integration and Testing Method to Reduce System Development Effort

N.C.W.M. Braspenning, J.M. Mortel - Fronczak, van de, J.E. Rooda

    Research output: Contribution to journalArticleAcademicpeer-review

    18 Citations (Scopus)
    1 Downloads (Pure)

    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.

    Full text available at Sciencedirect

    Original languageEnglish
    Pages (from-to)13-28
    JournalElectronic Notes in Theoretical Computer Science
    Volume164
    Issue number4
    DOIs
    Publication statusPublished - 2006

    Fingerprint

    Dive into the research topics of 'A Model-based Integration and Testing Method to Reduce System Development Effort'. Together they form a unique fingerprint.

    Cite this