DBM-Baenk: Testing and Benchmarking environment for DBMs
Author
Brøcker, Laurits
Term
4. term
Education
Publication year
2022
Submitted on
2022-06-08
Pages
32
Abstract
Denne afhandling opbygger et praktisk miljø til at teste og sammenligne flere implementeringer af en videnskabelig specifikation. Den fokuserer på en nyere, generisk Difference Bound Matrix (DBM) – en teknik til at repræsentere grænser for forskelle mellem værdier – og kontrollerer både om den overholder specifikationen (konformitetstest) og hvordan den præsterer (benchmarking) sammenlignet med en ældre, mere moden DBM. Miljøet gør det også muligt at benchmarke flere implementeringer samtidig, hvilket hjælper med at vurdere foreslåede ændringer i basisimplementeringen og undgå forringelser i ydelsen.
This thesis builds a practical setup to test and compare several implementations of a scientific specification. It focuses on a newer, generic Difference Bound Matrix (DBM)—a technique for representing bounds on differences between values—and checks whether it follows the specification (conformance testing) and how fast it runs (benchmarking) compared with an older, more mature DBM. The setup also allows benchmarking multiple implementations at the same time, which helps assess proposed changes to the baseline implementation and avoid performance regressions.
[This summary has been rewritten with the help of AI based on the project's original abstract]
Keywords
DBM ; Testing ; Benchmarking
Documents