Napolitano, Annalisa (2022) Automated Learning of Quantitative Software Models from System Traces. Advisor: Tribastone, Prof. Mirco. pp. 124. [IMT PhD Thesis]
![[img]](http://e-theses.imtlucca.it/style/images/fileicons/text.png) |
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: | urn:nbn:it:imtlucca-28306 |
| 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 |
