A Multi-criteria Decision Making Framework for Real Time Model-Based Testing

Testing Real-Time Embedded Systems (RTES) is a non-trivial task - time adds a new dimension to the complexity of the testing process. In previous research, we introduced a 'priority-based' approach which tested the logical and timing behaviour of an RTES modelled formally as Uppaal timed automata. In this paper, we develop a novel Analytical Hierarchy Process (AHP) decision-making framework for our priority-based testing approach that provides testers with a systematic approach through which they can prioritize the available testing sets that best fulfils their testing requirements.