About: Capturing Performance Assumptions using Stochastic Performance Logic

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: Capturing Performance Assumptions using Stochastic Performance Logic Goto Sponge NotDistinct Permalink

An Entity of Type : http://linked.opendata.cz/ontology/domain/vavai/Vysledek, within Data Space : linked.opendata.cz associated with source document(s)

Attributes	Values
rdf:type	skos:Concept http://linked.opendata.cz/ontology/domain/vavai/Vysledek
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. 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. (en)
Title	Capturing Performance Assumptions using Stochastic Performance Logic Capturing Performance Assumptions using Stochastic Performance Logic (en)
skos:prefLabel	Capturing Performance Assumptions using Stochastic Performance Logic Capturing Performance Assumptions using Stochastic Performance Logic (en)
skos:notation	RIV/67985807:_____/12:00369679!RIV13-GA0-67985807
http://linked.open...avai/predkladatel	Ústav informatiky AV ČR, v.v.i.
http://linked.open...avai/riv/aktivita	P Z
http://linked.open...avai/riv/aktivity	P(GCP202/10/J042), Z(AV0Z10300504)
http://linked.open...vai/riv/dodaniDat	2013
http://linked.open...aciTvurceVysledku	Bulej, Lubomír
http://linked.open.../riv/druhVysledku	D - Článek ve sborníku
http://linked.open...iv/duvernostUdaju	S - Úplné a pravdivé údaje nepodléhající ochraně podle zvláštních právních předpisů
http://linked.open...titaPredkladatele	Ústav informatiky AV ČR, v. v. i.
http://linked.open...dnocenehoVysledku	125964
http://linked.open...ai/riv/idVysledku	RIV/67985807:_____/12:00369679
http://linked.open...riv/jazykVysledku	eng - angličtina
http://linked.open.../riv/klicovaSlova	performance testing; regression benchmarking (en)
http://linked.open.../riv/klicoveSlovo	performance testing regression benchmarking
http://linked.open...ontrolniKodProRIV	[B1B6893763C8]
http://linked.open...v/mistoKonaniAkce	Boston
http://linked.open...i/riv/mistoVydani	New York
http://linked.open...i/riv/nazevZdroje	ICPE 2012
http://linked.open...in/vavai/riv/obor	IN
http://linked.open...ichTvurcuVysledku	1 (xsd:int)
http://linked.open...cetTvurcuVysledku	6 (xsd:int)
http://linked.open...vavai/riv/projekt	Model-Driven Evaluation of Design Decision Impacts in Software Engineering
http://linked.open...UplatneniVysledku	2012
http://linked.open...iv/tvurceVysledku	Bureš, T. Keznikl, J. Tůma, P. Bulej, Lubomír Koubková, A. Podzimek, A.
http://linked.open...vavai/riv/typAkce	WRD - Světová
http://linked.open.../riv/zahajeniAkce	2012-04-22 (xsd:date)
http://linked.open...n/vavai/riv/zamer	Informatika pro informační společnost: modely, algoritmy, aplikace
number of pages	12 (xsd:int)
http://bibframe.org/vocab/doi	10.1145/2188286.2188345
http://purl.org/ne...btex#hasPublisher	ACM
https://schema.org/isbn	978-1-4503-1202-8
is http://linked.open...avai/riv/vysledek of	Capturing Performance Assumptions using Stochastic Performance Logic

Faceted Search & Find service v1.16.118 as of Jun 21 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3240 as of Jun 21 2024, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (126 GB total memory, 58 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software