|
Vyučující
|
-
Maškov Viktor, doc. RNDr. Mgr. DrSc.
|
|
Obsah předmětu
|
1. Úvod do problematiky. 2. Základy SW inženýrství. 3. Verifikace SW. 4. Validace SW. 5. Spolehlivost SW. 6. Prostředky pro hodnocení spolehlivostí SW. 7. Modely spolehlivostí. 8. Diagnostika závad. 9. Odolné proti závadám SW architektury. 10. Diagnostický model SW systému s porovnávači, konzistentní množiny modulů. 11. Nástroje pro vývoj spolehlivého SW. 12. Formální metody pro vývoj spolehlivého SW.
|
|
Studijní aktivity a metody výuky
|
|
nespecifikováno
|
|
Výstupy z učení
|
Kurz dává základy vývoje spolehlivého softwaru, dává představu jak ohodnotit dosaženou spolehlivost softwaru a také vysvětluje, co je zapotřebí udělat pro zlepšení spolehlivosti softwaru. Studenti se seznámí s existujícími prostředky, které se používají pro modelování spolehlivosti softwaru. Větší pozornost bude věnována softwarovým architekturám odolným proti závadám.
|
|
Předpoklady
|
nespecifikováno
KI/KDEP a zároveň KI/KDSY
|
|
Hodnoticí metody a kritéria
|
nespecifikováno
|
|
Doporučená literatura
|
-
Laprie, J.C., ed. Dependability: Basic concepts and terminology- in English, French, German, Italian and Japanese. Springer-Verlag, Vienna, Austria, 1992.
-
Mashkov V., Fišer J. Samokontrola a samodiagnostika na systémové úrovni. Lviv: Ukrainian Academic Press, 2010. ISBN 978-966-322-169-4.
-
Mashkov V. Selected problems of system level self-diagnosis. Lviv: Ukrainian Academic Press, 2011. ISBN 978-966-322-365-0.
-
Michael R. L. Handbook of Software Reliability Engineering. IEEE Computer Society Press and McGraw-Hill Book Company, 1996. ISBN 0070394008.
|