Přehled studia | Přehled oborů | Všechny skupiny předmětů | Všechny předměty | Seznam rolí | Vysvětlivky               Návod
XD33TSW Testování a diagnostika softwaru Rozsah výuky:14+4
Přednášející (garant):Mařík R. Typ předmětu:S Zakončení:Z,ZK
Zodpovědná katedra:333 Kreditů:4 Semestr:L

Anotace:
Vytváření rozsáhlých softwarových projektů vyžaduje systematický přístup. V tomto předmětu se student seznámí se základními principy, jak vytvářet kvalitní a spolehlivý software, se způsoby jeho udržování a zdokonalování. Přednášky pokrývají jak organizační a manažérské aspekty vývoje softwaru tak i technická řešení přípravy testovacích procedur. V rámci cvičení si student osvojí práci s podpůrnými nástroji používanými při testování. Důraz je přitom kladen na moderní metody testování a měření spolehlivosti s cílem určit míru kvality softwaru.

Osnovy přednášek:
1. Kvalita - koncept, filosofie a systémy. RUP.
2. Vytváření kvalitního softwaru - základní nástroje, UML.
3. Metodologie testování. Konfigurační řízení. Správa požadavků.
4. Model zralosti (CMM). Standardy softwarového inženýrství. Plánování testování.
5. Softwarové chyby a jejich základní typy.
6. Metodologie strukturovaného testování. Typy modelů. Testování toku řízení.
7. Testování smyček. Testování datového toku.
8. Testování stavových automatů.
9. Testování komponent. Testování objektově-orientovaného softwaru.
10. Statistické testování softwaru.
11. Měření kvality softwaru. Hodnocení spolehlivosti softwaru.
12. Automatizace návrhu testů.
13. Formální metody.
14. Komerční testovací nástroje.

Osnovy cvičení:
1. Zadání projektu. Model applikace. Práce s Rational Unified Process.
2. Specifikace softwaru pomoci UML. Modelování v Rational Rose.
3. Správa požadavků. Vytváření specifikace v RequisitePro.
4. Staré a nové japonské nástroje na udržení kvality.
5. Testování správy paměti. Hledání chyb pomocí Purify.
6. Testování rychlosti komponent programu. Hodnocení implementace pomoci Quantify.
7. Úplnost testování. Určení pokrytí pomoci PureCoverage.
8. Prezentace výsledků I.
9. Testování uživatelského rozhraní I pomocí Rational Robot.
10. Testování uživatelského rozhraní II.
11. Statistické testování softwaru - Haralickova metoda.
12. Manuální testování.
13. Automatizované testování.
14. Prezentace výsledků. Obhajoba projektu.

Literatura Č:
[1] Beizer, B.: Software Testing Techniques. Second Edition, Van N. Reinhold, New York, 1990
[2] Kit, E.: Software Testing in the Real World. Addison-Wesley, 1995

Literatura A:
[1] Beizer, B.: Software Testing Techniques. Second Edition, Van N. Reinhold, New York, 1990
[2] Kit, E.: Software Testing in the Real World. Addison-Wesley, 1995

Požadavky:

Předmět je zahrnut do těchto studijních plánů:
Plán Obor Role Dop. semestr
MKM02-D Kybernetika a měření S 4
MKM04-D Kybernetika a měření S 4
MKM01-D Kybernetika a měření S 4
MKM03-D Kybernetika a měření S 4


Stránka vytvořena 25. 2. 2002, semestry: Z/2001-2, Z/2002-3, L/2001-2, L/2002-3, připomínky k informační náplni zasílejte správci studijních plánů Návrh a realizace: I. Halaška (K336), J. Novák (K336)