• On benchmarking for concurrent...

Treffer: On benchmarking for concurrent runtime verification ; Fundamental Approaches to Software Engineering. FASE 2021. Lecture Notes in Computer Science, vol 12649

Title:
On benchmarking for concurrent runtime verification ; Fundamental Approaches to Software Engineering. FASE 2021. Lecture Notes in Computer Science, vol 12649
Authors:
Aceto, Luca, Attard, Duncan Paul, Francalanza, Adrian, Ingólfsdóttir, Anna, 24th International Conference, FASE 2021
Publisher Information:
Springer
Publication Year:
2021
Collection:
University of Malta: OAR@UM / L-Università ta' Malta
Subject Terms:
Software engineering, Computer software -- Verification, Benchmarking (Management) -- Data processing, Computer software -- Evaluation, Computer multitasking
Document Type:
Konferenz conference object
Language:
English
Relation:
https://www.um.edu.mt/library/oar/handle/123456789/86001
DOI:
10.1007/978-3-030-71500-7_1
Availability:
https://www.um.edu.mt/library/oar/handle/123456789/86001
https://doi.org/10.1007/978-3-030-71500-7_1
Rights:
info:eu-repo/semantics/openAccess ; The copyright of this work belongs to the author(s)/publisher. The rights of this work are as defined by the appropriate Copyright Legislation or as modified by any successive legislation. Users may access this work and can make use of the information contained in accordance with the Copyright Legislation provided that the author must be properly acknowledged. Further distribution or reproduction in any format is prohibited without the prior permission of the copyright holder.
Accession Number:
edsbas.F0EFEFCE
Database:
BASE

Weitere Informationen

We present a synthetic benchmarking framework that targets the systematic evaluation of RV tools for message-based concurrent systems. Our tool can emulate various load profiles via configuration. It provides a multi-faceted view of measurements that is conducive to a comprehensive assessment of the overhead induced by runtime monitoring. The tool is able to generate significant loads to reveal edge case behaviour that may only emerge when the monitoring system is pushed to its limit. We evaluate our framework in two ways. First, we conduct sanity checks to assess the precision of the measurement mechanisms used, the repeatability of the results obtained, and the veracity of the behaviour emulated by our synthetic benchmark. We then showcase the utility of the features offered by our tool in a two-part RV case study. ; Supported by the doctoral student grant (No: 207055-051) and the TheoFoMon project (No: 163406-051) under the Icelandic Research Fund, the BehAPI project funded by the EU H2020 RISE under the Marie Skłodowska-Curie action (No: 778233), the ENDEAVOUR Scholarship Scheme (Group B, national funds), and the MIUR project PRIN 2017FTXR7S IT MATTERS. ; peer-reviewed