Recently, metamorphic testing techniques have been applied with success in various fields to find domain-specific bugs, as presented in this survey. One field yet to be explored is that of programming libraries, which comes with its own set of challenges. The existance of multiple libraries means we have a rich set of equivalence relations we can employ for metamorphic relations, allowing extensive testing using this approach. This project aims to explore the suitability of applying metamorphic testing to these math libraries and evaluate their reliability and correctness.

Organization

Student

Andrei Lascu

Mentors

  • Sven Verdoolaege
  • Tobias Grosser
close

2018