Capturing Performance Assumptions using Stochastic Performance Logic
| Název práce v češtině: | Capturing Performance Assumptions using Stochastic Performance Logic |
|---|---|
| Název v anglickém jazyce: | Capturing Performance Assumptions using Stochastic Performance Logic |
| Klíčová slova: | stochastická logika, výkonnostní testování, relativní předpoklady |
| Klíčová slova anglicky: | stochastic logic, performance testing, relative assumptions |
| Akademický rok vypsání: | 2011/2012 |
| Typ práce: | diplomová práce |
| Jazyk práce: | angličtina |
| Ústav: | Katedra distribuovaných a spolehlivých systémů (32-KDSS) |
| Vedoucí / školitel: | prof. Ing. Petr Tůma, Dr. |
| Řešitel: | skrytý - zadáno a potvrzeno stud. odd. |
| Datum přihlášení: | 08.11.2011 |
| Datum zadání: | 13.11.2011 |
| Datum potvrzení stud. oddělením: | 07.12.2011 |
| Datum a čas obhajoby: | 21.01.2013 00:00 |
| Datum odevzdání elektronické podoby: | 03.12.2012 |
| Datum odevzdání tištěné podoby: | 07.12.2012 |
| Datum proběhlé obhajoby: | 21.01.2013 |
| Oponenti: | RNDr. David Bednárek, Ph.D. |
| Zásady pro vypracování |
| 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. |
| Seznam odborné literatury |
| 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 |