Testing and Verification of Embedded Systems
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.
Level:
Graduate level
Application code:
R3015
Entry requirements:
General entry requirements for studies at third cycle level including 60 credits at second level in Computer Science and Engineering or other another field relevant to the postgraduate subject of Computer Science and Engineering and 7.5 credits of programming at second level.
Selection rules:
Restricted admission
Start week:
week: 36
Instructional time:
Daytime
Tuition fee:
Language of instruction:
Teaching is in English.
