Bachelor and Master Theses

Title: Generation of Mutants for Testing Execution Time
Subject: Computer Science
Level: Advanced
Description: Targeted mutation is a paradigm for mutation testing of non-functional properties, where the mutations are focused to the parts of the code that are likely to have a significant impact on the property in question [1]. This methodology can be applied to Time analysis, arguing that the parts of the code that can affect the program flow provide the best mutation targets. These parts are easily identified by program slicing.

Expected Outcome: The students will investigate the combination of (i) Static Analysis – identifying the parts of the code with a strong influence on the execution time, and (ii) Mutation Testing – injecting changes in the identified parts of the code. The solution will be implemented as a part of a framework that basically explores the relationship between mutants and control flow.

[1] B. Lisper, B. Lindström, P. Potena, M. Saadatmand, M. Bohlin: “Targeted Mutation: Efficient Mutation Analysis for Testing Non-Functional Properties”, ICST Workshops 2017: 65-68.

This thesis is defined as part of the TOCSYC project that is a five-year collaboration project funded by the Knowledge Foundation. The project partners are Mälardalen University, Blekinge Institute of Technology, University of Skövde, Karlstad University, and SICS Swedish ICT AB.

Company: RISE SICS Västerås, kontaktperson: Pasqualina Potena
Proposed: 2017-10-02
Prerequisites: * C programming skills and knowledge of software testing. * Read more about the main idea of this thesis:
IDT supervisor: Mehrdad Saadatmand, +46-(0)21-107336
Examinator: Björn Lisper
Björn Lisper, +46-21-151709
Misc: The thesis may also be taken as a joint-work by 2 students.

Rapport och bilagor


Senaste uppdatering

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