Capturing Performance Assumptions using Stochastic Performance Logic
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11320%2F12%3A10108148" target="_blank" >RIV/00216208:11320/12:10108148 - isvavai.cz</a>
Alternative codes found
RIV/67985807:_____/12:00369679
Result on the web
<a href="http://dl.acm.org/citation.cfm?id=2188345" target="_blank" >http://dl.acm.org/citation.cfm?id=2188345</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1145/2188286.2188345" target="_blank" >10.1145/2188286.2188345</a>
Alternative languages
Result language
angličtina
Original language name
Capturing Performance Assumptions using Stochastic Performance Logic
Original language description
Compared to functional unit testing, automated performance testing is difficult, partially because correctness criteria are more difficult to express for performance than for functionality. Where existing approaches rely on absolute bounds on the execution time, we aim to express assertions on code performance in relative, hardware-independent terms. To this end, we introduce Stochastic Performance Logic (SPL), which allows making statements about relative method performance. Since SPL interpretation is based on statistical tests applied to performance measurements, it allows (for a special class of formulas) calculating the minimum probability at which a particular SPL formula holds. We prove basic properties of the logic and present an algorithm for SAT-solver-guided evaluation of SPL formulas, which allows optimizing the number of performance measurements that need to be made. Finally, we propose integration of SPL formulas with Java code using higher-level performance annotations, for performance testing and documentation purposes.
Czech name
—
Czech description
—
Classification
Type
D - Article in proceedings
CEP classification
JC - Computer hardware and software
OECD FORD branch
—
Result continuities
Project
Result was created during the realization of more than one project. More information in the Projects tab.
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Others
Publication year
2012
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Article name in the collection
Proceedings of the 3rd joint WOSP/SIPEW International Conference on Performance Engineering
ISBN
978-1-4503-1202-8
ISSN
—
e-ISSN
—
Number of pages
12
Pages from-to
311-322
Publisher name
ACM
Place of publication
New York, NY, USA
Event location
Boston, USA
Event date
Apr 22, 2012
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
—