|
Standardy a kódování zdrojového kódu PHP
Pospíšilík, Oldřich ; Kužela, Alois (oponent) ; Marušinec, Jaromír (vedoucí práce)
Tento diplomový projekt pojednává o metodice psaní zdrojových kódu a jejich vlivu na efektivitu programování. Dále potom možností odhalování metodických chyb ve zdrojovém kódu PHP. Konkrétně je rozebrána možnost integrace nástroje pro statickou analýzu v rámci vybraného vývojového týmu. Jako vývojový tým byl konzultantem Ing. Michalem Juroszem zvolen programátorský tým, který má na starosti vývoj a rozšiřování internetového informačního systému VUT v Brně. V této prácí jsou uvedeny nejzajímavější současné nástroje pro statickou analýzu jazyka PHP. Po zhodnocení a následném výběru nástroje a dalšího postupu je vypracována analýza a neformální specifikace nástroje. Následuje podrobný návrh, popis implementace a integrace.. V závěru najdeme zhodnocení celé této práce, přínos pro programátorský tým a pokračování vývoje nástroje.
|
|
Kauzální analýza chyb řídících programů
Čapková, Hana ; Vojáček, Zdeněk (oponent) ; Lacko, Branislav (vedoucí práce)
Bakalářská práce se zabývá problematikou odhalování chyb v softwarových programech. Práce obsahuje hierarchicky organizovanou typologii softwarových chyb, získanou rešeršemi z dostupné literatury, analýzu vlivů na vznik softwarových chyb vedoucí k typologii příčin chyb inspirované kognitivní psychologií a srovnání technik a metodik softwarového vývoje z hlediska validace a verifikace produktu. Bakalářská práce byla zpracována s ohledem na potřeby a požadavky zadavatelské firmy zaměřené na vývoj softwarových produktů v oblasti technologie Voice over IP (VoIP) a poskytuje náměty k modifikacím stávajícího systému evidence softwarových chyb a jejich příčin.
|
| |
| |
| |
| |
| |
| |
| |
| |