|
|
Test Driven Development for FPGA Designs
Halász, Dávid ; Strnadel, Josef (oponent) ; Šimek, Václav (vedoucí práce)
This bachelor's thesis describes, how test-driven development can be used in hardware, especially for FPGA development. The essential theory for understanding the context is described. Some available tools for assertion-based hardware verification and unit-testing are presented and demonstrated on a reference design. One of the introduced tools was selected and with that a test-driven developed SPI interface was created and successfully verified.
|
|
| |
|
|
Překlad podmnožiny jazyka PHP do C++
Nechutný, Stanislav ; Matula, Peter (oponent) ; Křivka, Zbyněk (vedoucí práce)
Tato práce se zaměřuje na návrh a tvorbu nástroje pro automatizovaný překlad funkcí napsaných v podmnožině jazyka PHP do C++. Vygenerovaný zdrojový kód je možno zkompilovat jako rozšíření PHP a zavést stejným způsobem jako například MySQL, PDO, GD apod. Ve výsledku je tedy možno zavolat tyto funkce z PHP, jako by se jednalo o původní interpretovanou funkci. Předpokladem je však rozdíl v rychlosti vykonávání, protože odpadá analýza zdrojových kódů, jejich interpretace, či režie způsobená správou paměti. Vytvořený nástroj provádí převod zdrojového kódu do abstraktního syntaktického stromu, staticky jej analyzuje pro určení datových typů proměnných, a následně provádí generování C++ kódu. Výsledné zrychlení pak záleží na charakteristice překládaného kódu a praktické použití je prozatím komplikované kvůli implementaci podmnožiny PHP.
|
|
|
Konferenční informační systém
Bednář, Martin ; Rychlý, Marek (oponent) ; Křivka, Zbyněk (vedoucí práce)
Platforma .NET nabízí množství rámců, technologií a přístupů pro vývoj webových aplikací. Orientace v nich je základem pro výběr efektivních implementačních technologií. Cílem práce bylo vytvořit konferenční informační systém jako webovou aplikaci na platformě .NET pro neziskovou organizaci Zámecké návrší, p.o. včetně zajištění jejího nasazení a provozu v produkčním prostředí. Před zahájením vývoje bylo nutné seznámit se s platformou .NET a porovnat rámce pro webový vývoj. V práci je představena vhodnost jednotlivých rámců pro různé druhy aplikací. Na základě analýzy prostředí .NET byl pro implementaci konferenčního informačního systému vybrán rámec DotVVM. Vývoj aplikační logiky probíhal metodou testy řízený vývoj. Díky kombinaci vhodných rámců, technologií a přístupů bylo dosaženo efektivního vývoje s úspěšným vytvořením bezpečné a rychlé webové aplikace.
|
|
|
Test Suite of the EAS Framework
Mazáková, Júlia ; Janoušek, Vladimír (oponent) ; Smrčka, Aleš (vedoucí práce)
This work focuses on the software testing of the system with an emphasis on lower layers of testing, which includes unit and integration testing. The primary objective is to showcase the testing process using the EAS (Effective Agenda System) framework, starting with the test plan process followed by the creation of the final test suite that will evaluate the performance of the system's backend microservices. This test suite covers a significant part of the system's functionality. The results are stored and analyzed in the final test report. Performed analysis of the system and the final suite serve as valuable assets in the context of testing.
|
|
|
Test Driven Development for FPGA Designs
Halász, Dávid ; Strnadel, Josef (oponent) ; Šimek, Václav (vedoucí práce)
This bachelor's thesis describes, how test-driven development can be used in hardware, especially for FPGA development. The essential theory for understanding the context is described. Some available tools for assertion-based hardware verification and unit-testing are presented and demonstrated on a reference design. One of the introduced tools was selected and with that a test-driven developed SPI interface was created and successfully verified.
|
|
|
Konferenční informační systém
Bednář, Martin ; Rychlý, Marek (oponent) ; Křivka, Zbyněk (vedoucí práce)
Platforma .NET nabízí množství rámců, technologií a přístupů pro vývoj webových aplikací. Orientace v nich je základem pro výběr efektivních implementačních technologií. Cílem práce bylo vytvořit konferenční informační systém jako webovou aplikaci na platformě .NET pro neziskovou organizaci Zámecké návrší, p.o. včetně zajištění jejího nasazení a provozu v produkčním prostředí. Před zahájením vývoje bylo nutné seznámit se s platformou .NET a porovnat rámce pro webový vývoj. V práci je představena vhodnost jednotlivých rámců pro různé druhy aplikací. Na základě analýzy prostředí .NET byl pro implementaci konferenčního informačního systému vybrán rámec DotVVM. Vývoj aplikační logiky probíhal metodou testy řízený vývoj. Díky kombinaci vhodných rámců, technologií a přístupů bylo dosaženo efektivního vývoje s úspěšným vytvořením bezpečné a rychlé webové aplikace.
|
|
| |
|
|
Překlad podmnožiny jazyka PHP do C++
Nechutný, Stanislav ; Matula, Peter (oponent) ; Křivka, Zbyněk (vedoucí práce)
Tato práce se zaměřuje na návrh a tvorbu nástroje pro automatizovaný překlad funkcí napsaných v podmnožině jazyka PHP do C++. Vygenerovaný zdrojový kód je možno zkompilovat jako rozšíření PHP a zavést stejným způsobem jako například MySQL, PDO, GD apod. Ve výsledku je tedy možno zavolat tyto funkce z PHP, jako by se jednalo o původní interpretovanou funkci. Předpokladem je však rozdíl v rychlosti vykonávání, protože odpadá analýza zdrojových kódů, jejich interpretace, či režie způsobená správou paměti. Vytvořený nástroj provádí převod zdrojového kódu do abstraktního syntaktického stromu, staticky jej analyzuje pro určení datových typů proměnných, a následně provádí generování C++ kódu. Výsledné zrychlení pak záleží na charakteristice překládaného kódu a praktické použití je prozatím komplikované kvůli implementaci podmnožiny PHP.
|
|
|
Testy řízený vývoj na platformě .NET
Bárta, Jan ; Buchalcevová, Alena (vedoucí práce) ; Vít, Jan (oponent)
Testy řízený vývoj softwaru (TDD) je komplexní agilní metodika, která se nezabývá pouze testováním, ale obecně vývojem softwaru. Tato práce představuje obecné principy TDD, ale také konkrétní postupy a praktiky na platformě Microsoft .NET. V práci jsou uvedeny příklady podpůrných aplikací, které jsou pro TDD na této platformě vhodné, a dále prak- tické ukázky kódu v programovacím jazyce C#. Na těchto ukázkách je předváděn apliko- vaný proces testy řízeného vývoje. Práce se dále věnuje nejenom samotnému TDD, ale také pojmům, které s ním souvisí. Jed- na z kapitol je věnována obecně testování softwaru, automatizovaným testům, či agilním metodikám, ke kterým TDD patří. Práce se dále zaměřuje na požadavky, které jsou kladeny na testy i na vyvíjenou a testova- nou aplikaci. Pro úspěšné aplikování TDD je nutné dodržet některé postupy a omezení. Pokud by nebyly dodržovány, může se stát testy řízený vývoj neefektivní a náročný pří- stup. V opačném případě je to ideální nástroj pro produkování kvalitního kódu.
|
host ::
RSS.