Deriving Goal-oriented Performance Models by Systematic Experimentation
Deriving Goal-oriented Performance Models by Systematic Experimentation

Author: Westermann, Dennis

Publisher: KIT Scientific Publishing

Published: 2014-04-10

Total Pages: 300

ISBN-13: 3731501651

DOWNLOAD EBOOK

Performance modelling can require substantial effort when creating and maintaining performance models for software systems that are based on existing software. Therefore, this thesis addresses the challenge of performance prediction in such scenarios. It proposes a novel goal-oriented method for experimental, measurement-based performance modelling. We validated the approach in a number of case studies including standard industry benchmarks as well as a real development scenario at SAP.

Performance Problem Diagnostics by Systematic Experimentation
Performance Problem Diagnostics by Systematic Experimentation

Author: Wert, Alexander

Publisher: KIT Scientific Publishing

Published: 2018-03-29

Total Pages: 486

ISBN-13: 3731506777

DOWNLOAD EBOOK

In this book, we introduce an automatic, experiment-based approach for performance problem diagnostics in enterprise software systems. The proposed approach systematically searches for root causes of detected performance problems by executing series of systematic performance tests. The presented approach is evaluated by various case studies showing that the presented approach is applicable to a wide range of contexts.

Automated Experiments for Deriving Performance-relevant Properties of Software Execution Environments
Automated Experiments for Deriving Performance-relevant Properties of Software Execution Environments

Author: Hauck, Michael

Publisher: KIT Scientific Publishing

Published: 2014-02-11

Total Pages: 346

ISBN-13: 3731501384

DOWNLOAD EBOOK

The software execution environment can play a crucial role when analyzing the performance of a software system. In this book, a novel approach for the automated detection of performance-relevant properties of the execution environment is presented. The properties are detected using predefined experiments and integrated into performance prediction tools. The approach is applied to experiments for detecting different CPU, OS, and virtualization properties, and validated in different case studies.

Model-Based Performance Prediction for Concurrent Software on Multicore Architectures---A Simulation-Based Approach
Model-Based Performance Prediction for Concurrent Software on Multicore Architectures---A Simulation-Based Approach

Author: Frank, Markus Kilian

Publisher: KIT Scientific Publishing

Published: 2022-07-18

Total Pages: 400

ISBN-13: 3731511460

DOWNLOAD EBOOK

Die modellbasierte Performancevorhersage ist ein bekanntes Konzept zur Gewährleistung der Softwarequalität. Derzeitige Ansätze basieren auf einem Modell mit einer Metrik, was zu ungenauen Vorhersagen für moderne Architekturen führt. In dieser Arbeit wird ein Multi-Strategie-Ansatz zur Erweiterung von Performancevorhersagemodellen zur Unterstützung von Multicore-Architekturen vorgestellt, in Palladio implementiert und dadurch die Genauigkeit der Vorhersage deutlich verbessert. - Model-based performance prediction is a well-known concept to ensure the quality of software. Current approaches are based on a single-metric model, which leads to inaccurate predictions for modern architectures. This thesis presents a multi-strategies approach to extend performance prediction models to support multicore architectures. We implemented the strategies into Palladio and significantly increased the performance prediction power.

Weighted Statistical Testing based on Active Learning and Formal Verification Techniques for Software Reliability Assessment
Weighted Statistical Testing based on Active Learning and Formal Verification Techniques for Software Reliability Assessment

Author: Omri, Fouad ben Nasr

Publisher: KIT Scientific Publishing

Published: 2018-12-11

Total Pages: 190

ISBN-13: 3731504723

DOWNLOAD EBOOK

This work developed an automatic approach for the assessment of software reliability which is both theoretical sound and practical. The developed approach extends and combines theoretical sound approaches in a novel manner to systematically reduce the overhead of reliability assessment.

An Approach for Guiding Developers to Performance and Scalability Solutions
An Approach for Guiding Developers to Performance and Scalability Solutions

Author: Heger, Christoph

Publisher: KIT Scientific Publishing

Published: 2018-09-05

Total Pages: 390

ISBN-13: 373150698X

DOWNLOAD EBOOK

The quality of enterprise software applications plays a crucial role for the satisfaction of the users and the economic success of the enterprises. Software applications with unsatisfying performance and scalability are perceived by its users as low in quality, as less interesting and less attractive, and cause frustration when preventing the users from attaining their goals. This book proposes an approach for a recommendation system that enables developers who are novices in software perform.

A Reference Structure for Modular Model-based Analyses
A Reference Structure for Modular Model-based Analyses

Author: Koch, Sandro Giovanni

Publisher: KIT Scientific Publishing

Published: 2024-04-25

Total Pages: 398

ISBN-13: 3731513412

DOWNLOAD EBOOK

In this work, the authors analysed the co-dependency between models and analyses, particularly the structure and interdependence of artefacts and the feature-based decomposition and composition of model-based analyses. Their goal is to improve the maintainability of model-based analyses. They have investigated the co-dependency of Domain-specific Modelling Languages (DSMLs) and model-based analyses regarding evolvability, understandability, and reusability.

Building Transformation Networks for Consistent Evolution of Interrelated Models
Building Transformation Networks for Consistent Evolution of Interrelated Models

Author: Klare, Heiko

Publisher: KIT Scientific Publishing

Published: 2022-03-24

Total Pages: 596

ISBN-13: 3731511320

DOWNLOAD EBOOK

Complex software systems are described with multiple artifacts, such as code, design diagrams and others. Ensuring their consistency is crucial and can be automated with transformations for pairs of artifacts. We investigate how developers can combine independently developed and reusable transformations to networks that preserve consistency between more than two artifacts. We identify synchronization, compatibility and orchestration as central challenges, and we develop approaches to solve them.