Real-time embedded systems (RTESs) interact with the environment subject to a number of constraints, including real-time response, resource limitations, etc., often in context of risk or safety conditions.

Testing of RTES is complex, owing to the constraints they have to meet.

In this project, we explore various problems related to cost-effective RTES testing, and focus on developing a set of techniques that aim to automate RTES testing in a systematic way. We do this with the goal of reducing testing costs, for example by reducing the number of test cases, and improving testing effectiveness, for example by increasing fault detection. Our goal is to improve system quality while we, in parallel, keep special attention to scalability and applicability of our solutions in the context of large industrial systems.

Objectives

• To identify, describe and quantify cost-benefits, advantages and drawbacks of model-based testing for RTES
• To describe and exemplify how model-based testing can scale up to large industrial systems
• To develop techniques for functional and non-functional automated testing and empirically evaluate their effectiveness