Home
Schedule
Abstract Template
Masters Attendance
Center
Home
Courses
People
Projects
Page
Edit Page
Rename Page
Attach File
Printable
Wiki Source
More ...
Web
Recent Changes
Notify Service
News
Page Index
Search
More ...
Wiki
About TWiki
Text Formatting
Registration
Change Password
Reset Password
Users
Groups
Log In
or
Register
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.
