|
|
Extrakce grafu toku řízení z formátu LLVM IR
Kondula, Václav ; Šoková, Veronika (oponent) ; Smrčka, Aleš (vedoucí práce)
Tato bakalářská práce se zabývá návrhem a implementací extrakce grafů toku řízení ze zdrojových souborů jazyků C a C++ ve formátu LLVM IR. K tomu účelu bylo použito rozhraní LibTooling překladače Clang, pomocí něhož byl tento extraktor implementován jako samostatný nástroj. Výstup programu odpovídá požadavkům platformy Testos, jemuž poskytuje data pro automatické generování testovacích požadavků na základě specifického pokrytí.
|
|
|
Analýza architektury a nadstavbových možností frameworku JUnit
Kadeřábek, Martin ; Pecinovský, Rudolf (vedoucí práce) ; Pavlíčková, Jarmila (oponent)
JUnit představuje jeden z nejoblíbenějších testovacích frameworků v programovacím jazyce Java. V blízké budoucnosti je plánováno vydání nové verze, pojmenované jako JUnit 5. JUnit 5 přináší novou koncepci a nové možnosti pro psaní jednotkových testů. Hlavním předmětem této bakalářské práce je analýza konceptu, architektury a nadstavbových možností vyvíjeného frameworku JUnit 5. K tomu práce využívá výklad jednotlivých novinek doplněný ukázkovými příklady. Bakalářská práce čtenáře seznamuje s novou architekturou a novými možnostmi frameworku JUnit 5. První polovina práce se věnuje jednotkovému testování. Dává ho do kontextu testování softwaru a zařazuje framework JUnit mezi ostatní testovací frameworky. Druhá polovina práce se věnuje výhradně nové verzi frameworku JUnit. Analyzuje jeho celkovou architekturu a jeho možnosti pro psaní testů. Na závěr je předestřeno doporučení do výuky na základě této analýzy.
|
|
|
Run-time performance testing in Java
Kotrč, Jaroslav ; Horký, Vojtěch (vedoucí práce) ; Tůma, Petr (oponent)
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 výsledky jsou přenositelnější než absolutní hodnoty. Standardní testy jednotek (metod) jsou rozšířeny o výkonnostní předpoklady a vyhodnoceny za skutečného běhu reálné aplikace. Produkční kód je automaticky upravován pomocí dynamicky přidávné a odebírané instrumentace. Pro instrumentaci je použit nástroj DiSL, což umožňuje hladce měřit i systémové třídy Javy. Metody jsou měřeny postupně, počet souběžně měřených metod se dynamicky mění a měřící kód je odstraněn, jakmile jsou získána potřebná data. Výsledky ukazují, že tímto způsobem lze snížit maximální okamžitý vliv měření na aplikaci oproti měření všech metod najednou. Srovnáním s nástrojem JMH se ukázalo, že vytvořený prototyp je schopen přesného měření metod běžících déle než 1 ms. Powered by TCPDF (www.tcpdf.org)
|
|
|
Run-time performance testing in Java
Kotrč, Jaroslav ; Horký, Vojtěch (vedoucí práce) ; Tůma, Petr (oponent)
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 výsledky jsou přenositelnější než absolutní hodnoty. Standartní testy jednotek jsou rozšířeny o výkonnostní předpoklady a vyhodnoceny za skutečného běhu reálné aplikace. Instrumentace kódu je dynamicky přidána a odebrána kvůli automatické úpravě produkčního kódu. Pro instrumentaci je použit nástroj DiSL, což umožňuje hladce měřit i systémové třídy Javy. Metody jsou měřeny postupně, počet souběžně měřených metod se dynamicky mění a měřící kód je odstraněn, jakmile jsou získána potřebná data kvůli snížení vlivu měření. Výsledky ukazují, že pro aplikace náročné na procesor lze takto dosáhnout až 3-krát nižšího maximálního okamžitého vlivu měření než při měření všech metod najednou. Powered by TCPDF (www.tcpdf.org)
|
|
|
Návrh a implementace průběžné integrace ve společnosti Logio
Muráň, Michal ; Kreslíková, Jitka (oponent) ; Očenášek, Pavel (vedoucí práce)
Tato diplomová práce popisuje možnost využití průběžné integrace a testování ve skutečné společnosti Logio. Výsledkem práce je implementace průběžné integrace v nástroji Jenkins a specifického testování pro firmu Logio. Teoretická část se zabývá základními principy, technikami a nástroji definujících průběžnou integraci. Následně jsou popsané již existující nástroje určené pro programovací jazyk PHP. Práce také rozebírá různé druhy a alternativy testování aplikací. Vysvětluje též problémy ve vývoji produktu ve společnosti Logio, které jsou důsledkem potřeby zavedení technik průběžné integrace. Praktická část práce popisuje implementaci testovacího rámce PwTester a jeho využití v průběžné integraci. Na závěr práce jsou zhodnoceny dosažené výsledky a nastíněné možnosti rozšíření.
|
|
|
Systém pro kontinuální integraci projektu k-Wave
Nečas, Radek ; Kešner, Filip (oponent) ; Jaroš, Jiří (vedoucí práce)
Tato práce se zabývá zavedením metodik a nástrojů postupné integrace do reálného projektu k-Wave. Věnuji se především verzi psané v jazyce C/C++ s využitím knihovny OpenMP, která je určená pro běh na superpočítačích. Projekt, díky svým vlastnostem a potřebám, nezapadá mezi běžné projekty, do kterých se postupná integrace zavádí. Z toho důvodu musela být řada běžných postupů upravena a bylo nutné vymyslet některé vlastní. Práce popisuje kompletní sestavení prakticky použitelného řešení. Pokrývá jeho návrh, výběr potřebných nástrojů, zprovoznění běhového prostředí, konfiguraci a nastavení služeb, ze kterých se řešení skládá a softwarovou implementaci frameworku pro běh testů na superpočítačích včetně realizace některých regresních a unit testů. Realizace je postavena na službách Gitlab a Jenkins, které běží v oddělených Docker kontejnerech.
|
|
|
Jednotkové testování zobrazovacího jádra prohlížeče
Šťastný, Michal ; Milička, Martin (oponent) ; Burget, Radek (vedoucí práce)
Tato bakalářská práce je zaměřena na jednotkové testování zobrazovacího jádra prohlížeče pomocí nástroje JUnit. V práci je popsána architektura zobrazovacího jádra CSSBox a seznámení se s nástrojem pro jednotkové testování JUnit. Dále je v práci uveden návrh rámce umožňující tvorbu testů včetně jeho implementace a implementace testů zvolených vlastností CSS. Na závěr jsou shrnuty výsledky těchto testů a návrh možných rozšíření.
|
|
|
Webová aplikace zprostředkovávající výsledky testování výkonu platformy JBoss
Vlasák, Jaroslav ; Letko, Zdeněk (oponent) ; Kočí, Radek (vedoucí práce)
Tato diplomová práce se zabývá vývojem aplikace typu klient-server pro firmu Red Hat. Klientská aplikace se účastní procesu testování platformy JBoss a získává uživatelem definovaná výkonnostní data, která v průběhu testování odesílá serverové aplikaci platformě nezávislou komunikací. Serverová aplikace umožňuje přijatá data analyzovat a několika pohledy vzájemně porovnávat. Tyto služby pro analýzu a srovnávaní dat jsou uživatelům serverové aplikace dostupné prostřednictvím webového klienta. Serverová aplikace rovněž podporuje import výkonnostních dat uložených v XML souboru a také jejich export pro portál qVue. Klientská část aplikace je implementována v jazyce Java a její serverová část je postavena na platformě Java EE.
|
|
|
Moderní technologie pro vývoj J2EE aplikací
Ondrušek, Libor ; Očenášek, Pavel (oponent) ; Trchalík, Roman (vedoucí práce)
Tato bakalářská práce by měla jednoduchým způsobem ukázat využitelnost moderních technologií pro vývoj rozsáhlých podnikových aplikací a názorným způsobem přiblížit vývoj takovýchto aplikací na praktickém příkladu. Jádrem práce je teoretický rozbor technologií Java, zejména vývojových rámců Spring a Hibernate. Teoretická část je názorně doplněna praktickou implementací.
|
|
|
Frameworky pro jednotkové testování v jazyce Scala
Kolmistr, Tomáš ; Pavlíčková, Jarmila (vedoucí práce) ; Šlajchrt, Zbyněk (oponent)
Tato práce se zabývá frameworky pro jednotkové testování v programovacím jazyce Scala. Celkem je v práci představeno pět frameworků, z čehož dva jsou určeny pro jednotkové testování s mock objekty a tři bez mock objektů. První, teoretická část práce má za cíl čtenáře seznámit s pojmy ohledně testování a s jazykem Scala. V další části si práce klade za cíl specifikovat kritéria pro vyběr samotných frameworků včetně kritérií pro jejich následné porovnání. V praktické části jsou na demonstrativní aplikaci napsány jednotkové testy dle testovacích scénářů a provedeno slovní porovnání všech frameworků.
|
host ::
RSS.