Spis treúci WstÍp... 9 PodziÍkowania Testowanie w cyklu øycia... 19

Transkrypt

1 Spis treúci WstÍp... 9 Praktyka czy teoria?... 9 PrzypowieúÊ... 9 Czy gorsze moøe byê lepsze? Czy stolarz zatrudni testera? ZawÛd ñ tester oprogramowania Juø staroøytni GrecyÖ Miliardy, ktûre posz y z dymem Nie trzeba katastrofy Jak to sprzedaê? Komu bije test? Dla kogo jest przeznaczona ta ksiπøka? PodziÍkowania Testowanie w cyklu øycia Czynnoúci Procesy Etapy testowania Poziomy i fazy testowania Test w rûønych modelach wytwarzania programûw Model kaskadowy Model V i model W Modele ewolucyjne Modele przyrostowe Weryfikacja wymagaò Weryfikacja projektu konstrukcji Ocena kodu Testowanie kodu Poziomy i typy testûw Dlaczego testujemy kilkakrotnie WybÛr liczby poziomûw testowania Wykrywanie b ÍdÛw Model testowania... 48

2 4 Teoria i praktyka testowania programûw 2. Modele dzia ania programu Przep yw sterowania Zdarzenia Przep yw danych Tranzycje stanu Model sk adniowy Model decyzyjny Model aksjomatyczny Modele b Ídu B Ídy w przep ywie sterowania B πd obliczenia úcieøki B πd domeny B πd braku úcieøki B Ídy w przep ywie danych B πd przypisania B πd wyznaczenia wartoúci B Ídy stanu Zakleszczenia Wyúcigi Anomalie tekstowe Interpretacja sk adni Efekty uboczne Niejawne konwersje typu Model programowania Modele úrodowiska Strumieniowe przetwarzanie sekwencyjne Przetwarzanie sekwencyjne sterowane zdarzeniami Przerwania Obs uga sytuacji wyjπtkowych Przetwarzanie wspû bieøne Przetwarzanie rûwnoleg e Zdarzenia jeden do jednego Zdarzenia wielu do jednego Zdarzenia jeden do wielu Przetwarzanie rozproszone Zarzπdzanie komunikatami Zarzπdzanie czasem Implementacja testu Dynamiczna instrumentacja kodu Zawieszanie wykonania Wznawianie wykonania Sygna y

3 Spis treúci Rejestrowanie danych Rejestrowanie zdarzeò Wymuszanie dzia ania programu Przypadek testowy Skrypt testowy Atrybuty przypadkûw testowych Scenariusz testowy Tryby wykonania Klasy scenariuszy Strategie testowania Strategie czarnej skrzynki Wartoúci specjalne Wartoúci transcendentne RÛwnowaønoúÊ wielomianûw Wartoúci losowe Strategie bia ej skrzynki Testowanie úcieøek Konteksty uøycia danych Testowanie mutacyjne Organizacja procesu testowania Testowanie w kontekúcie Zarzπdzanie testowaniem a zapewnienie jakoúci Zarzπdzanie testowaniem a zarzπdzanie projektem Proces testowy Testowanie przy braku zdefiniowanego procesu testowego Testowanie rûønymi metodami Testowanie Ñw poúpiechuî Rola kierownika i menedøera testûw Struktury organizacyjne Motywacja testerûw Kierownik testûw Planowanie testowania Okreúlenie zakresu Planowanie metodyki Planowanie kryteriûw zakoòczenia testûw Produkty Planowanie úrodowiska testowego Okreúlenie czynnoúci Planowanie czasu Oszacowanie kosztûw Oszacowanie ryzyka Dokumentacja testowa RÛøne struktury dokumentacji

4 6 Teoria i praktyka testowania programûw 7.6. Testy wykonywane wielokrotnie Kiedy wykonuje sií testy regresji DobÛr testûw regresji Ograniczanie liczby testûw regresji Ograniczenie czasoch onnoúci wykonywania testûw regresji Zarzπdzanie zmianami Zarzπdzanie konfiguracjπ åledzenie powiπzaò miídzy wymaganiami a testami åledzenie b ÍdÛw TreúÊ zg oszenia b Ídu Zarzπdzanie b Ídami Zarzπdzanie testowaniem Liczba zg oszeò b ÍdÛw Liczba otwartych zg oszeò b ÍdÛw Liczba b ÍdÛw na podsystem Statystyka wykonanych testûw Oszacowanie liczby pozosta ych b ÍdÛw Zastosowania Automatyczne generowanie testûw na podstawie modeli UML Powiπzania miídzy specyfikacjπ w UML a dokumentacjπ planu testûw Zagadnienia automatycznej generacji testûw Generowanie testûw i wiarygodnoúê rezultatûw Specyfikacje dodatkowe, algorytmy i szablony do generowania testûw Projekt AGEDIS Profil testowy UML Perspektywa automatycznego wykonywania testûw i testowania opartego na modelach Ocena efektywnoúci automatycznego generowania testûw Testowanie zgodnoúci Zalecenia standardu ISO/IEC Problem maskujπcych sií b ÍdÛw Testowanie i debugowanie rozproszonych aplikacji obiektowych Klasy b ÍdÛw w RAO NarzÍdzia i mechanizmy wspomagajπce testowanie RAO Wydajne programowanie Metoda TestByRep NarzÍdzia CAST Typy narzídzi wspomagajπcych testowanie Zarzπdzanie testami Zarzπdzanie zmianami Testy wymagaò Analiza statyczna Testy modu owe Testy wydajnoúci

5 Spis treúci Automatyczne wykonywanie testûw Automatyczne wykonywanie testûw: komparatory Sterowniki i jarzma testowe Analiza dynamiczna Przygotowanie danych testowych Testy statystyczne Generowanie testûw Zintegrowane úrodowisko testowe NarzÍdzia w rûønych fazach cyklu øycia Automatyzacja rûønych rodzajûw testûw Op acalnoúê, wybûr, wdroøenie Oszacowanie op acalnoúci Proces Architektura i utrzymanie skryptûw Testowanie systemûw wbudowanych Specyfika systemûw wbudowanych Sposoby kontroli przebiegu testûw systemu wbudowanego Techniki pomiaru pokrycia strukturalnego Automatyzacja testûw systemûw wbudowanych Testy produkcyjne Testowanie, gdy brak platformy sprzítowej Testowanie systemûw bezpiecznych Normy, standardy i szkolenia Testowanie w kontekúcie Testowanie w inøynierii systemûw Testowanie a zapewnienie jakoúci Terminologia testowa Organizacje standaryzujπce Testowanie w rûønych normach Udoskonalanie procesu testowego Metody oceny jakoúci procesu testowego Szkolenia, certyfikaty, organizacje Sens certyfikacji w przemyúle informatycznym Certyfikacja w dziedzinie zapewnienia jakoúci Popularne systemy certyfikacji Konferencje Literatura Skorowidz