Logo eprints

Automated Learning of Quantitative Software Models from System Traces

Napolitano, Annalisa (2022) Automated Learning of Quantitative Software Models from System Traces. Advisor: Tribastone, Prof. Mirco. pp. 124. [IMT PhD Thesis]

[img] Text (Doctoral thesis)
Napolitano_phdthesis.pdf - Published Version
Available under License Creative Commons Attribution Non-commercial Share Alike.

Download (2MB)

Abstract

Models are primary artifacts in software system development. In particular, performance models allow us to evaluate and reason about extra-functional properties, such as the aver- age response time and throughput, for which meeting ade- quate quality levels is increasingly important. Indeed, per- formance quality is considered as essential as correctness in many practical development scenarios. Markov processes are valuable models for the qualitative analysis of performance. In this thesis, we will present statistical methods that learn Markov models directly from the running software system traces. We will focus on two classes of processes: with and without memory. In the first scenario, we aim to learn funda-mental performance metrics, i.e., service demands and rout-ing probabilities, using queuing networks (QN). For processes with memory, instead, we will exploit variable length Markov chains (VLMC) to capture data dependencies throughout the traces of system executions. The conducted numerical eval-uations, the presented in-depth study of the literature, and the performed appropriate comparisons with similar tools al-low us to demonstrate how the approaches presented in this work constitute a significant step forward concerning state of the art.

Item Type: IMT PhD Thesis
Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
PhD Course: Computer science and systems engineering
Identification Number: https://doi.org/10.13118/imtlucca/e-theses/351
NBN Number: [error in script]
Date Deposited: 16 Jun 2022 10:25
URI: http://e-theses.imtlucca.it/id/eprint/351

Actions (login required, only for staff repository)

View Item View Item