Czy techniki projektowania testów mają sens? Adam Roman WarszawQA, 14 IV 2015
|
|
- Ludwika Janicka
- 8 lat temu
- Przeglądów:
Transkrypt
1 Czy techniki projektowania testów mają sens? Adam Roman WarszawQA, 14 IV 2015
2 Plan prezentacji podstawowe techniki projektowania testów krótkie przypomnienie: EP, BVA fakty, mity, błędy i niedopowiedzenia trywializowanie technik nietrywialne zastosowania technik w praktyce zalety stosowania technik formalnych
3 Podział na klasy równoważności dziedzina wejścia dziedzina wyjścia test 1 test 2 test 3 test 1 test 2 test 3 test 4
4 EP według ISTQB Termometr mierzy temperaturę z dokładnością do pełnych stopni. Jeżeli temperatura spada poniżej 18 stopni ogrzewanie jest włączane. Gdy temperatura przekroczy 21 stopni ogrzewanie jest wyłączane. Jakie są najlepsze wartości (w stopniach) do zaprojektowania testów metodą klas równoważności? A 15, 19, 25. B 17, 18, 19. C 18, 20, 22. D 16, 26, 32. [źródło:
5 Przykład: plik porządek elementów w pliku (klasy równ.:) plik posortowany rosnąco plik posortowany malejąco plik nieposortowany
6 Przykład: plik porządek elementów w pliku (klasy równ.:) plik posortowany rosnąco plik posortowany malejąco plik nieposortowany plik jednoelementowy?
7 Przykład: plik porządek elementów w pliku (klasy równ.:) plik posortowany rosnąco plik posortowany malejąco plik nieposortowany dwie niezależne charakterystyki: posortowany rosnąco (tak, nie) posortowany malejąco (tak, nie) plik jednoelementowy?
8 Własność dobrego podziału
9
10 jakie tu są klasy równoważności?
11 np.: klasy dla M [MIN, 0), 0, (0, MAX] klasy dla W [MIN, 0), 0, (0, MAX] Test to para (M, W) Oczekiwany wynik: zgodnie z wzorem na BMI Idea: najpierw pokryć najwięcej klas poprawności, potem po jednej klasie niepoprawności na test T1: (60, 1.75) T2: (0, 1.80) T3: (-30, 1.85) T4: (75, 0) T5: (90, -6.33) Dlaczego tak?
12 Pokrywanie klas niepoprawności: maskowanie błędów string ObliczOcenę(int pktegz, int pktlab) 1 if (pktegz + pktlab > 90) then 2 return "5.0" 3 else { 4 byte pktrazem = pktegz+pktlab 5 if (pktrazem > 70) then 6 return "4.0 bo punkty = "+pktrazem 7 else if (pktrazem > 50) then 8 return "3.0 bo punkty = "+pktrazem 9 else if (pktrazem >=0) then 10 return "2.0 bo punkty = "+pktrazem 11 else return "Jakiś error!" 12 } Wejście (pktegz = 1000, pktlab = 1095)
13 EP dla WYJŚCIA! BMI = M / W 2 Po jednym teście na każdą klasę wyjścia: K1=[MIN, 16) K2=[16, 16.99) K3=[17, 18.49) K4=[18.5, 24.99) K5=[25, 29.99) K6=[30, 34.99) K7=[35, 39.99) K8=[40, MAX] Np. M=75, W=1.65 Oczekiwany wynik: wpada (i pokrywa) klasę K5
14 Granice są istotne! EP może być za słabe Lepiej użyć BVA
15 Analiza Wartości Brzegowych (1)
16 Analiza Wartości Brzegowych (2) Wartości brzegowe: określa się dla ustalonej klasy równoważności to największa i najmniejsza wartość klasy równoważności stosuje się zarówno dla klas wejść jak i dla wyjść programu wartości brzegowe i graniczne dla klasy X 2
17 Analiza Wartości Brzegowych (3) Co tak naprawdę testujemy w Analizie Wartości Brzegowych? testujemy te elementy! ISO Software Testing Standard, Proces projektowania i implementacji testów
18 Analiza Wartości Brzegowych (4) Warunki testowe w AWB: wartości brzegowe Elementy pokrycia w AWB: wartości graniczne W Analizie Wartości Brzegowych testujemy wartości graniczne wartości brzegowe (w kółku) i graniczne dla klasy X 2
19 Analiza Wartości Brzegowych (5) Czy metoda 3 wartości granicznych nie jest aby nadmiarowa? Testujemy dla 17, 18, 19. Ale po co testować 17, skoro już przetestowaliśmy 18, a obie te liczby leżą w tej samej klasie równoważności? Testujmy zatem tylko 18 i 19
20 Analiza Wartości Brzegowych (5) Czy metoda 3 wartości granicznych nie jest aby nadmiarowa? Testujemy dla 17, 18, 19. Ale po co testować 17, skoro już przetestowaliśmy 18, a obie te liczby leżą w tej samej klasie równoważności? Testujmy zatem tylko 18 i 19 if (BMI <= 18) { } if (BMI < 18) { } if (BMI == 18) { } poprawny warunek pomyłka programisty (wykryta dla BMI=18) a tu co?!
21 BMI = M / W 2 BVA dla WYJŚCIA! testy pokazują, że dokładność BMI to 0.01 jak dobrać wartości brzegowe? M=53, W= BMI=15.5 po zaokrągleniu BMI=16
22 Analiza Wartości Brzegowych (6)
23 Brzegi dla dziedzin wielowymiarowych przykład praktyczny (z życia wzięty) Rozporządzenie Ministra Gospodarki z dnia 21 grudnia 2005 roku w sprawie zasadniczych wymagań dla urządzeń ciśnieniowych i zespołów urządzeń ciśnieniowych Program ma za zadanie przypisać kategorię urządzeniu na podstawie 2 parametrów: objętości i ciśnienia. Jak przetestować brzegi? Metodą punktów ON i OFF
24 Przypadek wielowymiarowy: punkty ON i OFF Jeśli warunek jest zaimplementowany jako warunek liniowy, to taki test dowodzi poprawności tego ograniczenia (sic!)
25 Przypadek wielowymiarowy: punkty ON i OFF
26 Testy punktów wierzchołkowych
27 ANALIZA DZIEDZINY! (DOMAIN ANALYSIS) ograniczenia NIELINIOWE!!!
28 Przykład: obliczanie punktacji w kręglach Gra = 10 rund, 1 runda to maksymalnie 2 rzuty kulą Jeśli w 1 rzucie gracz zbije wszystkie 10 kręgli, 2 rzutu nie wykonuje Liczba punktów gracza w danej rundzie to liczba zbitych w niej kręgli, przy czym do punktów tych mogą zostać doliczone dodatkowe punkty, zależne od kolejnej rundy. Ma to miejsce w następujących dwóch przypadkach: 1) jeśli gracz w pierwszym rzucie zbił wszystkie kręgle, jest to tzw. strike. W takim przypadku do wyniku tej rundy doliczane są punty z dwóch kolejnych rzutów tego gracza; 2) jeśli gracz w obu rzutach danej rundy zbił wszystkie kręgle, jest to tzw. spare. Wtedy do wyniku doliczana jest liczba punktów zdobytych przez niego w następnym rzucie kulą. Jeśli podczas rzutu gracz przekroczy linię rzutu, jest to tzw. foul. Jeśli zostały zbite kręgle, rzut jest liczony, ale punkty nie. JAKIE PRZYPADKI TESTOWE DOBRAĆ??? (jakie klasy równoważności? jakie wartości brzegowe? jest tyle różnych możliwych sytuacji! Jak to ogarnąć?!
29 Metoda Category-Partition dobre rozwiązanie w przypadku takim, jak program do obliczania punktów w kręglach rozszerzenie metody klas równoważności i AWB 1. zidentyfikuj parametry (wejścia) i warunki (stany systemu podczas jego działania) 2. wyodrębnij kategorie (główne własności lub charakterystyki) parametrów i warunków 3. dokonaj podziału kategorii na strefy wyboru 4. określ ograniczenia i związki pomiędzy strefami wyboru 5. wyprowadź elementy pokrycia (=zbiory stref wyboru) 6. dla każdego elementu stwórz przypadek testowy
30 Przykładowe kategorie i strefy wyboru KATEGORIA STREFY WYBORU Liczba punktów min=0, max=? Liczba strike ów 0, 1, 9, 10 Runda ostatniego strike a 0, 1-8, 8, 9, 10 Liczba spare ów 0, 1, 9, 10 Runda ostatniego spare a 0, 1-9, 9, 10 Liczba fauli 0, 1, 9, 10 AWB dla dziedziny wyjściowej! nietrywialne wartości brzegowe! Kwestie do wyjaśnienia: co gdy strike będzie w ostatniej rundzie? A co gdy w przedostatniej? co gdy spare będzie w ostatniej rundzie? ograniczenia (np. jeśli liczba strike ów=10, to liczba spare ów=0) jak uzyskać testy sprawdzające kombinacje wszystkich dopuszczalnych par stref wyboru dla różnych kategorii w rozsądnej liczbie przypadków? Inne pomysły: np. kombinacje następujących po sobie strike ów i spare ów
31 Techniki kombinacyjne pair-wise testing (1) Tworzymy program COTS mogący współpracować w różnych konfiguracjach przeglądarki: IE, Firefox, Chrome (3) drukarki: HP, Epson, Samsung, Canon (4) OS: Win, Linux, ios (3) baza: MySQL, Postgres (2) ile jest możliwych kombinacji dowolnych dwóch elementów z dowolnych dwóch kategorii?
32 Techniki kombinacyjne pair-wise testing (1) Tworzymy program COTS mogący współpracować w różnych konfiguracjach przeglądarki: IE, Firefox, Chrome (3) drukarki: HP, Epson, Samsung, Canon (4) OS: Win, Linux, ios (3) baza: MySQL, Postgres (2) ile jest możliwych kombinacji dowolnych dwóch elementów z dowolnych dwóch kategorii? 3*4+3*3+3*2+4*3+4*2+3*2= =53
33 Techniki kombinacyjne pair-wise testing (2)
34 Techniki kombinacyjne pair-wise testing (2)
35 Wykorzystanie tablic ortogonalnych do konstrukcji testów w pair-wise testing
36 EP i BVA w praktyce nietrywialne podziały dziedziny nietrywialne wartości brzegowe (nie wynikające wprost ze specyfikacji) zwykle nie jeden, ale wiele podziałów zaokrąglenia, dokładność (często nieznana) EP i BVA zarówno dla wejść jak i wyjść wielowymiarowość (domain analysis) ograniczenia liniowe i nieliniowe kombinacje wartości charakterystyk, koniecznośc minimalizacji suity testowej
37 Testowanie maszyny stanowej Przykład z życia: aplikacja do zarządzania pracą redakcji czasopisma
38 Jak testować maszynę stanów? pokrycie wszystkich przejść (0-switch coverage), np.: S1>WY>S2>PR>S3>ZP>S1>WY>S2>PR>S3>AK>S2>PU>S4 S1>WY>S2>PR>S3>RN>S2>OD>S4 +testowanie błędnych przejść (np.: S2 > RN >?) pokrycie par przejść (1-switch coverage) czy to ma sens???
39 Testowanie maszyny stanowej: kryteria pokrycia pokrycie wszystkich par przejść (1-switch coverage) Elementy pokrycia:
40 Testowanie maszyny stanowej: analiza modelu
41 Testowanie maszyny stanowej: analiza modelu publikacja artykułu następuje przed sprawdzeniem poprawek przez recenzenta (jest to możliwe, ale warto spytać analityka biznesowego, czy w każdej sytuacji jest to dopuszczalne)
42 Testowanie maszyny stanowej: analiza modelu Gdyby EP2 był sam w sobie przypadkiem testowym, oznaczałby sytuację akceptacji artykułu bez przesłania go do recenzji
43 Testowanie maszyny stanowej: analiza modelu EP8: natychmiastowe odesłanie recenzentowi artykułu, który przed chwilą recenzował EP6: recenzent odrzuca artykuł który wcześniej zaakceptował EP11: redaktor odsyła recenzentowi już zaakceprowany artykuł EP4: żądanie poprawek od autora choć wcześniej była akceptacja artykułu EP9: publikacja artykułu choć jest negatywna recenzja
44 Testowanie maszyny stanowej: analiza modelu recenzent akceptuje artykuł, a redaktor go odrzuca
45 Podsumowanie i wnioski techniki projektowania testów pozwalają tworzyć (w systematyczny sposób) wartościowe przypadki testowe model często pozwala na automatyczne projektowanie testów niektóre modele mogą pełnić rolę wyroczni techniki projektowania testów są trywializowane w literaturze, choć w rzeczywistości są bardzo potężnym narzędziem dla testera niektóre techniki pozwalają na weryfikację założeń systemu przed jego implementacją warto znać te techniki i wiedzieć kiedy ich użycie będzie efektywne, a kiedy będzie stratą czasu
46 KONIEC!
Techniki (automatyzacji) projektowania testów. Adam Roman WarszawQA, 24 II 2016
Techniki (automatyzacji) projektowania testów Adam Roman WarszawQA, 24 II 2016 Prelegent Quality Assurance R&D Lead, Rivet Group Adiunkt w Instytucie Informatyki i Matematyki Komputerowej UJ Członek Stowarzyszenia
Bardziej szczegółowoTestowanie oprogramowania. Wykład 3 techniki projektowania testów oparte o specyfikację cz. I
Testowanie oprogramowania Adam Roman Instytut Informatyki UJ Wykład 3 techniki projektowania testów oparte o specyfikację cz. I klasy równoważności, analiza wartości brzegowych, tablice decyzyjne, grafy
Bardziej szczegółowoCertyfikowany tester Pytania przykładowe do poziomu podstawowego
ertyfikowany tester International Sotware Testing Qualifications oard ertyfikowany tester Pytania przykładowe do poziomu podstawowego Wersja dokumentu 2.0 Wersja sylabusu 1.00 Polish Testing oard International
Bardziej szczegółowoO pewnych problemach analizy wartości brzegowych
O pewnych problemach analizy wartości brzegowych 1. Wstęp Klasa równoważności w testowaniu jest to zbiór danych o podobnym sposobie przetwarzania w oprogramowaniu dla konkretnej funkcjonalności, używanych
Bardziej szczegółowoPraktyka testowania dla początkujących testerów
Praktyka testowania dla początkujących testerów Warsztaty stanowią 100% praktykę testowania i skupiają się zwłaszcza na tych aspektach, które przydatne są w codziennej pracy testera. Przeznaczone są dla
Bardziej szczegółowoIO - Plan wdrożenia. M.Jałmużna T.Jurkiewicz P.Kasprzyk M.Robak. 5 czerwca 2006
IO - Plan wdrożenia M.Jałmużna T.Jurkiewicz P.Kasprzyk M.Robak 5 czerwca 2006 1 Spis treści 1 Wprowadzenie 3 1.1 Cel.......................................... 3 1.2 Zakres........................................
Bardziej szczegółowoZadanie: BOW Gra w kręgle
Zadanie: BOW Gra w kręgle polish BOI 0, dzień. Dostępna pamięć: 6 MB. 30.04.0 Bajtazar jest miłośnikiem gry w kręgle, a także statystyki. Swego czasu spisywał on wyniki gier w kręgle. Niestety, niektóre
Bardziej szczegółowoOverlord - Plan testów
Overlord - Plan testów Jakub Gołębiowski Adam Kawa Piotr Krewski Tomasz Weksej 5 czerwca 2006 Spis treści 1 Wprowadzenie 2 1.1 Cel tego dokumentu................................. 2 1.2 Cele systemu testów................................
Bardziej szczegółowoZawód tester, czyli na czym polega testowanie. Katarzyna Łabinska Justyna Sacha - Gawlik
Zawód tester, czyli na czym polega testowanie Katarzyna Łabinska Justyna Sacha - Gawlik Agenda: 1. Poznajmy się 2. Tester - kto to jest? 3. Podstawy testowania 4. Testowanie manualne a automatyczne 5.
Bardziej szczegółowoTworzenie przypadków testowych
Tworzenie przypadków testowych Prowadząca: Katarzyna Pietrzyk Agenda 1. Wprowadzenie 2. Wymagania 3. Przypadek testowy Definicja Schemat Cechy dobrego przypadku testowego 4. Techniki projektowania Czarnej
Bardziej szczegółowoTestowanie według modelu (MBT) Stowarzyszenie Inżynierii Wymagań wymagania.org.pl
Testowanie według modelu (MBT) Bogdan Bereza, Victo MBT testowanie z modelu wersja 2.1 A 1 (48) Pozdrawiam Best regards Med vänliga hälsningar Bogdan Bereza bogdan.bereza@victo.eu +48 519 152 106 Skype:
Bardziej szczegółowoAutomatyzacja testowania oprogramowania. Automatyzacja testowania oprogramowania 1/36
Automatyzacja testowania oprogramowania Automatyzacja testowania oprogramowania 1/36 Automatyzacja testowania oprogramowania 2/36 Potrzeba szybkich rozwiązań Testowanie oprogramowania powinno być: efektywne
Bardziej szczegółowoAutomatyzacja procesu kontroli danych z lotniczego skanowania laserowego
Instytut Badawczy Leśnictwa www.ibles.pl Automatyzacja procesu kontroli danych z lotniczego skanowania laserowego Bartłomiej Kraszewski, Żaneta Piasecka, Rafał Sadkowski, Krzysztof Stereńczak Zakład Zarządzania
Bardziej szczegółowoBudowa aplikacji ASP.NET z wykorzystaniem wzorca MVC
Akademia MetaPack Uniwersytet Zielonogórski Budowa aplikacji ASP.NET z wykorzystaniem wzorca MVC Krzysztof Blacha Microsoft Certified Professional Budowa aplikacji ASP.NET z wykorzystaniem wzorca MVC Agenda:
Bardziej szczegółowoPlan testów. Robert Dyczkowski, Piotr Findeisen, Filip Grzdkowski. 4 czerwca 2006
Robert Dyczkowski, Piotr Findeisen, Filip Grzdkowski 4 czerwca 2006 1 Spis treści 1 Wprowadzenie 3 1.1 Cel dokumentu................................... 3 1.2 Oczekiwania....................................
Bardziej szczegółowoPrzypadki bez przypadków. Jak dobierać scenariusze testowe.
Przypadki bez przypadków. Jak dobierać scenariusze testowe. Konferencja SQAM 2008 Warszawa, 29. kwietnia Wojciech Pająk 29 kwietnia 2008 Warszawa Zagadnienia prezentacji 1. Wprowadzenie 2. Definicje przypadków
Bardziej szczegółowoZestaw zadań konkursowych XVII Regionalnego Konkursu Informatycznego
Zestaw zadań konkursowych XVII Regionalnego Konkursu Informatycznego Instytut Informatyki UwB 1.04.2017 r. Uwaga: Wersje źródłowe i skompilowane programy mają być umieszczone na Pulpicie w katalogu o nazwie
Bardziej szczegółowoWykład 2. Poprawność algorytmów
Wykład 2 Poprawność algorytmów 1 Przegląd Ø Poprawność algorytmów Ø Podstawy matematyczne: Przyrost funkcji i notacje asymptotyczne Sumowanie szeregów Indukcja matematyczna 2 Poprawność algorytmów Ø Algorytm
Bardziej szczegółowoWszystkie problemy leżą w testach. ForProgress spółka z ograniczoną odpowiedzialnością sp.k.
Wszystkie problemy leżą w testach O czym będziemy rozmawiać Coś nie wyszło Jak wygląda proces wytwórczy Każdy widzi to inaczej Jakie wnioski wyciągamy z testów Analiza problemów Możliwe rozwiązania O czym
Bardziej szczegółowoMetody testowania oprogramowania w cyklu wytwarzania aplikacji. Milena Sobolewska. Rule Financial - Software Test Engineer
Metody testowania oprogramowania w cyklu wytwarzania aplikacji Milena Sobolewska Rule Financial - Software Test Engineer 1 O mnie Absolwentka: Informatyka i Ekonometria na Wydziale Informatyki i Gospodarki
Bardziej szczegółowoKonwerter Plan testów. Jakub Rauch Tomasz Gołębiowski Adam Busch Bartosz Franaszek 1 czerwca 2008
Konwerter Plan testów Jakub Rauch Tomasz Gołębiowski Adam Busch Bartosz Franaszek 1 czerwca 2008 1 Spis treści 1 Wprowadzenie 3 1.1 Cel........................................ 3 1.2 Zamierzeni odbiorcy
Bardziej szczegółowoNiecertyfikowany tester Plan poziomu zerowego
Wersja 2013.1 Wersja 2013 Strona 1 z 6 stron czerwiec 2013 : (przewodniczący) Prawa autorskie zastrzeżone określa następujące warunki korzystania z Planu: 1) Osoby, instytucje kształcące oraz firmy szkoleniowe
Bardziej szczegółowoLOGOWANIE DO SYSTEMU:
LOGOWANIE DO SYSTEMU: II. Obecność Recenzenta w systemie: a. Recenzent posiada założony przez siebie login i hasło (wówczas bezpośrednio loguje się do systemu) b. Recenzent został zalogowany w systemie
Bardziej szczegółowoTestowanie i walidacja oprogramowania
i walidacja oprogramowania Inżynieria oprogramowania, sem.5 cz. 3 Rok akademicki 2010/2011 Dr inż. Wojciech Koziński Zarządzanie testami Cykl życia testów (proces) Planowanie Wykonanie Ocena Dokumentacja
Bardziej szczegółowoGoogle Testing. Radosław Smilgin,17.10.2008, TestWarez
Agenda 2. Testowanie 4. Google Google Webmaster Google Analytics Google Optimizer 7. Eksperyment 9. Podsumowanie Testowanie Klasyczne P T K Testowanie w Internecie P T K Testowanie wg. Google P T K Google
Bardziej szczegółowoProjekt współfinansowany z Europejskiego Funduszu Społecznego i Budżetu Państwa
REGULAMIN UCZESTNICTWA W PROJEKCIE Centrum Zastosowań Matematyki w ramach trzeciej edycji naboru artykułów dotyczących matematyki i jej zastosowań do publikacji na portalu internetowym Centrum Zastosowań
Bardziej szczegółowoZmienne zależne i niezależne
Analiza kanoniczna Motywacja (1) 2 Często w badaniach spotykamy problemy badawcze, w których szukamy zakresu i kierunku zależności pomiędzy zbiorami zmiennych: { X i Jak oceniać takie 1, X 2,..., X p }
Bardziej szczegółowoPriorytetyzacja przypadków testowych za pomocą macierzy
Priorytetyzacja przypadków testowych za pomocą macierzy W niniejszym artykule przedstawiony został problem przyporządkowania priorytetów do przypadków testowych przed rozpoczęciem testów oprogramowania.
Bardziej szczegółowoAIDoc. System wspomagania zarządzaniem wizytami medycznymi oraz przechowywaniem rodzinnej dokumentacji medycznej.
AIDoc System wspomagania zarządzaniem wizytami medycznymi oraz przechowywaniem rodzinnej dokumentacji medycznej. Plan Prezentacji Prezentacja Zespołu Opis założeń systemu AIDoc Prezentacja firmy RECONIZER
Bardziej szczegółowoPlan testów do Internetowego Serwisu Oferowania i Wyszukiwania Usług Transportowych
Plan testów do Internetowego Serwisu Oferowania i Wyszukiwania Usług Transportowych Michał Lewowski, Piotr Skowron, Michał Matczuk, Piotr Wygocki 5 czerwca 2006 1 Spis treści 1 Wprowadzenie 3 1.1 Cel..........................................
Bardziej szczegółowoWYKŁAD 8 TESTOWANIE HIPOTEZ STATYSTYCZNYCH
WYKŁAD 8 TESTOWANIE HIPOTEZ STATYSTYCZNYCH Było: Estymacja parametrów rozkładu teoretycznego punktowa przedziałowa Przykład. Cecha X masa owocu pewnej odmiany. ZałoŜenie: cecha X ma w populacji rozkład
Bardziej szczegółowoMicrosoft Test Manager
Microsoft Test Manager Wprowadzenie do narzędzia jakim jest Microsoft Test Manager. Wskazanie możliwości, silnych oraz słabych stron. Marta Firlej 29/09/2014 Microsoft Test Manager Team Foundation Server
Bardziej szczegółowoIO - Plan testów. M.Jałmużna T.Jurkiewicz P.Kasprzyk M.Robak. 5 czerwca 2006
IO - Plan testów M.Jałmużna T.Jurkiewicz P.Kasprzyk M.Robak 5 czerwca 2006 1 SPIS TREŚCI 2 Spis treści 1 Historia zmian 3 2 Zakres testów 3 2.1 Integration testing - Testy spójnosci.............. 3 2.2
Bardziej szczegółowoREFERAT PRACY DYPLOMOWEJ
REFERAT PRACY DYPLOMOWEJ Temat pracy: Projekt i implementacja środowiska do automatyzacji przeprowadzania testów aplikacji internetowych w oparciu o metodykę Behavior Driven Development. Autor: Stepowany
Bardziej szczegółowoTestowanie oprogramowania
Testowanie oprogramowania Adam Roman Instytut Informatyki UJ Sprawy organizacyjne organizacja zajęć program kursu informacja o egzaminie 1/17 Informacje kontaktowe Adam Roman Instytut Informatyki UJ pokój
Bardziej szczegółowoNajwyżej ocenione raporty dla Mr Buggy 4
Najwyżej ocenione raporty dla Mr Buggy 4 Uwagi Komisji: 1. Żaden z raportów nie otrzymał maksymalnej liczby punktów. 2. Poniżej prezentowane są oryginalne wersje raportów z usuniętymi danymi mogącymi identyfikować
Bardziej szczegółowoZakres prac implementacja VPLEX i ViPR dla środowiska macierzy VNX 5800
Zakres prac implementacja VPLEX i ViPR dla środowiska macierzy VNX 5800 Autor: RWE GBS Polska Wersja: 1.0 Status: opublikowany Copyright RWE GBS. Any use or form of reproduction, in whole or part, of any
Bardziej szczegółowoJak patrzymy na testy czyli Jak punkt widzenia zależy od punktu siedzenia. Click Piotr Kałuski to edit Master subtitle style
Jak patrzymy na testy czyli Jak punkt widzenia zależy od punktu siedzenia Click Piotr Kałuski to edit Master subtitle style Punkty widzenia Zespół Testów Manager Projektu Użytkownik końcowy Zespół Testów
Bardziej szczegółowoINFORMATYKA POZIOM ROZSZERZONY
EGZAMIN MATURALNY W ROKU SZKOLNYM 2016/2017 FORMUŁA OD 2015 ( NOWA MATURA ) INFORMATYKA POZIOM ROZSZERZONY ZASADY OCENIANIA ROZWIĄZAŃ ZADAŃ ARKUSZ MIN-R1, R2 MAJ 2017 Uwaga: Akceptowane są wszystkie odpowiedzi
Bardziej szczegółowoTesty jednostkowe Wybrane problemy testowania metod rekurencyjnych
Testy jednostkowe Wybrane problemy testowania metod rekurencyjnych Artykuł przeznaczony jest dla osób związanych z testowaniem, programowaniem, jakością oraz wytwarzaniem oprogramowania, wymaga jednak
Bardziej szczegółowoTestowanie elementów programowalnych w systemie informatycznym
Testowanie elementów programowalnych w systemie informatycznym Marek Żukowicz 10 października 2017 Streszczenie W literaturze istnieje wiele modeli wytwarzania oprogramowania oraz wiele strategii testowania
Bardziej szczegółowoZarządzanie konfiguracją produktu w całym cyklu Ŝycia. Aleksandra Grzywak-Gawryś Warsztaty Rola IRIS w branŝy kolejowej
Zarządzanie konfiguracją produktu w całym cyklu Ŝycia Aleksandra Grzywak-Gawryś Warsztaty Rola IRIS w branŝy kolejowej - plan prezentacji 1 2 3 4 5 Zarządzanie konfiguracją - definicje Problemy z konfiguracją
Bardziej szczegółowoTESTER OPROGRAMOWANIA STUDIA PODYPLOMOWE
TESTER OPROGRAMOWANIA STUDIA PODYPLOMOWE UCZELNIA: AKADEMIA MARYNARKI WOJENNEJ W GDYNI PARTNER: ASSECO POLAND SA NAZWA KIERUNKU: TESTER OPROGRAMOWANIA CZAS TRWANIA STUDIÓW: II SEMESTRY, ROK 2017/2018 OPIEKUN
Bardziej szczegółowoEGZAMIN MATURALNY 2011 INFORMATYKA
Centralna Komisja Egzaminacyjna w Warszawie EGZAMIN MATURALNY 2011 INFORMATYKA POZIOM ROZSZERZONY MAJ 2011 2 Zadanie 1. a) (0 1) Egzamin maturalny z informatyki poziom rozszerzony CZĘŚĆ I Obszar standardów
Bardziej szczegółowoZałącznik nr 1. Specyfikacja techniczna portalu internetowego Łódź, 15.10.2012 r.
Załącznik nr 1. Specyfikacja techniczna portalu internetowego Łódź, 15.10.2012 r. Stworzenie platformy internetowej na potrzeby projektu. 1 Wykonanie portalu internetowego na potrzeby e-usługi, obejmującego
Bardziej szczegółowoCałościowe podejście do testowania automatycznego dla programistów. (TDD, BDD, Spec. by Example, wzorce, narzędzia)
Program szkolenia: Całościowe podejście do testowania automatycznego dla programistów Ruby (TDD, BDD, Spec. by Example, wzorce, narzędzia) Informacje: Nazwa: Kod: Kategoria: Grupa docelowa: Czas trwania:
Bardziej szczegółowoAnaliza ilościowa w przetwarzaniu równoległym
Komputery i Systemy Równoległe Jędrzej Ułasiewicz 1 Analiza ilościowa w przetwarzaniu równoległym 10. Analiza ilościowa w przetwarzaniu równoległym...2 10.1 Kryteria efektywności przetwarzania równoległego...2
Bardziej szczegółowoSzkolenie: ISTQB Model-Based Tester
Szkolenie: ISTQB Model-Based Tester Szkolenie ISTQB Model-Based Tester rozszerza tematykę Poziomu Podstawowego o zagadnienia związane z testowaniem opartym na modelu. Skierowane jest do osób chcących rozszerzyć
Bardziej szczegółowoEtapy życia oprogramowania. Modele cyklu życia projektu. Etapy życia oprogramowania. Etapy życia oprogramowania
Etapy życia oprogramowania Modele cyklu życia projektu informatycznego Organizacja i Zarządzanie Projektem Informatycznym Jarosław Francik marzec 23 Określenie wymagań Testowanie Pielęgnacja Faza strategiczna
Bardziej szczegółowoDwuwymiarowy sposób na podróbki > 34
TEMAT NUMERU I Bezpieczeństwo WIELE WYMIARÓW BEZPIECZEŃSTWA I zapobieganie zanieczyszczeniom krzyżowym I walka z fałszowaniem leków I walidacja rozwiązań chmurowych Maszyny rozwoju > 20 Dwuwymiarowy sposób
Bardziej szczegółowoSzkolenie: Testowanie wydajności (Performance Testing)
Szkolenie: Testowanie wydajności (Performance Testing) Testy niefunkcjonalne aplikacji to nieodłączna część pracy dobrego testera. Do tego typu testów zaliczamy między innymi taką właściwość systemu jak
Bardziej szczegółowoe E Z = P = 1 Z e E Kanoniczna suma stanów Prawdopodobieństwo wystąpienia mikrostanu U E = =Z 1 Wartość średnia energii
Metoda Metropolisa Z = e E P = 1 Z e E Kanoniczna suma stanów Prawdopodobieństwo wystąpienia mikrostanu U E = P E =Z 1 E e E Wartość średnia energii Średnia wartość A = d r N A r N exp[ U r N ] d r N exp[
Bardziej szczegółowoSession Based Testing Czyli eksploracyjne testowanie w sesjach. Karolina Bilewska PapryQArz 16.09.2015
Session Based Testing Czyli eksploracyjne testowanie w sesjach Karolina Bilewska PapryQArz 16.09.2015 AGENDA 1. Geneza SBT 2. Pojęcie SBT, zasady testów w sesjach 3. Jak zarządzać testami w sesjach? 4.
Bardziej szczegółowoZAŁĄCZNIK NR 3 OPIS PRZEDMIOTU ZAMÓWIENIA DOTYCZĄCY WDROŻENIA PLATFORMY ZAKUPOWEJ
ZAŁĄCZNIK NR 3 OPIS PRZEDMIOTU ZAMÓWIENIA DOTYCZĄCY WDROŻENIA PLATFORMY ZAKUPOWEJ 1. PRZEDMIOT ZAMÓWIENIA Przedmiotem zamówienia jest dostarczenie i wdrożenie systemu informatycznego dalej Platforma zakupowa
Bardziej szczegółowoPodstawy Informatyki. Algorytmy i ich poprawność
Podstawy Informatyki Algorytmy i ich poprawność Błędy Błędy: językowe logiczne Błędy językowe Związane ze składnią języka Wykrywane automatycznie przez kompilator lub interpreter Prosty sposób usuwania
Bardziej szczegółowoSzkolenie: Dobry Przypadek Testowy
Szkolenie: Dobry Przypadek Testowy Przypadek testowy jest najważniejszą, formalną częścią testowania oprogramowania. Szkolenie uczy, jakie są typy notacji testów, jakie testy dobierać do jakich projektów
Bardziej szczegółowoKumulowanie się defektów jest możliwe - analiza i potwierdzenie tezy
Kumulowanie się defektów jest możliwe - analiza i potwierdzenie tezy Marek Żukowicz 14 marca 2018 Streszczenie Celem napisania artykułu jest próba podania konstruktywnego dowodu, który wyjaśnia, że niewielka
Bardziej szczegółowoCENTRALA SYGNALIZACJI POŻAROWEJ
KONWENCJONALNY SYSTEM SYGNALIZACJI POŻAROWEJ IGNIS 1000 CENTRALA SYGNALIZACJI POŻAROWEJ IGNIS1240/ IGNIS1080/ IGNIS1030/ IGNIS1520M Instrukcja sprawdzenia prawidłowego działania centrali po zainstalowaniu
Bardziej szczegółowoREQB POZIOM PODSTAWOWY PRZYKŁADOWY EGZAMIN
REQB POZIOM PODSTAWOWY PRZYKŁADOWY EGZAMIN Podziękowania REQB Poziom Podstawowy Przykładowy Egzamin Dokument ten został stworzony przez główny zespół Grupy Roboczej REQB dla Poziomu Podstawowego. Tłumaczenie
Bardziej szczegółowoTesty poziom po poziomie
poziom po poziomie Prowadzący: Tomasz Mielnik Eliza Słonińska Agenda 1. Modele prowadzenia projektów 2. V-Model 3. Poziomy testów 4. Typy testów 5. Zadanie 1 Modele prowadzenia projektów Wodospadowy (ang.
Bardziej szczegółowoSukces vs porażka. Sukces. Porażka
Wstęp Cytaty Kiedy zawiesza się program konkurencji, to jest awaria. Kiedy zawiesza się własny program, to jest drobiazg. Często po awarii pojawia się komunikat typu ID 02. ID to skrót od idiotyczny drobiazg,
Bardziej szczegółowoBrzegi w testowaniu oprogramowania
Brzegi w testowaniu oprogramowania Marek Żukowicz 12 kwietnia 2017 Streszczenie Analiza wartości brzegowych oraz samo pojęcie brzegu to elementy testowania, z którymi na ogół spotyka się każdy tester podczas
Bardziej szczegółowoTestowanie hipotez statystycznych
Temat Testowanie hipotez statystycznych Kody znaków: Ŝółte wyróŝnienie nowe pojęcie pomarańczowy uwaga kursywa komentarz 1 Zagadnienia omawiane na zajęciach 1. Idea i pojęcia teorii testowania hipotez
Bardziej szczegółowoOdwrotna analiza wartości brzegowych przy zaokrąglaniu wartości
Odwrotna analiza wartości brzegowych przy zaokrąglaniu wartości W systemach informatycznych istnieje duże prawdopodobieństwo, że oprogramowanie będzie się błędnie zachowywać dla wartości na krawędziach
Bardziej szczegółowoPraca dyplomowa. Program do monitorowania i diagnostyki działania sieci CAN. Temat pracy: Temat Gdańsk Autor: Łukasz Olejarz
Temat Gdańsk 30.06.2006 1 Praca dyplomowa Temat pracy: Program do monitorowania i diagnostyki działania sieci CAN. Autor: Łukasz Olejarz Opiekun: dr inż. M. Porzeziński Recenzent: dr inż. J. Zawalich Gdańsk
Bardziej szczegółowoCENTRALA SYGNALIZACJI POŻAROWEJ
INTERAKTYWNY SYSTEM SYGNALIZACJI POŻAROWEJ POLON 4000 CENTRALA SYGNALIZACJI POŻAROWEJ POLON4900/POLON4500/POLON4200/POLON4100 Instrukcja sprawdzenia prawidłowego działania centrali po zainstalowaniu IO-E316-002
Bardziej szczegółowoEtapy życia oprogramowania
Modele cyklu życia projektu informatycznego Organizacja i Zarządzanie Projektem Informatycznym Jarosław Francik marzec 23 w prezentacji wykorzystano również materiały przygotowane przez Michała Kolano
Bardziej szczegółowoiqportal abonencki panel zarządzania
ISO 9001:2000 iqportal abonencki panel zarządzania Wersja 0.9 Informacje zawarte w niniejszym dokumencie stanowią tajemnicę naszego przedsiębiorstwa w rozumieniu przepisów Ustawy o zwalczaniu nieuczciwej
Bardziej szczegółowo3. Podaj elementy składowe jakie powinna uwzględniać definicja informatyki.
1. Podaj definicję informatyki. 2. W jaki sposób można definiować informatykę? 3. Podaj elementy składowe jakie powinna uwzględniać definicja informatyki. 4. Co to jest algorytm? 5. Podaj neumanowską architekturę
Bardziej szczegółowoZasady gry w bowlingu sportowym
Zasady gry w bowlingu sportowym 1. Przepisy ogólne 1.1 Definicje 1.1.1 Gra w bowlingu składa się z 10 ramek. W pierwszych 9 ramkach zawodnikowi przysługują 2 rzuty, chyba, że w pierwszym rzucił strike.
Bardziej szczegółowoINŻYNIERIA OPROGRAMOWANIA TESTOWANIE SYSTEMOWE
INŻYNIERIA OPROGRAMOWANIA TESTOWANIE SYSTEMOWE Ważne pojęcia (I) Warunek testowy (test condition) to element lub zdarzenie modułu lub systemu, który może być zweryfikowany przez jeden lub więcej przypadków
Bardziej szczegółowoKomputerowe Systemy Przemysłowe: Modelowanie - UML. Arkadiusz Banasik arkadiusz.banasik@polsl.pl
Komputerowe Systemy Przemysłowe: Modelowanie - UML Arkadiusz Banasik arkadiusz.banasik@polsl.pl Plan prezentacji Wprowadzenie UML Diagram przypadków użycia Diagram klas Podsumowanie Wprowadzenie Języki
Bardziej szczegółowoTestowanie aplikacji mobilnych na platformie Android - architektura, wzorce, praktyki i narzędzia
Program szkolenia: Testowanie aplikacji mobilnych na platformie Android - architektura, wzorce, Informacje: Nazwa: Kod: Kategoria: Grupa docelowa: Czas trwania: Forma: Testowanie aplikacji mobilnych na
Bardziej szczegółowoMigracja do PostgreSQL za pomocą narzędzi Enterprise DB
Migracja do PostgreSQL za pomocą narzędzi Enterprise DB Przemysław Deć Konsultant IT Linux Polska Sp. z o.o. Cele prezentacji Czym jest Enterprise DB Korzyści migracji do opensource`owej bazy danych Kompatybilność
Bardziej szczegółowoPytania próbne ISTQB CTFL
Pytania próbne ISTQB CTFL 111 200 Pytania pisane kursywą są raczej nieaktualne dotyczą wersji sylabusa wcześniejszych, niż wersja 2011.1.1 [UWAGA] oznacza konieczność obniżenie IQ i podwyższenia EQ Na
Bardziej szczegółowoMatematyka Dyskretna. Andrzej Szepietowski. 25 czerwca 2002 roku
Matematyka Dyskretna Andrzej Szepietowski 25 czerwca 2002 roku Rozdział 1 Poprawność programów Jeżeli projektujemy algorytmy lub piszemy programy, to ważne jest pytanie, czy nasz algorytm lub program
Bardziej szczegółowoZarządzanie i realizacja projektów systemu Microsoft SharePoint 2010
Zarządzanie i realizacja projektów systemu Microsoft SharePoint 2010 Geoff Evelyn Przekład: Natalia Chounlamany APN Promise Warszawa 2011 Spis treści Podziękowania......................................................
Bardziej szczegółowoSystem egzaminów elektronicznych Instrukcja do Portalu Egzaminacyjnego i modułu task. Spis treści
System egzaminów elektronicznych Instrukcja do Portalu Egzaminacyjnego i modułu task Portal Egzaminacyjny Spis treści Informacje ogólne... 2 Rejestracja i logowanie... 2 Strona główna... 4 Zapisy na egzamin...
Bardziej szczegółowoSpis treúci. 1. Wprowadzenie... 13
Księgarnia PWN: W. Dąbrowski, A. Stasiak, M. Wolski - Modelowanie systemów informatycznych w języku UML 2.1 Spis treúci 1. Wprowadzenie... 13 2. Modelowanie cele i metody... 15 2.1. Przegląd rozdziału...
Bardziej szczegółowoEGZAMIN MATURALNY 2011 INFORMATYKA
Centralna Komisja Egzaminacyjna w Warszawie EGZAMIN MATURALNY 2011 INFORMATYKA POZIOM ROZSZERZONY MAJ 2011 Egzamin maturalny z informatyki poziom rozszerzony 7 CZĘŚĆ II Uwaga: Wszystkie wyniki muszą być
Bardziej szczegółowoStatystyka matematyczna dla leśników
Statystyka matematyczna dla leśników Wydział Leśny Kierunek leśnictwo Studia Stacjonarne I Stopnia Rok akademicki 03/04 Wykład 5 Testy statystyczne Ogólne zasady testowania hipotez statystycznych, rodzaje
Bardziej szczegółowoTopór Światowida Plan testów
Topór Światowida Plan testów Maciej Pawlisz Łukasz Polak Oskar Skibski Jakub Światły 5 czerwca 2007r. 1 Spis treści 1 Wprowadzenie 3 1.1 Cel.......................................... 3 1.2 Zakres........................................
Bardziej szczegółowoElżbieta Kula - wprowadzenie do Turbo Pascala i algorytmiki
Elżbieta Kula - wprowadzenie do Turbo Pascala i algorytmiki Turbo Pascal jest językiem wysokiego poziomu, czyli nie jest rozumiany bezpośrednio dla komputera, ale jednocześnie jest wygodny dla programisty,
Bardziej szczegółowoAKADEMICKI SYSTEM ARCHIWIZACJI PRAC - charakterystyka
Plan prezentacji 1. Akademicki System Archiwizacji Prac charakterystyka 2. Integracja aplikacji ASAP z innymi systemami 3. Obieg pracy dyplomowej w systemie ASAP 4. Wdrożenie aplikacji ASAP 5. Korzyści
Bardziej szczegółowoSWB - Projektowanie synchronicznych układów sekwencyjnych - wykład 5 asz 1. Układy kombinacyjne i sekwencyjne - przypomnienie
SWB - Projektowanie synchronicznych układów sekwencyjnych - wykład 5 asz 1 Układy kombinacyjne i sekwencyjne - przypomnienie SWB - Projektowanie synchronicznych układów sekwencyjnych - wykład 5 asz 2 Stan
Bardziej szczegółowoSatel Integra FIBARO
Konfiguracja systemu alarmowego Satel Integra do współpracy z systemem FIBARO Poznań, 15 maja 2015r. 1 FIBARO Home Center 2 umożliwia integrację z systemem alarmowym Satel. Jest to realizowane na poziomie
Bardziej szczegółowoOpis programu ERWIN. System Zarządzania Postępowaniem. Warszawa ERWIN
System Zarządzania Postępowaniem Warszawa 02.01.2015 Dlaczego nie Excel? Akkusz kalkulacyjny często jest używany w firmych i instytucjach jako podręczna baza danych. Arkusz kalkulacyjny nie został zaprojektowany
Bardziej szczegółowo1 Moduł Modbus ASCII/RTU 3
Spis treści 1 Moduł Modbus ASCII/RTU 3 1.1 Konfigurowanie Modułu Modbus ASCII/RTU............. 3 1.1.1 Lista elementów Modułu Modbus ASCII/RTU......... 3 1.1.2 Konfiguracja Modułu Modbus ASCII/RTU...........
Bardziej szczegółowoTestowanie oprogramowania. Wykład 1 dlaczego testowanie jest niezbędne czym jest testowanie ogólne zasady testowania
1/30 Testowanie oprogramowania Adam Roman Instytut Informatyki UJ Wykład 1 dlaczego testowanie jest niezbędne czym jest testowanie ogólne zasady testowania Podstawowy proces testowy role i aktywności w
Bardziej szczegółowoWyszukiwanie binarne
Wyszukiwanie binarne Wyszukiwanie binarne to technika pozwalająca na przeszukanie jakiegoś posortowanego zbioru danych w czasie logarytmicznie zależnym od jego wielkości (co to dokładnie znaczy dowiecie
Bardziej szczegółowoEgzamin / zaliczenie na ocenę*
WYDZIAŁ PODSTAWOWYCH PROBLEMÓW TECHNIKI Zał. nr 4 do ZW33/01 KARTA PRZEDMIOTU Nazwa w języku polskim : INŻYNIERIA OPROGRAMOWANIA Nazwa w języku angielskim: SOFTWARE ENGINEERING Kierunek studiów (jeśli
Bardziej szczegółowoRegulamin zamieszczania informacji w Biuletynie Informacji Publicznej Urzędu Marszałkowskiego Województwa Podlaskiego w Białymstoku
Załącznik nr 7 do Zarządzenia Nr 53/2013 Marszałka Województwa Podlaskiego z dnia 12 grudnia 2013 r. Regulamin zamieszczania informacji w Biuletynie Informacji Publicznej Urzędu Marszałkowskiego Województwa
Bardziej szczegółowoLeftHand Sp. z o. o.
LeftHand Sp. z o. o. Producent oprogramowania finansowo-księgowe, handlowego i magazynowego na Windows i Linux Instrukcja rejestracji wersji testowej programu LeftHand Ten dokument ma na celu przeprowadzić
Bardziej szczegółowoStrategia testów mająca doprowadzić do osiągnięcia pożądanych celów
Dokumentacja testowa. Plan testów [ang. Test Plan] Plan testów jest jednym z podstawowych dokumentów w procesie testowym. Przedstawiamy wzór planu testów. testerzy.pl Zapraszamy do dyskusji o planie testów
Bardziej szczegółowoREGULAMIN KRĘGIELNI. Zasady i dobre obyczaje podczas gry.
REGULAMIN KRĘGIELNI (wyciąg z regulaminu obiektu) Ogólne postanowienia dotyczące zachowania w kręgielni bowlingowej. 1. Niniejszy regulamin określa ogólne zasady korzystania z torów kręgielni bowlingowej
Bardziej szczegółowoJęzyk ludzki kod maszynowy
Język ludzki kod maszynowy poziom wysoki Język ludzki (mowa) Język programowania wysokiego poziomu Jeśli liczba punktów jest większa niż 50, test zostaje zaliczony; w przeciwnym razie testu nie zalicza
Bardziej szczegółowoWHILE (wyrażenie) instrukcja;
INSTRUKCJE ITERACYJNE WHILE, DO WHILE, FOR Instrukcje iteracyjne pozwalają powtarzać daną instrukcję programu określoną liczbę razy lub do momentu osiągnięcia określonego skutku. Pętla iteracyjna while
Bardziej szczegółowoREGULAMIN publikowania informacji w Biuletynie Informacji Publicznej Wojewódzkiego Urzędu Pracy w Białymstoku. Postanowienia ogólne
Załącznik Nr 2 do Zarządzenia Nr 3/2017 Dyrektora Wojewódzkiego Urzędu Pracy w Białymstoku z dnia 10 stycznia 2017 r. REGULAMIN publikowania informacji w Biuletynie Informacji Publicznej Wojewódzkiego
Bardziej szczegółowoemszmal 3: Automatyczne księgowanie przelewów w sklepie internetowym RedCart (plugin dostępny w wersji ecommerce)
emszmal 3: Automatyczne księgowanie przelewów w sklepie internetowym RedCart (plugin dostępny w wersji ecommerce) Zastosowanie Rozszerzenie to dedykowane jest sklepom internetowych działającym na platformie
Bardziej szczegółowoZarządzanie testowaniem wspierane narzędziem HP Quality Center
Zarządzanie testowaniem wspierane narzędziem HP Quality Center studium przypadku Mirek Piotr Szydłowski Ślęzak Warszawa, 17.05.2011 2008.09.25 WWW.CORRSE.COM Firma CORRSE Nasze zainteresowania zawodowe
Bardziej szczegółowo