Performance Problem Diagnostics by Systematic Experimentation

Performance Problem Diagnostics by Systematic Experimentation PDF Author: Wert, Alexander
Publisher: KIT Scientific Publishing
ISBN: 3731506777
Category : Electronic computers. Computer science
Languages : en
Pages : 486

Get Book Here

Book Description
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.

An Approach for Guiding Developers to Performance and Scalability Solutions

An Approach for Guiding Developers to Performance and Scalability Solutions PDF Author: Heger, Christoph
Publisher: KIT Scientific Publishing
ISBN: 373150698X
Category : Electronic computers. Computer science
Languages : en
Pages : 390

Get Book Here

Book Description
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.

Efficiently Conducting Quality-of-Service Analyses by Templating Architectural Knowledge

Efficiently Conducting Quality-of-Service Analyses by Templating Architectural Knowledge PDF Author: Lehrig, Sebastian Michael
Publisher: KIT Scientific Publishing
ISBN: 3731507560
Category : Architects
Languages : en
Pages : 552

Get Book Here

Book Description
Previously, software architects were unable to effectively and efficiently apply reusable knowledge (e.g., architectural styles and patterns) to architectural analyses. This work tackles this problem with a novel method to create and apply templates for reusable knowledge. These templates capture reusable knowledge formally and can efficiently be integrated in architectural analyses.

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 PDF Author: Omri, Fouad ben Nasr
Publisher: KIT Scientific Publishing
ISBN: 3731504723
Category : Electronic computers. Computer science
Languages : en
Pages : 190

Get Book Here

Book Description
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.

A Reference Structure for Modular Model-based Analyses

A Reference Structure for Modular Model-based Analyses PDF Author: Koch, Sandro Giovanni
Publisher: KIT Scientific Publishing
ISBN: 3731513412
Category :
Languages : en
Pages : 398

Get Book Here

Book Description
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.

Implicit Incremental Model Analyses and Transformations

Implicit Incremental Model Analyses and Transformations PDF Author: Hinkel, Georg
Publisher: KIT Scientific Publishing
ISBN: 3731507633
Category : Computers
Languages : en
Pages : 498

Get Book Here

Book Description
When models of a system change, analyses based on them have to be reevaluated in order for the results to stay meaningful. In many cases, the time to get updated analysis results is critical. This thesis proposes multiple, combinable approaches and a new formalism based on category theory for implicitly incremental model analyses and transformations. The advantages of the implementation are validated using seven case studies, partially drawn from the Transformation Tool Contest (TTC).

Automated Coevolution of Source Code and Software Architecture Models

Automated Coevolution of Source Code and Software Architecture Models PDF Author: Langhammer, Michael
Publisher: KIT Scientific Publishing
ISBN: 3731507838
Category : Computers
Languages : en
Pages : 374

Get Book Here

Book Description


Architectural Data Flow Analysis for Detecting Violations of Confidentiality Requirements

Architectural Data Flow Analysis for Detecting Violations of Confidentiality Requirements PDF Author: Seifermann, Stephan
Publisher: KIT Scientific Publishing
ISBN: 3731512467
Category : Computers
Languages : en
Pages : 412

Get Book Here

Book Description
Software vendors must consider confidentiality especially while creating software architectures because decisions made here are hard to change later. Our approach represents and analyzes data flows in software architectures. Systems specify data flows and confidentiality requirements specify limitations of data flows. Software architects use detected violations of these limitations to improve the system. We demonstrate how to integrate our approach into existing development processes.

Engineering Scalable, Elastic, and Cost-Efficient Cloud Computing Applications

Engineering Scalable, Elastic, and Cost-Efficient Cloud Computing Applications PDF Author: Steffen Becker
Publisher: Springer
ISBN: 3319542869
Category : Computers
Languages : en
Pages : 197

Get Book Here

Book Description
This book provides an overview of the problems involved in engineering scalable, elastic, and cost-efficient cloud computing services and describes the CloudScale method — a description of rescuing tools and the required steps to exploit these tools. It allows readers to analyze the scalability problem in detail and identify scalability anti-patterns and bottlenecks within an application. With the CloudScale method, software architects can analyze both existing and planned IT services. The method allows readers to answer questions like: • With an increasing number of users, can my service still deliver acceptable quality of service? • What if each user uses the service more intensively? Can my service still handle it with acceptable quality of service? • What if the number of users suddenly increases? Will my service still be able to handle it? • Will my service be cost-efficient? First the book addresses the importance of scalability, elasticity, and cost-efficiency as vital quality-related attributes of modern cloud computing applications. Following a brief overview of CloudScale, cloud computing applications are then introduced in detail and the aspects that need to be captured in models of such applications are discussed. In CloudScale, these aspects are captured in instances of the ScaleDL modeling language. Subsequently, the book describes the forward engineering part of CloudScale, which is applicable when developing a new service. It also outlines the reverse and reengineering parts of CloudScale, which come into play when an existing (legacy) service is modified. Lastly, the book directly focuses on the needs of both business-oriented and technical managers by providing guidance on all steps of implementing CloudScale as well as making decisions during that implementation. The demonstrators and reference projects described serve as a valuable starting point for learning from experience. This book is meant for all stakeholders interested in delivering scalable, elastic, and cost-efficient cloud computing applications: managers, product owners, software architects and developers alike. With this book, they can both see the overall picture as well as dive into issues of particular interest.

Architectural Alignment of Access Control Requirements Extracted from Business Processes

Architectural Alignment of Access Control Requirements Extracted from Business Processes PDF Author: Pilipchuk, Roman
Publisher: KIT Scientific Publishing
ISBN: 3731512122
Category : Computers
Languages : en
Pages : 366

Get Book Here

Book Description
Business processes and information systems evolve constantly and affect each other in non-trivial ways. Aligning security requirements between both is a challenging task. This work presents an automated approach to extract access control requirements from business processes with the purpose of transforming them into a) access permissions for role-based access control and b) architectural data flow constraints to identify violations of access control in enterprise application architectures.