Testing effort consumes more than half of all development effort and is one of the important
factors, which obstruct quality assurance. Software reuse enhances quality and productivity …

The purpose of this chapter is to introduce the test methods applied for embedded systems
addressing selected problems in the automotive domain. Model-based test approaches are …

Embedded systems are being used in an ever growing number of applications, from
simplest toys to highly complex industrial, military and space systems. In [1], it is estimated …

ABSTRACT Model-Based Testing (MBT) utilizes the models of software to generate the test
cases. In line with this, Unified Modeling Language (UML) is widely adopted as a modeling …

Systematic simulation is a technique related and motivated by the formal analysis of hybrid
dynamic systems. It combines the exhaustive and conservative nature of traditional model …

Multilevel testing constitutes an evolving methodology that aims at reducing the effort
required for functional testing of large systems, where the test process is divided into a set of …

The safety assessment of mixed-criticality systems (MCS) is a challenging activity due to
system heterogeneity, design constraints and increasing complexity. The foundation for …

Software Testing, a process comprised of test case generation, execution and evaluation is
one of the imperative phases of the development life cycle, with its cost approximated to …