|
|
Statická analýza v nástroji Facebook Infer zaměřená na detekci uváznutí
Marcin, Vladimír ; Rogalewicz, Adam (oponent) ; Vojnar, Tomáš (vedoucí práce)
Statická analýza dnes patrí medzi najpopulárnejšie metódy na odhaľovanie chýb v modernom softvéri, no častým problémom dostatočne presných statických analyzátorov je ich škálovateľnosť. Mnohé efektívne analyzátory (napr.:Coverity, KlockWork, atď.) sú navyše proprietárne, čím sa ich ďalšia rozšíriteľnosť a použitie stávajú obťažnými. Pokrok v tejto oblasti prináša Facebook Infer, ktorý ponúka open-source framework na tvorbu kompozičných a inkrementálnych statických analýz. V tejto práci predstavujeme vlastný Low-Level Deadlock Detector (L2D2), ktorý rozširuje funkcionalitu Inferu. Náš algoritmus spĺňa princípy kompozičnej analýzy, založenej na kontextovo nezávislom výpočte súhrnu pre každú funkciu, čo má za následok jeho vysokú škálovateľnosť. Algoritmus sme implementovali a overili na sade príkladov z Debian GNU/Linux, ktorá pozostávala z 11.4 MLOC. Aj keď náš prístup nie je ani presný ani úplný, ukazuje sa ako efektívny. Okrem toho, že dokázal odhaliť všetky známe uviaznutia, hlásil falošné pozitíva v menej ako 4% z testovaných programov.
|
|
|
Automatická tvorba testovacích případů z datových toků
Kraut, Daniel ; Fiedor, Tomáš (oponent) ; Smrčka, Aleš (vedoucí práce)
Tato práce se zabývá automatickou tvorbou testovacích případů na úrovni jednotkového testování, pro zdrojové texty v jazyce C. K dosažení automatizace jsou použity metody přístupu k software jako k datovým tokům proměnných. Je zde nastíněn náhled na průběh tvorby testů a funkci CSP solverů, které jsou nezbytnou částí pro rozhodnutelnost těhto problémů. Statická analýza kódu je umožněna knihovnou LibTooling v projektu překladačového front-endu Clang. Jsou uvedeny výstupy z aplikace, jimiž jsou automaticky vytvořené vstupní hodnoty pro testovací případy.
|
|
|
Analýza ztráty stability termoplastových trubek
Procházka, Martin ; Kytýr, Jiří (oponent) ; Gratza, Roman (vedoucí práce)
Tato bakalářská práce se zabývá ztrátou stability termoplastových trubek. Byl proveden experiment, ve kterém byly trubky zatěžovány v ose, přičemž byla sledována hodnota zatěžovací síly při ztrátě stability materiálu. Pro měření byly vybrány trubky z polyetylénu, polypropylénu a polyvinylchloridu. Výsledky z experimentu byly použity pro vytvoření modelů v programu ANSYS, které byly podrobeny statické analýze a lineární analýze vzpěru. Výsledky analýz byly porovnávány s hodnotami z teoretického výpočtu. V programu ANSYS byly trubky namáhány také vnějším přetlakem.
|
|
|
Most přes řeku Branná
Holuša, Adam ; Pěkník, Robin (oponent) ; Panáček, Josef (vedoucí práce)
Bakalářská práce se zabývá návrhem nosné konstrukce mostu přes řeku Branná u obce Jindřichov. Most se nachází na silnici II/369 na km 21,113. Evidenční číslo mostu je 369-020. V rámci této práce jsou vytvořeny 3 studie. První varianta je dodatečně předepjatá monolitická deska. Druhou variantou je most z prefabrikovaných nosníků T93 spřažených deskou tloušťky 0,25m. Třetí varianta je navržena jako trámový most. Dodatečně předepjatá deska délky 18,14 m je vybrána pro podrobné posouzení. Je proveden výpočet účinků zatížení pomocí programu Scia Engineer 15.3. Softwarový výpočet je porovnán s ručním výpočtem.
|
|
| |
|
|
Integration of Static Code Analysis into Issue Tracking System
Jančová, Markéta ; Burget, Radek (oponent) ; Kolář, Dušan (vedoucí práce)
Static code analysis is a way of improving source code quality. It also helps to reveal bugs before they cause serious runtime problems. SonarQube is a tool that detects findings during periodical analyses and creates appropriate issues that provide essential data to help a developer to fix problems. Jira is an issue tracking system that is used by agile teams all over the world. Integrating static code analysis into issue tracking system should prevent Jira issues to be reopened due to bugs and reduce a number of bugs that are caused by integrating new features. This thesis investigates ways of integrating SonarQube into Jira and provides possible solution of the integration. The solution is tested, optimized, and another solutions are provided.
|
|
|
Železobetonový obloukový most přes řeku Krupou
Adler, Filip ; Pěkník, Robin (oponent) ; Koláček, Jan (vedoucí práce)
Práca sa zaoberá návrhom nového mosta v mieste pôvodného v obci Staré Město pod Sněžníkem slúžiaceho k prevedeniu miestnej komunikácie vybudovanej v kategórii S7,5 ponad rieku Krupá. Nosná konštrukcia mosta je riešená ako oblúková s hornou mostovkou, o rozpätí 18m. Zaťaženie a posúdenie konštrukcie sa riadi Eurokódom. Pre výpočty bol použitý softvér Scia Engineering vo verzii 2013.0.
|
|
|
Statická analýza zdrojového kódu jazyka CodAL
Fajčík, Martin ; Přikryl, Zdeněk (oponent) ; Hynek, Jiří (vedoucí práce)
Cílem této bakalářské práce je návrh a implementace rozšíření editorů jazyka CodAL v oblasti statické analýzy zdrojového kódu tohoto jazyka a návrhu jeho automatických oprav. Tato forma analýzy je vhodná například pro ověření sémantické korektnosti zdrojového kódu. Práce se dělí na teoretickou a praktickou část. Teoretická část této práce obsahuje obeznámení se s tvorbou rozšíření pro vývojové prostředí z řad platformy Eclipse, zejména s editorem jazyka CodAL, jazykem CodAL a vytyčením chyb tohoto jazyka vhodných pro zpracování statickou analýzou. Praktická část se zabývá konkrétní implementací prvků statické analýzy zdrojového kódu jazyka CodAL a návrhu jeho automatických oprav. Rozšiřované editory jazyka CodAL jsou dostupné ve vývojovém prostředí Codasip Studio založeném především na platformě Eclipse a projektu CDT. Produkt Codasip Studio je vyvíjený společností Codasip ve spolupráci s výzkumnou skupinou Lissom.
|
|
|
Materiálově nelineární řešení konstrukcí z plastů
Weis, Lukáš ; Krejsa,, Martin (oponent) ; Králík,, Juraj (oponent) ; Kytýr, Jiří (oponent) ; Němec, Ivan (vedoucí práce)
Předkládaná práce se zaměřuje na statickou analýzu konstrukcí z plastů se zohledněním nelineárního chování materiálu v závislosti na napětí. Statická analýza je prováděna metodou konečných prvků. V úvodu práce je názorně popsán rozdíl mezi materiálově lineárním a materiálově nelineárním přístupem. Pro numerickou analýzu plastových konstrukcí je vhodné použít skořepinový konečný prvek rozšířený o možnost dalšího dělení na vrstvy a integrační body přes svoji výšku. Samostatné kapitoly se věnují integraci výsledných veličin přes výšku průřezu. Integrace materiálové matice tuhosti korektně zohledňuje vznik excentricity. Část pozornosti je věnována numerickým kvadraturním pravidlům. Následující kapitola se věnuje materiálově nelineárním modelům. Je popsán jednodušší přístup za pomoci izotropně nelineárně elastického modelu, dále je popsán obecný přístup za použití ortotropně plastického modelu. Teoretický popis je doplněn grafickou interpretací kritérií podle jednotlivých autorů. Významná část této práce je věnována algoritmizaci výpočetních postupů. Je provedena v jazyce Fortran do dynamicky linkované knihovny, která je součástí programu RFEM 5, který je široce využíván v technické praxi. Součástí práce je studie srovnávající výkonnost různých technologií použitelných pro algoritmizaci popisované problematiky. Správnost teoretické analýzy materiálových modelů a následné implementace do programu RFEM 5 je ověřena na příkladu ohýbané konzoly. Konstrukce termoplastové nadzemní nádrže je podrobena detailní materiálově lineární, resp. nelineární analýze. Různé přístupy jsou porovnány na výsledcích napětí, deformace a přetvoření. Zvláštní pozornost je pak věnována stabilitní analýze se zohledněním nelineárního materiálového modelu.
|
|
|
Úprava držáku celohliníkového chladiče
Malovaný, Daniel ; Ramík, Pavel (oponent) ; Svída, David (vedoucí práce)
Cílem této diplomové práce je provést základní přehled konstrukčních řešení uchycení celohliníkových chladičů. Výpočtem pomocí metody konečných prvků provést kontrolu první generace držáku celohliníkového nízkoteplotního vodního chladiče a na základě tohoto výpočtu navrhnout úpravu jeho konstrukce, která povede ke snížení napětí v kritických oblastech. Na závěr toto nové řešení zhodnotit.
|
host ::
RSS.