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ů:
|
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) |