Testování a diagnostika softwaru

Přednášející:

Cvičící:

Předmět zajišťuje:

katedra kybernetiky

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.

Požadavky:

Osnova 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.

Osnova 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.

Cíle studia:

Studijní materiály:

[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

Poznámka:

Rozsah výuky v kombinované formě studia: 14+4

Typ cvičení: s, c

Předmět je nabízen také v anglické verzi.

Další informace:

Pro tento předmět se rozvrh nepřipravuje

Předmět je součástí následujících studijních plánů:

• Kybernetika a měření - řídicí technika- strukturované studium (povinně volitelný předmět)
• Kybernetika a měření - umělá inteligence- strukturované studium (povinně volitelný předmět)
• Kybernetika a měření - měřicí a přístrojové systémy- strukturované studium (povinně volitelný předmět)
• Kybernetika a měření - letecké informační a řídicí systémy- strukturované studium (povinně volitelný předmět)