Testing and Verification of Embedded Systems
7,5 credits
The entire test process is globally addressed, and test terminology is defined.
A number of important test derivation methods are treated and their suitability for various stages of development is pointed out.
The importance of tools and automation is discussed and a tool for unit testing is treated. Some of the treated techniques are implemented in the tool.
Model-based testing technqiues are introduced and a tool for implementing them is designated. A project is carried out in which the introduced tools and techniques are applied.
Finally, the doctoral students learn about the state of the art in the area of testing by studying and presenting some of the recent research publications in this area.
