Strategies For Directed Generation Of Test Sequences
Date: 2011-08-24 (wed)
Time: 13:00 - 14:00
Room: BBL 071
Speaker: Christiaan Hees
Title: Strategies for Directed Generation of Test Sequences (thesis defense)
T2 is a testing tool that can generate test sequences of Java classes. It works by randomly calling methods of the class under test and checking after each step whether the specifications are not violated. Because of the random nature, in some cases it is hard for T2 to cover all parts of the class. In this thesis we present techniques to improve the test coverage. We do this by using genetic algorithms to search for test sequences that can cover previously uncovered parts. We also present results of experiments in which we try to automatically generate test sequences that result in specific object structures. Once we find how to generate sequences for those object structures we can use those to improve the test coverage again.