Visual Assurance in Refactoring through Trace Equivalence of Control Flow Graphs

Fabry, Johan;Zaytsev, Vadim;Deknop, Céline;Mens, Kim;et.al.
(2024) IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER) — Location: Finland (12.March.2024)

Files

SANER2024ToolDemopaper.pdf
  • Open Access
  • Adobe PDF
  • 594.66 KB
Download

Details

Authors
  • Fabry, Johan
    Author
  • Zaytsev, Vadim
    Author
  • Deknop, CélineUCLouvain
    Author
  • Mens, Kimorcid-logoUCLouvain
    Author
  • et. al.
Abstract
(en) Refactoring large legacy codebases, even with industrial-strength tools, often leads to trust concerns with code owners, in particular when the codebase underwent significant changes. To provide more assurance to code owners, we integrate visual analytics into the refactoring process. This method involves transforming code into control flow graphs before and after refactoring, followed by trace equivalence analysis on these graphs. An innovative visualisation tool provides not only a comprehensive overview of the refactorings’ impact across all files, but also offers detailed insights into the trace equivalence at individual file level. By presenting clear visual evidence of code equivalence before and after refactoring, our visualisation narrows the trust gap, offering refactoring experts and code owners a transparent and understandable view of the changes. We apply this visualisation on an industrial use case and discuss its effectiveness with refactoring experts.
Affiliations

Citations

  • APA
  • Chicago
  • FWB

Fabry, J., Zaytsev, V., Deknop, C., Mens, K., & et al. (2024). Visual Assurance in Refactoring through Trace Equivalence of Control Flow Graphs. IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER), Finland. https://hdl.handle.net/2078.5/256580