|
|
State Space Symmetry Reduction for TBP Analysis
Černý, Ondřej ; Šerý, Ondřej (vedoucí práce) ; Poch, Tomáš (oponent)
Threaded Behavior Protocols (TBP) je specifikační jazyk pro modelování chování softwarových komponent. Tato práce se zaměřuje na analýzu TBP specifikací v rámci prostředí, která obsahují neomezené množšví replikovaných vláken. Takové specifikace spolu s modely možných prostředí způsobí nekonečnost stavového prostoru analýzy, který obsahuje velké množství symetrií, způsobených replikací vláken. V práci je navžena technika analýzy takových modelů, která redukuje symetrie s použitím abstrakce zvané Symbolic Counter Abstraction. Pro její použití je však nutné převést vlastnosti modelu na problém dosažitelnosti stavů vláken. Navrhovaná technika je bezpečná ve smyslu odhalení všech chyb v modelu. Na druhou stranu může způsobovat tzv. spurious erros, tj. chyby které neodpovídají skutečným chybám v modelu. Tyto chyby jsou v práci dobře identifikovány a dále jsou nastíněny způsoby jejich redukce. Práce navíc může představovat malý krok směrem k podpoře dynamického vytváření vláken v TBP specifikacích.
|
|
|
Analysis of Interface Automata with On-Demand Replication
Daniel, Jakub ; Kofroň, Jan (vedoucí práce)
Interface automat je model chování softwarové komponenty založený na koneč- ných automatech. Popisuje její poskytovaná rozhraní neboli podporované použití a požadovaná rozhraní neboli použití ostatních komponent. Značný počet kompo- nent může být použit paralelně bez omezení úrovně paralelismu. Není nutné, aby se model pokoušel zachytit tuto neomezenost. Alternativním přístupem je umož- nit zvyšování úrovně paralelismu na vyžádání. Tato práce na teoretické úrovni analyzuje a navrhuje konečnou podobu operace k zajištění tohoto typu replikace s cílem umožnit konstrukci modelů libovolné úrovně paralelismu v určitých čás- tech jejich chování.
|
|
|
Analysis of Interface Automata with On-Demand Replication
Daniel, Jakub ; Kofroň, Jan (vedoucí práce)
Interface automat je model chování softwarové komponenty založený na koneč- ných automatech. Popisuje její poskytovaná rozhraní neboli podporované použití a požadovaná rozhraní neboli použití ostatních komponent. Značný počet kompo- nent může být použit paralelně bez omezení úrovně paralelismu. Není nutné, aby se model pokoušel zachytit tuto neomezenost. Alternativním přístupem je umož- nit zvyšování úrovně paralelismu na vyžádání. Tato práce na teoretické úrovni analyzuje a navrhuje konečnou podobu operace k zajištění tohoto typu replikace s cílem umožnit konstrukci modelů libovolné úrovně paralelismu v určitých čás- tech jejich chování.
|
|
|
Analysis of Interface Automata with On-Demand Replication
Daniel, Jakub ; Kofroň, Jan (vedoucí práce) ; Bednárek, David (oponent)
Interface automat je model chování softwarové komponenty založený na koneč- ných automatech. Popisuje její poskytovaná rozhraní neboli podporované použití a požadovaná rozhraní neboli použití ostatních komponent. Značný počet kompo- nent může být použit paralelně bez omezení úrovně paralelismu. Není nutné, aby se model pokoušel zachytit tuto neomezenost. Alternativním přístupem je umož- nit zvyšování úrovně paralelismu na vyžádání. Tato práce na teoretické úrovni analyzuje a navrhuje konečnou podobu operace k zajištění tohoto typu replikace s cílem umožnit konstrukci modelů libovolné úrovně paralelismu v určitých čás- tech jejich chování.
|
|
|
State Space Symmetry Reduction for TBP Analysis
Černý, Ondřej ; Šerý, Ondřej (vedoucí práce) ; Poch, Tomáš (oponent)
Threaded Behavior Protocols (TBP) je specifikační jazyk pro modelování chování softwarových komponent. Tato práce se zaměřuje na analýzu TBP specifikací v rámci prostředí, která obsahují neomezené množšví replikovaných vláken. Takové specifikace spolu s modely možných prostředí způsobí nekonečnost stavového prostoru analýzy, který obsahuje velké množství symetrií, způsobených replikací vláken. V práci je navžena technika analýzy takových modelů, která redukuje symetrie s použitím abstrakce zvané Symbolic Counter Abstraction. Pro její použití je však nutné převést vlastnosti modelu na problém dosažitelnosti stavů vláken. Navrhovaná technika je bezpečná ve smyslu odhalení všech chyb v modelu. Na druhou stranu může způsobovat tzv. spurious erros, tj. chyby které neodpovídají skutečným chybám v modelu. Tyto chyby jsou v práci dobře identifikovány a dále jsou nastíněny způsoby jejich redukce. Práce navíc může představovat malý krok směrem k podpoře dynamického vytváření vláken v TBP specifikacích.
|
|
|
Postoje spotřebitelů v oblasti odpovědné spotřeby
HEŘMANOVÁ, Eva
Tato bakalářská práce je zaměřena na postoje spotřebitelů v oblasti odpovědné spotřeby. Práce je rozdělena na část teoretickou a praktickou. V teoretické části se klade důraz na nákupní chování spotřebitelů, modely chování a oblast odpovědné spotřeby. Praktická část se zabývá dotazníkovým šetřením a rozborem dat. Cílem práce je zjistit, jaký mají dnešní spotřebitelé postoj k odpovědné spotřebě, jaké je chování zákazníka na trhu a na základě výzkumu spotřebního a nákupního chování navrhnout možné postupy pro výrobce nebo obchodníky, které jsou k nalezení v závěru praktické práce. Práce vychází ze studie odborné literatury, sběru primárních dat, analýzy získaných dat pomocí terénního šetření a na návrhách opatření. Dotazníkové šetření probíhalo v jižních Čechách a také v Rakousku v oblasti Niederöstereich.
|
host ::
RSS.