This dissertation proposes a model-based testing approach for real-time embedded systems in the automotive domain. It develops a test framework called MiLEST that allows specifying tests at the model level based on system models. The approach identifies signal features that can be used to abstractly describe test inputs. It addresses testing of both discrete and continuous signals to cover the hybrid behavior of embedded systems. Case studies on adaptive cruise control systems demonstrate the approach and show quality improvements over traditional testing methods.