BCS-FACS Evening Seminar by Prof Mark Harman: Testability transformation, 26 May, BCS London Offices, UK

BCS-FACS Evening Seminar by Prof Mark Harman: Testability transformation, 26 May, BCS London Offices, UK

Post by Paul.Boc » Sat, 16 May 2009 05:37:34

(Apologies if you receive multiple copies of this announcement)

BCS-FACS Evening Seminar Series

Testability transformation

Mark Harman

King's College London

26 May 2009


BCS London Offices
First Floor, The Davidson Building
5 Southampton Street
London WC2E 7HA

Testability transformation combines automated test data generation
traditional program transformation. This talk introduces the concept
testability transformation, to address structural impediments to
test data generation. A testability transformation alters the
structure, creating an equivalent version of the program for which
data generation is easier. Because the structure of the original
is transformed, the test adequacy criterion may also need to be
transformed, to preserve the meaning of the original adequacy

This observation motivates the introduction of a theoretical
for testability transformation, in which a testability transformation
traditional program transformation to include the test adequacy
together with the program to be transformed.

Interestingly, testability transformations are disposed of once they
used - testability transformation is a means to an end, rather than an
end in itself. This is a departure from previous work on
in which the transformed program replaces the original. Even more
radical, the transformations need not be meaning preserving in the
conventional sense of functional equivalence - the sine qua non of
transformation for the past thirty years.

After the seminar there will be panel discussion. The panelists are:

John Clark, University of York
Bogdan Korel, Illinois Institute of Technology
Kiran Lakhotia, King's College London CREST centre
Mark Harman, King's College London CREST centre
Phil McMinn, University of Sheffield
Jonathan Bowen, Praxis (Panel Chair)

Refreshments will be served from 5.15pm.

The seminar is free of charge and open to everyone. If you would like
to attend, please email Paul Boca [ XXXX@XXXXX.COM ] by
BCS Offices is tight.

BCS-FACS Website: http://www.yqcomputer.com/

Location of venue: http://www.yqcomputer.com/