http://dl.gi.de/handle/20.500.12116/39779 Tue, 21 Jul 2026 14:24:58 GMT 2026-07-21T14:24:58Z http://dl.gi.de/handle/20.500.12116/39801 Combating Run-time Performance Bugs with Performance Claim Annotations Casey, Zachery; Shah, Michael D. Kelter, Udo Bugs in software are classified by a failure to meet some aspect of a specification. A piece of code which does not match the performance given by a specification contains a performance bug. We believe there is a need for better in-source language support and tools to assist a developer in mitigating and documenting performance bugs during the software development life cycle. In this paper, we present our performance claim annotation framework for specifying and monitoring the performance of a program. A performance claim annotation (PCA) is written by a programmer to assert a section of code’s run-time execution coincides with a specific metric (e.g. time elapsed) and they want to perform some action, typically logging, if the code fails to match the metric during execution. Our implementation uses a combination of the DWARF debugging format and the Pin dynamic binary instrumentation tool to provide an interface for building, using, and checking performance claims in order to reduce performance bugs during the development life cycle. Wed, 01 Jan 2020 00:00:00 GMT http://dl.gi.de/handle/20.500.12116/39801 2020-01-01T00:00:00Z http://dl.gi.de/handle/20.500.12116/39799 11th Symposium on Software Performance (SSP) Müller, Richard; Eisenecker, Ulrich Kelter, Udo Almost 50 participants from Germany, Austria, USA, Canada, and India have attended the 11th Symposium on Software Performance (SSP). Because of Corona it took place as a virtual event for the first time. The program comprises two industry talks from the sponsors, fifteen paper presentations, and nine industry or experience talks. Wed, 01 Jan 2020 00:00:00 GMT http://dl.gi.de/handle/20.500.12116/39799 2020-01-01T00:00:00Z http://dl.gi.de/handle/20.500.12116/39800 Supporting Backward Transitions within Markov Chains when Modeling Complex User Behavior in the Palladio Component Model Barnert, Maximilian; Krcmar, Helmut Kelter, Udo The specification of complex user behavior as accurate as possible is required in order to evaluate performance characteristics for application systems. Approaches exist to model probabilistic aspects within user behavior for session-based application systems using Markov chains. To integrate these approach into performance prediction activities, the authors transform the workload specifications of WESSBAS into performance model instances of the Palladio Component Model (PCM). This paper presents our approach to enable backward transitions within Markov chains using available elements of the PCM meta-model. By extending the existing approach, further complexity within workload for application systems is supported during performance modeling. Wed, 01 Jan 2020 00:00:00 GMT http://dl.gi.de/handle/20.500.12116/39800 2020-01-01T00:00:00Z http://dl.gi.de/handle/20.500.12116/39798 Automatisierte Erfassung von Nutzungsdaten mobiler Apps zur Verbesserung der App-Qualität - Ein Erfahrungsbericht Elberzhager, Frank; Karn, Britta; Scherr, Simon André; Immich, Thomas Kelter, Udo Nutzerfeedback gewinnt zunehmend an Bedeutung im Rahmen der App-Entwicklung. Entwickler können damit schnell erfassen, was Nutzer über die eigene App denken, wo Qualitätsprobleme liegen, und welche neuen Funktionen gewünscht werden. Im Rahmen des Opti4Apps Projekts wurde ein Prozess zur systematischen Nutzung unterschiedlichen Feedbacks in agilen Prozessen entwickelt und im Rahmen einer Studie evaluiert. In diesem Beitrag möchten wir Erkenntnisse aus der Studie zur automatisierten Erhebung von Nutzungsfeedback darstellen und aufzeigen, wie Verbesserungspotential aus dem erfassten Nutzerfeedback abgeleitet werden konnte. Wed, 01 Jan 2020 00:00:00 GMT http://dl.gi.de/handle/20.500.12116/39798 2020-01-01T00:00:00Z