Testing and Verification of Embedded Systems

Utbildningsfakta

Kod: DT8021

The entire test process is globally addressed, and test terminology is defined. <br> A number of important test derivation methods are treated and their suitability for various stages of development is pointed out. <br> <br> 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. <br> 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. <br> Finally, the 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.

Behörighet

Bachelor of Science degree (or equivalent) in an engineering subject or in computer science. The degree must be equivalent to a Swedish kandidatexamen and must have been awarded from an internationally recognised university. Courses in computer science or computer engineering of at least 90 credits, including thesis. Courses in mathematics of at least 30 credits or courses including calculus, linear algebra and transform methods. The course Embedded Programming 7.5 credits or equivalent. English 6 or English level 2. Exemption of the requirement in Swedish is granted for those with foreign grades.

Utbildningstillfällen

Varje tillfälle har egna datum och villkor. Avslutade tillfällen behålls som historik och innebär inte att en ny ansökan är öppen.

• Testing and Verification of Embedded Systems

  Halmstad University

  Halmstad

  Startdatum: 31 augusti 2026

  Slutdatum: 1 november 2026

  Studietakt: 50 %