Bachelor and Master Theses

Title: Test benchmarks and test environment for SWEET
Subject: Computer Science
Level: Advanced
Description: SWEET (Swedish Execution Time Tool) is a research prototype WCET (Worst Case Execution Time) tool developed at IDE.

The purpose of the master's thesis work is to

1. Create programs, written in C, for testing base cases and more complex cases for debugging of SWEET.

Test cases (example):
- different operations on our abstract domains (intervals and strides)
- values for variables in different program points (value analysis)
- calculation of flow facts (loop bounds and infeasible paths), especially for complex programs, with input data intervals and merging
- calculation of WCET (maybe just doing the low level analysis)

Test programs can be selected from known benchmarks but also be constructed by the student (or by the research group).

2. Create test environment.

The master's thesis work also includes to calculation correct answers - facit - to the test cases and a method to automatically compare results with facit, and warn if differences are detected.

An important purpose is to simply (automatically) be able to run
regression test (a script) after each updating of SWEET. It should be fairly simple to add new test cases and facit so that the test suite gets better and better.
Prel. end date: 2007-08-15
Presentation date: 2007-08-15
Student: Muhammad Azeem Khan
IDT supervisor: Jan Gustafsson, +46-21-101462
Misc: The work will be performed within the WCET research group at IDE.

  • Mälardalen University |
  • Box 883 |
  • 721 23 Västerås/Eskilstuna |
  • 021-101300, 016-153600 |
  • webmaster |
  • Latest update: 2017.08.23