Towards an Integrated Methodology for the Development and Testing of Complex Systems- with Example

Abstract—This article reports on a framework for the devel-opment and testing of complex systems. The framework provides a meta-model for the description of systems at different levels of abstraction, which is used as a basis for the combination of model-based testing (MBT) techniques for automated test case generation with executable requirement monitors that con-tinuously observe the status of the System under Test (SuT) during test execution. The overall goal is to reduce the total development and testing effort for complex systems. This is accomplished by enabling a high degree of automation and reuse of engineering artefacts throughout the systems engineering lifecycle. The framework is illustrated using an example from the aircraft systems domain: the door locking system