SPL tools for Java 1.0

Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11320%2F13%3A10195021" target="_blank" >RIV/00216208:11320/13:10195021 - isvavai.cz</a>
Result on the web
<a href="http://d3s.mff.cuni.cz/software/spl-java" target="_blank" >http://d3s.mff.cuni.cz/software/spl-java</a>
DOI - Digital Object Identifier
—

Result language
angličtina
Original language name
SPL tools for Java 1.0
Original language description
Stochastic Performance Logic (SPL) serves for capturing performance assumptions. With SPL, it is possible to annotate Java functions with assumptions stating, for example, that the annotated function is at most three times slower than array copying. Theassumption is then checked at build time in a similar way as standard unit testing. In other words, SPL is about introducing performance assert(). Important feature is that it is possible to easily add regression tests stating that current version of a certain method is faster than in the previous version (release). This software is an implementation of this principle for Java. The framework consists of a plugin for Eclipse, Hudson and a command-line tool for manual execution. The command-line tool canbe used in scripts and other automation processes and offers the following: decide which methods to measure, checkout referenced revisions, build the code that shall be measured, run the measurements and evaluate SPL formulas. The measure
Czech name
—
Czech description
—

Publication year
2013
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Similar results(10)