Download of cz.cuni.mff.spl.eclipseplugin.SPLToolsEclipsePlugin.feature_1.0.0.b20130404_01.jar (cz.cuni.mff.spl.eclipseplugin.SPLToolsEclipsePlugin.feature_1.0.0.b20130404_01.jar ( external link: SF.net): 1,702 bytes) will begin shortly. If not so, click link on the left.
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. The assumption is then checked at build time in a similar way as standard unit testing. In other words, SPL is about introducing performance assert().
The advantage of SPL in comparison with other similar solutions includes following. SPL formulas uses well-defined logic and statistically sound testing (such as t-test). Next, SPL is aimed at automatic evaluation. And finally, SPL formulas uses relative comparisons (opposed to comparing against fixed time) to provide better portability.
