Hledat
Zobrazují se záznamy 1-5 z 5
Run-time performance testing in Java
Testování výkonu za běhu v Javě
Diplomová práce (NEOBHÁJENO)
Vedoucí práce: Horký, Vojtěch
Datum publikování: 2015
Datum obhajoby: 15. 06. 2015
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Práce je zaměřena na relativní porovnávání výkonu jednotlivých metod. Základem je Stochastic Performance Logic, která například umožňuje vyjádřit, že běh jedné metody trvá nejvýše dvakrát déle než běh jiné metody. Tyto ...
This work focuses on relative comparisons of individual methods performance. It is based on Stochastic Performance Logic, which allows to express, for example, that one method runs at most two times longer than another ...
This work focuses on relative comparisons of individual methods performance. It is based on Stochastic Performance Logic, which allows to express, for example, that one method runs at most two times longer than another ...
Output breakpoints for Java
Output breakpoints for Java
Diplomová práce (OBHÁJENO)
Vedoucí práce: Kofroň, Jan
Datum publikování: 2012
Datum obhajoby: 28. 05. 2012
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Cílem této práce bylo navrhnout podporu výstupních breakpointů pro jazyk Java a implementovat navržené řešení včetně integrace do prostředí Eclipse IDE. Výstupní breakpoint představuje místo na výstupním médiu (např. soubor, ...
The goal of this thesis was to design the support for output breakpoints in the Java language and implement the designed solution including integration into the Eclipse IDE. An output breakpoint represents a location in ...
The goal of this thesis was to design the support for output breakpoints in the Java language and implement the designed solution including integration into the Eclipse IDE. An output breakpoint represents a location in ...
Run-time performance testing in Java
Testování výkonu za běhu v Javě
Diplomová práce (OBHÁJENO)
Vedoucí práce: Horký, Vojtěch
Datum publikování: 2015
Datum obhajoby: 09. 09. 2015
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Práce je zaměřena na relativní porovnávání výkonu jednotlivých metod. Základem je Stochastic Performance Logic, která například umožňuje vyjádřit, že běh jedné metody trvá nejvýše dvakrát déle než běh jiné metody. Tyto ...
This work focuses on relative comparisons of individual method's performance. It is based on Stochastic Performance Logic, which allows to express, for example, that one method runs at most two times longer than another ...
This work focuses on relative comparisons of individual method's performance. It is based on Stochastic Performance Logic, which allows to express, for example, that one method runs at most two times longer than another ...
Java Performance Testing For The Masses
Testování výkonu Javy pro každého
Diplomová práce (OBHÁJENO)
Vedoucí práce: Tůma, Petr
Datum publikování: 2018
Datum obhajoby: 12. 06. 2018
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Java is a major platform for performance sensitive applications. Unit testing of functionality has already become a common practice in software devel- opment; however, the amount of projects employing performance tests is ...
Java je jeden z hlavních jazyků pro psaní výkonově náročných aplikací. Běžnou součástí softwarového vývoje se stalo automatické testování funk- čnosti (unit testing), nicméně počet projektů zabývajících se také testováním ...
Java je jeden z hlavních jazyků pro psaní výkonově náročných aplikací. Běžnou součástí softwarového vývoje se stalo automatické testování funk- čnosti (unit testing), nicméně počet projektů zabývajících se také testováním ...
Preprocesor Java bytecode pro verifikační nástroje
Java Bytecode Preprocessor for Program Verification Tools
Diplomová práce (OBHÁJENO)
Vedoucí práce: Parízek, Pavel
Datum publikování: 2016
Datum obhajoby: 16. 06. 2016
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Nástroje J2BP a PANDA umožňují verifikovat zkompilované Java programy. V současné době tyto nástroje nejsou schopny správně zpracovat programy s určitými sekvencemi instrukcí JVM bytecodu. Tyto sekvence instrukcí jsme ...
Both J2BP and PANDA tools verify compiled Java programs. By now, these tools are not able to process some programs with specific JVM bytecode instruction sequences in the correct way. We described these instruction sequences ...
Both J2BP and PANDA tools verify compiled Java programs. By now, these tools are not able to process some programs with specific JVM bytecode instruction sequences in the correct way. We described these instruction sequences ...