Ducasse, Stéphane; Gîrba, Tudor; Wuyts, Roel (2006). Object-Oriented Legacy System Trace-based Logic Testing. European Conference on Software Maintenance and Reengineering. Proceedings, 10 pp.-46. Washington, DC: IEEE Computer Society 10.1109/CSMR.2006.37
Text
01602356.pdf - Published Version Restricted to registered users only Available under License Publisher holds Copyright. Download (286kB) |
When reengineering legacy systems, it is crucial to assess if the legacy behavior has been preserved or how it changed due to the reengineering effort. Ideally if a legacy system is covered by tests, running the tests on the new version can identify potential differences or discrepancies. However, writing tests for an unknown and large system is difficult due to the lack of internal knowledge. It is especially difficult to bring the system to an appropriate state. Our solution is based on the acknowledgment that one of the few trustable piece of information available when approaching a legacy system is the running system itself. Our approach reifies the execution traces and uses logic programming to express tests on them. Thereby it eliminates the need to programatically bring the system in a particular state, and handles the test-writer a high-level abstraction mechanism to query the trace. The resulting system, called TESTLOG, was used on several real-world case studies to validate our claims.
Item Type: |
Conference or Workshop Item (Paper) |
---|---|
Division/Institute: |
08 Faculty of Science > Institute of Computer Science (INF) 08 Faculty of Science > Institute of Computer Science (INF) > Software Composition Group (SCG) [discontinued] |
UniBE Contributor: |
Ducasse, Stephane, Girba, Tudor Adrian |
Subjects: |
000 Computer science, knowledge & systems 500 Science > 510 Mathematics |
ISSN: |
1534-5351 |
ISBN: |
0-7695-2536-9 |
Publisher: |
IEEE Computer Society |
Language: |
English |
Submitter: |
Factscience Import |
Date Deposited: |
04 Oct 2013 14:47 |
Last Modified: |
05 Dec 2022 14:14 |
Publisher DOI: |
10.1109/CSMR.2006.37 |
Web of Science ID: |
000237194400004 |
BORIS DOI: |
10.7892/boris.19405 |
URI: |
https://boris.unibe.ch/id/eprint/19405 (FactScience: 2009) |