Trace-basedLogicTesting
Stc
Date: 2008-05-08
Time: 12:00
Room: BBL room 471
Speaker: Guangyu Zhang
Title: Trace-based Logic Testing
Abstract
Writing test for legacy system is difficult because without knowing
implementation details, there is little trustable information that can
be used to generate test cases. Trace-based logic test provide a solution
for testing whether certain properties are contained in an legacy
system. It uses the information of execution traces, one of the few
trustable pieces of information generated by running the system itself
and perform logic queries on them to express tests. A prototype tool
TESTLOG was developed. This paper explain the design and implementation
of TESTLOG in details and shows the ideas of trace-based logic
testing.
