ABSTRACT
Model-based testing (MBT) (Dias Neto et al. 2007) refers to the use of models to generate tests of components or entire systems. There are two distinct kinds of MBT, which we will call here behavior based (Utting and Legeard 2006) and use based, (Hartmann et al. 2005) depending on whether we are modeling, respectively, the system under test (SUT) itself or the use cases which the SUT is intended to support. Regardless of the modeling technique used, once the tests are generated from the model, they must be executed. If possible, automated execution is preferable to reduce cost and human error. Automation
usually requires some sort of a test harness around the SUT. This is especially true for embedded systems.
