Počet záznamů: 1
Capturing Performance Assumptions using Stochastic Performance Logic
- 1.
SYSNO ASEP 0369679 Druh ASEP C - Konferenční příspěvek (mezinárodní konf.) Zařazení RIV D - Článek ve sborníku Název Capturing Performance Assumptions using Stochastic Performance Logic Tvůrce(i) Bulej, Lubomír (UIVT-O) RID, ORCID
Bureš, T. (CZ)
Keznikl, J. (CZ)
Koubková, A. (CZ)
Podzimek, A. (CZ)
Tůma, P. (CZ)Zdroj.dok. ICPE 2012. - New York : ACM, 2012 - ISBN 978-1-4503-1202-8 Rozsah stran s. 311-322 Poč.str. 12 s. Forma vydání Online - E Akce ICPE 2012. ACM/SPEC International Conference on Performance Engineering /3./ Datum konání 22.04.2012-25.04.2012 Místo konání Boston Země US - Spojené státy americké Typ akce WRD Jazyk dok. eng - angličtina Země vyd. US - Spojené státy americké Klíč. slova performance testing ; regression benchmarking Vědní obor RIV IN - Informatika CEP GCP202/10/J042 GA ČR - Grantová agentura ČR CEZ AV0Z10300504 - UIVT-O (2005-2011) EID SCOPUS 84861031490 DOI 10.1145/2188286.2188345 Anotace 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. Pracoviště Ústav informatiky Kontakt Tereza Šírová, sirova@cs.cas.cz, Tel.: 266 053 800 Rok sběru 2013
Počet záznamů: 1