All

What are you looking for?

All
Projects
Results
Organizations

Quick search

  • Projects supported by TA ČR
  • Excellent projects
  • Projects with the highest public support
  • Current projects

Smart search

  • That is how I find a specific +word
  • That is how I leave the -word out of the results
  • “That is how I can find the whole phrase”

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