Home
Schedule
Abstract Template
Masters Attendance
Strategies For Directed Generation Of Test Sequences

Stc
Date: 2011-08-24 (wed) 

Time: 13:00 - 14:00

Room:  [[http://www.cs.uu.nl/docs/reach/bbl.php][BBL]] [[http://www.cs.uu.nl/info/plan/bbl.php][071]]

----+++++ Speaker: Christiaan Hees

----+++++ Title: Strategies for Directed Generation of Test Sequences (thesis defense)

----+++++  Abstract

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.