Extending T2 With Prime Path Coverage Exploration

Date: 2008-11-13

Time: 11:45

Room: BBL room 471

Speaker: Maaike Gerritsen

Title: Extending T2 with Prime Path Coverage Exploration (thesis defense)

Abstract

There are very few testing tools on the market today that combine testing and coverage. The tools that do combine these two element use a very simple coverage metric. This thesis defense contributes an extension to an automated testing tool called T2 that enhances it with a more sophisticated coverage measurement based on prime paths. Our solution crucially relies on byte code instrumentation. However, a more elaborate instrumentation scheme is now needed. We solve this by combining it with a programming paradigm called Aspect Oriented Programming. Although a widely accepted paradigm, Aspect Oriented Programming has not been used eminently in the testing field.

T2 generates sequences of tests and randomly creates values as input to these tests. Due to T2's random properties, it cannot guarantee a high code coverage. Another important contribution of our extension is the addition of active strategies to improve T2's coverage. The results so far are quite positive.