Předmět Testování a dynamická analýza (FIT-ITS)
Na serveru studentino.cz naleznete nejrůznější studijní materiály: zápisky z přednášek nebo cvičení, vzorové testy, seminární práce, domácí úkoly a další z předmětu FIT-ITS - Testování a dynamická analýza, Fakulta informačních technologií, Vysoké učení technické v Brně (VUT).
Top 10 materiálů tohoto předmětu
Materiály tohoto předmětu
| Materiál | Typ | Datum | Počet stažení |
|---|
Další informace
Cíl
Získat přehled o etapě verifikace softwarových systémů, pozornost se věnuje problematice dynamické analýzy programového vybavení. Získat praktické dovednosti s testováním software na úrovni potřebné pro osobu zodpovědnou za kvalitu produktu (QA testera). Zvládnutí tvorby automatizovaných testů různých aspektů verifikovaných programů. Získat přehled plánování a řízení testování.
Osnova
Osnova přednášek:Role testování a dynamické analýzy ve vývoji počítačových systémů. Vysvětlení pojmů. Modely testování. Požadavky na testy, specifikace testů a plán testování. Testy řízený vývoj. Metoda testování se znalostí zdrojových kódů. Kritéria pokrytí zdrojových kódů. Graf řízení toku. Kritéria pokrytí grafu. Kritéria datových toků. Vztah pokrytí grafu a zdrojových kódů. Vztah pokrytí datových toků a zdrojových kódů. Kritéria pokrytí logických výrazů. Vstupní doména a její modely. Kritéria pokrytí vstupní domény. Testování založené na syntaxi. Tvorba testů ze specifikace požadavků systému. Testování podle V-modelu. Kombinace testů. Lokalizace chyb z výsledků testování. Reportování chyb. Dynamická analýza programů bez znalosti zdrojových kódů. Analýza na základě sledování knihovních a systémových volání. Získávání grafu toku dat a řízení. Omezení sekvence událostí. Virtualizované prostředí pro dynamickou analýzu. Analýza využití sdílených prostředků. Kritéria pokrytí založená na využití sdílených prostředků. Testování vícevláknových aplikací. Testování síťových aplikací. Testování grafického uživatelského rozhraní a jeho automatizace. Testování nefunkcionálních vlastností systémů.Vykonnostní testování. Plánování a management testování. Náhled do základů statické analýzy.Osnova ostatní - projekty, práce:Návrh testovací sady odpovídající zadanému testovacímu kritériu pro vybraný software. Implementace analyzátoru software podle zvoleného zadání.
Literatura
Myers, G. J.: The Art of Software Testing, 2. vydání. John Wiley & Sons, 2004, 234 s., ISBN 0-471-46912-2. Kaner, C., James, B., Pettichord, B.: Lessons Learned in Software Testing: A Context-Driven Approach. Wiley Computer Publishing, 2002, 286 s., ISBN 0-471-08112-4. Marick, B.: The Craft Of Software Testing, Subsystem Testing, Prentice Hall PTR, 1995, ISBN 0-13-177411-5. Spillner, A., Linz, T., Schaefer, H.: Software Testing Foundations, 2. vydání, 2007, 296 s., ISBN 978-1-9339-5278-9.Farrell-Vinay, P.: Manage Software Testing. Auerbach Publications, 2008, 537 s., ISBN 978-0-8493-9383-9.Ammann, P., Offutt, J.: Introduction to Software Testing. Cambridge University Press, 2008, 322 s. ISBN 978-0-511-39330-3.
Požadavky
formální jazyky a překladače, algoritmy, operační systémy
Garant
Ing. Aleš Smrčka, Ph.D.
Vyučující
Ing. Aleš Smrčka, Ph.D.