Detail výsledku

Efficient Manipulation of Control Flow Models in Evolving Software

FIEDOR, T.; PAVELA, J.; ROGALEWICZ, A.; VOJNAR, T. Efficient Manipulation of Control Flow Models in Evolving Software. In Eurocast 2024 -- Computer Aided Systems Theory: Extended Abstracts. Lecture Notes in Computer Science. Las Palmas de Gran Canaria: Springer International Publishing, 2025. p. 412-427. ISBN: 978-3-031-82949-9.
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Fiedor Tomáš, Ing., Ph.D.
Pavela Jiří, Ing., UITS (FIT)
Rogalewicz Adam, doc. Mgr., Ph.D., UITS (FIT)
Vojnar Tomáš, prof. Ing., Ph.D., UITS (FIT)
Abstrakt

When looking for certain kinds of software bugs, successive versions of software
are compared. Performance-related bugs are a notable example. Methods used for
detecting such bugs are, however, expensive and need to be applied carefully. At
the same time, current software development is rapid, with new software versions
released everyday. In this paper, we aim at two particular ways how to optimize
difference analyses of performance (but possibly other aspects of the software
too) of successive software versions. Namely, we propose (1) an efficient layered
representation of the program control flow spanning across the program history,
and (2) methods for efficient matching of pairs of corresponding functions in
different software versions and for selecting those whose differential analysis
should be performed. We have implemented our approach and performed experiments
on two selected versions of the CPython project. The results indicate that our
approach is a promising direction for improving the performance analysis of real
world programs.

Klíčová slova

Performance analysis, Cross-version performance degradation, Control flow,
Perun,

URL
Rok
2025
Strany
412–427
Časopis
Lecture Notes in Computer Science, ISSN
Sborník
Eurocast 2024 -- Computer Aided Systems Theory: Extended Abstracts
Konference
Eurocast 2024 -- 19th International Conference on Computer Aided Systems Theory
ISBN
978-3-031-82949-9
Vydavatel
Springer International Publishing
Místo
Las Palmas de Gran Canaria
DOI
10.1007/978-3-031-82949-9_37
EID Scopus
2-s2.0-105004253297
BibTeX 
@inproceedings{BUT193280,
  author="Tomáš {Fiedor} and Jiří {Pavela} and Adam {Rogalewicz} and Tomáš {Vojnar}",
  title="Efficient Manipulation of Control Flow Models in Evolving Software",
  booktitle="Eurocast 2024 -- Computer Aided Systems Theory: Extended Abstracts",
  year="2025",
  journal="Lecture Notes in Computer Science",
  pages="412--427",
  publisher="Springer International Publishing",
  address="Las Palmas de Gran Canaria",
  doi="10.1007/978-3-031-82949-9\{_}37",
  isbn="978-3-031-82949-9",
  issn="0302-9743",
  url="https://link.springer.com/chapter/10.1007/978-3-031-82949-9_37"
}
Projekty
Cyber-security Excellence Hub in Estonia and South Moravia, EU, HORIZON EUROPE, 101087529, zahájení: 2023-01-01, ukončení: 2026-12-31, řešení
Pokročilá analýza a verifikace pro pokročilý software, GAČR, Standardní projekty, GA23-06506S, zahájení: 2023-01-01, ukončení: 2025-12-31, řešení
Reliable, Secure, and Intelligent Computer Systems, VUT, Vnitřní projekty VUT, FIT-S-23-8151, zahájení: 2023-03-01, ukončení: 2026-02-28, řešení
Výzkumné skupiny
Výzkumná skupina automatizované analýzy a verifikace - VeriFIT (VZ VERIFIT)
Pracoviště
Ústav inteligentních systémů (UITS)
Nahoru