By the same authors

Accurate Analysis of Quality Properties of Software with Observation-Based Markov Chain Refinement

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Full text download(s)

Author(s)

Department/unit(s)

Publication details

Title of host publicationIEEE International Conference on Software Architecture (ICSA 2017)
DateAccepted/In press - 2017
PublisherIEEE
Original languageEnglish

Abstract

We introduce a tool-supported method for the automated refinement of continuous-time Markov chains (CTMCs) used to assess quality properties of component-based software. Existing research focuses on improving the efficiency of CTMC analysis and on identifying new applications for this analysis. As such, ensuring that the analysis is accurate by using CTMCs that closely model the behaviour of the analysed software has received relatively little attention. Our new method addresses this gap by refining the high-level CTMC model of a component-based software system based on observations of the execution times of its components. Our refinement method reduced analysis errors by 77–90.3% for a service-based system implemented using six public web services from three different providers, improving the accuracy of the analysis and significantly reducing the risk of invalid software engineering decisions.

Discover related content

Find related publications, people, projects, datasets and more using interactive charts.

View graph of relations