Capturing Performance Assumptions using Stochastic Performance Logic
| Thesis title in Czech: | Capturing Performance Assumptions using Stochastic Performance Logic |
|---|---|
| Thesis title in English: | Capturing Performance Assumptions using Stochastic Performance Logic |
| Key words: | stochastická logika, výkonnostní testování, relativní předpoklady |
| English key words: | stochastic logic, performance testing, relative assumptions |
| Academic year of topic announcement: | 2011/2012 |
| Thesis type: | diploma thesis |
| Thesis language: | angličtina |
| Department: | Department of Distributed and Dependable Systems (32-KDSS) |
| Supervisor: | prof. Ing. Petr Tůma, Dr. |
| Author: | hidden - assigned and confirmed by the Study Dept. |
| Date of registration: | 08.11.2011 |
| Date of assignment: | 13.11.2011 |
| Confirmed by Study dept. on: | 07.12.2011 |
| Date and time of defence: | 21.01.2013 00:00 |
| Date of electronic submission: | 03.12.2012 |
| Date of submission of printed version: | 07.12.2012 |
| Date of proceeded defence: | 21.01.2013 |
| Opponents: | RNDr. David Bednárek, Ph.D. |
| Guidelines |
| Compared to functional unit testing, automated performance testing is difficult, partially because correctness criteria are more difficult to express for performance than for functionality. The goal of the thesis is to investigate a recently proposed approach that expresses assertions on code performance in relative, hardware-independent terms. The approach relies on Stochastic Performance Logic (SPL), which allows making statements about relative method performance. The thesis should:
- Implement a system for evaluating SPL expressions. The system should be open with respect to adding SPL interpretations. - Test the practical usefulness of the approach on development history of selected existing applications. - Implement an annotation system for using SPL expressions in Java. |
| References |
| Lubomír Bulej, Tomáš Bureš, Jaroslav Keznikl, Andrej Podzimek, Petr Tuma: Capturing Performance Assumptions using Stochastic Performance Logic (submitted)
Brent Boyer: Robust Java benchmarking - http://public.dhe.ibm.com/software/dw/java/j-benchmark1-pdf.pdf - http://download.boulder.ibm.com/ibmdl/pub/software/dw/java/j-benchmark2-pdf.pdf |