Testing and Verification of Embedded Systems

Education facts

Code: 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.

Entry requirements

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.

Education offerings

Each offering has its own dates and conditions. Closed offerings are retained as history and do not mean that a new application is open.

• Testing and Verification of Embedded Systems

  Halmstad University

  Halmstad

  Start date: 31 August 2026

  End date: 1 November 2026

  Pace of study: 50 %