Applicability of an integrated model-based testing approach for RTES

Abstract

The increasing complexity and wide applicability of Real-Time Embedded Systems (RTES) necessitates use of advanced and automated development and testing methodologies to meet time-to-market constraints, quality assurance and safety standards. In this context, the applicability of Model Driven Development (MDD) and Model-Based Testing (MBT) methodologies for RTES have been gaining attention in the recent decade. MBT approaches, in general, helps in automatically generating test cases using models extracted from software artifacts. However, currently none of the existing MBT approaches deal with generating test artifacts for executing and verifying these test cases in memory size constrained and codesize critical RTES. To address this, an integrated MBT approach for executing the test stimuli in the RTES (without dynamic source code instrumentation) is discussed in this paper. A prototype implementation is discussed followed by an experimental evaluation of this approach for an RTES example. Finally, this paper presents a perspective on the applicability of model-based approach for industrial RTES projects.

An approach for performance requirements verification and test environments generation

“…1. Model-based performance testing in a specific field has not been done before, e.g., robotics [4], selfadaptive systems [74] and cloud API [73], has not been studied for a specific performance aspect, e.g., resource utilization [6,38,76] or time behavior [44], or has not been proposed in a particular development stage, e.g., early before a prototype is created [43], or late during run-time [60]. 2.…”