Number of the records: 1
Capturing Performance Assumptions using Stochastic Performance Logic
- 1.
SYSNO ASEP 0369679 Document Type C - Proceedings Paper (int. conf.) R&D Document Type Conference Paper Title Capturing Performance Assumptions using Stochastic Performance Logic Author(s) Bulej, Lubomír (UIVT-O) RID, ORCID
Bureš, T. (CZ)
Keznikl, J. (CZ)
Koubková, A. (CZ)
Podzimek, A. (CZ)
Tůma, P. (CZ)Source Title ICPE 2012. - New York : ACM, 2012 - ISBN 978-1-4503-1202-8 Pages s. 311-322 Number of pages 12 s. Publication form Online - E Action ICPE 2012. ACM/SPEC International Conference on Performance Engineering /3./ Event date 22.04.2012-25.04.2012 VEvent location Boston Country US - United States Event type WRD Language eng - English Country US - United States Keywords performance testing ; regression benchmarking Subject RIV IN - Informatics, Computer Science R&D Projects GCP202/10/J042 GA ČR - Czech Science Foundation (CSF) CEZ AV0Z10300504 - UIVT-O (2005-2011) EID SCOPUS 84861031490 DOI 10.1145/2188286.2188345 Annotation 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. Workplace Institute of Computer Science Contact Tereza Šírová, sirova@cs.cas.cz, Tel.: 266 053 800 Year of Publishing 2013
Number of the records: 1