Infrastructure support to convey test data from state diagrams for executing MBT in embedded systems

Abstract

Model-Based Testing particularly involves test case generation, execution and evaluation. Executing the model-based test cases, without introducing significant overhead in resource constrained embedded systems, is not yet supported in existing tools/methodologies. A test framework for executing MBT in embedded systems with minimal overhead in the target is outlined in this paper. The main scope of this paper concentrates on an algorithm for automatic derivation of infrastructure support to store and convey the test input data to be used in the test cases (in the test framework), while executing MBT in embedded systems. Empirical evaluation of the algorithm in an Embedded Software Engineering (ESE) project example is presented.