Empirical Research on the Application of a Structure-Based Software Reliability Model

Zhang, Jie; Shi, Ke; Xu, Chong

doi:10.1109/jas.2020.1003309

Cited by 2 publications

(1 citation statement)

References 38 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The reliability assessment approach from [34] uses software metrics for reliability modelling. This work differs from ours as it uses DTMC models built around the control transfer relationship between components and it is not directly applied on source code.…”

Section: Related Workmentioning

confidence: 99%

Probabilistic Program Performance Analysis

Stefanakos

Călinescu

Gerasimou

2021

2021 47th Euromicro Conference on Software Engineering and Advanced Applications (SEAA)

View full text Add to dashboard Cite

We introduce a tool-supported method for the formal analysis of timing, resource use, cost and other quality aspects of computer programs. The new method synthesises a Markov-chain model of the analysed code, computes this quantitative model's transition probabilities using information from program logs, and employs probabilistic model checking to evaluate the performance properties of interest. Unlike existing solutions, our method can reuse the probabilistic model to accurately predict how the program performance would change if the code ran on a different hardware platform, used a new function library, or had a different usage profile. We show the effectiveness of our method by using it to analyse the performance of Java code from the Apache Commons Math library, the Android messaging app Telegram, and an implementation of the knapsack algorithm.

show abstract

Section: Related Workmentioning

confidence: 99%