Standardy testowania oprogramowania. Iwona Kocha«ska. January 15, 2016

Wielkość: px
Rozpocząć pokaz od strony:

Download "Standardy testowania oprogramowania. Iwona Kocha«ska. January 15, 2016"

Transkrypt

1 Standardy testowania oprogramowania Iwona Kocha«ska KSEM WETI PG January 15, 2016

2 Testowanie oprogramowania Testowanie - jeden z procesów zapewnienia jako±ci oprogramowania Testowanie ma na celu: werykacj oprogramowania (czy wytwarzane oprogramowanie jest zgodne ze specykacj?) walidacj oprogramowania (czy wytwarzane oprogramowanie jest zgodne z oczekiwaniami u»ytkownika?) Mo»e by wdro»one w dowolnym momencie wytwarzania oprogramowania (w zale»no±ci od wybranej metody). W podej±ciu klasycznym: po denicji wymaga«po zaimplementowaniu wszystkich zdeniowanych funkcjonalno±ci. Agile - du»o testów jednostkowych wykonywanych przez czªonków zespoªu programistycznego, zanim oprogramowanie tra do wªa±ciwego zespoªu testerów.

3 Testowanie oprogramowania Bª d (error) - niepoprawna konstrukcja w programie, która mo»e doprowadzi do niewªa±ciwego dziaªania tego programu. Bª dne wykonanie (failure) - niepoprawne dziaªanie systemu w trakcie jego pracy. To samo bª dne wykonanie mo»e by spowodowane ró»nymi bª dami! Testowania umo»liwia wykrycie bª dów we wczesnych stadiach rozwoju oprogramowania, co pozwala zmniejszy koszty usuwania tego bª du. Warto testowa na ka»dym etapie tworzenia oprogramowania. estowa nale»y jak najwcze±niej, poniewa» im pó¹niej wykryty zostanie bª d tym wi kszy jest koszt jego usuni cia.

4 Rodzaje testów oprogramowania Testy funkcjonalne (testy czarnej skrzynki) - czy program realizuje zaªo»on funkcjonalno±? Osoba testuj ca nie ma dost pu do informacji na temat budowy programu, który testuje. Wykonuj c testy nie opiera danych testowych na budowie wewn trznej programu, lecz na zaªo»eniach funkcjonalnych, jakie powinien speªnia program zgodnie z dokumentacj Testy strukturalne (testy biaªej skrzynki)- analiza kodu ¹ródªowego oprogramowania.

5 Rodzaje testów oprogramowania Testy manualne - testy wykonywane r cznie przez testera, który przechodzi przez interfejs u»ytkownika zgodnie z okre±lon sekwencj kroków testy integracyjne pozwalaj sprawdzi jak wspóªpracuj ze sob ró»ne komponenty oprogramowania. testy systemowe dotycz dziaªania aplikacji jako caªo±ci. Testowanie wymaga«niefunkcjonalnych takich jak: szybko± dziaªania, bezpiecze«stwo, niezawodno±, dobra wspóªpraca z innymi aplikacjami i sprz tem. testy regresyjne sprawdzenie wpªywu nowych funkcjonalno±ci na dziaªanie systemu

6 Rodzaje testów oprogramowania Testy manualne - testy wykonywane r cznie przez testera, który przechodzi przez interfejs u»ytkownika zgodnie z okre±lon sekwencj kroków testy akceptacyjne z udziaªem klienta wykonywane w celu sprawdzenia na ile oprogramowanie dziaªa zgodnie z wymaganiami klienta testy dokumentacji - celem jest wykrycie niespójno±ci i niezgodno±ci w dokumentacji analitycznej, technicznej oraz dokumentacji u»ytkownika, sporz dzonej w ramach realizowanego projektu informatycznego testy u»yteczno±ci - celem jest werykacja interfejsu u»ytkownika w zakresie przyst pno±ci, wygody, szybko±ci oraz zgodno±ci z oczekiwaniami przyszªych u»ytkowników.

7 Rodzaje testów oprogramowania Testy automatyczne skutecznie przyspieszaj proces tworzenia testów systemowych, ich wykonywanie oraz analiz, pozwalaj na wcze±niejsze wykrycie i wyeliminowanie bª dów w aplikacjach. wykonywane s w oparciu o wysokiej jako±ci oprogramowanie.

8 Standard IEEE IEEE (829 Standard for Software Test Documentation) - podstawowy standard dla testowania oprogramowania. Okre±la format 8 dokumentów potrzebnych w ka»dej z faz testowania oprogramowania. Jedna faza = 1 dokument wynikowy. Test Plan dokument planowania zarz dzania projektem w jaki sposób b d prowadzone testy? kto b dzie je przeprowadzaª? co b dzie testowane? jak dªugo potrwa caªy proces? jaki b dzie zakres testów? Test Design Specication szczegóªy na temat: warunków testowania, oczekiwanych wyników, kryteriach przej±cia testu.

9 Standard IEEE Test Procedure Specication szczegóªy na temat przeprowadzenia ka»dego testu (zaªo»enia i poszczególne kroki) Test Item Transmittal Report raporty na temat czasu przej±cia testowanych fragmentów oprogramowania mi dzy etapami. Test Log zawiera informacje: które przypadki testowania zostaªy u»yte?, kto je u»yª? w jakim porz dku zostaªy u»yte? czy si powiodªy? Test Incident Report informacje o testach zako«czonych niepowodzeniem: wyniki testu, dlaczego dany test si nie powiódª?

10 Standard IEEE Test Summary Report raport zawieraj cy: wszystkie istotne informacje ujawnione podczas zako«czonych testów, wyceny jako±ci procesów testowania, wyceny jako±ci oprogramowania poddanego testowi. statystyki uzyskane z Incident Report, ostateczna forma dokumentu jest wykorzystywana w celach werykacji poprawno±ci testowanego systemu wzgl dem wymaga«zdeniowanych przez zleceniodawców. Standard IEEE nie wymaga, aby wszystkie dokumenty (fazy) byªy wykonane.

11 Normy ISO/IEC Obejmuje kompletny proces testowy i pozwala na wykorzystanie nowoczesnych podej± do testów. Cze± 2: opis procesu testowego. Standardowy proces testowy, który nale»y dostosowa do potrzeb organizacji. Opisany na trzech warstwach: organizacyjnej, zarz dczej i operacyjnej. Na ka»dym z tych poziomów s zaproponowane odpowiednie zestawy procesów.

12 Normy ISO/IEC model warstwowy ORGANIZACYJNY PROCES TESTOWY ma zazadanie deniowa proces budowania i utrzymania organizacyjnych specykacji testowych (Polityka czy Strategia), procesów, procedur i innych aktywów testowych. PROCES ZARZ DZANIA TESTAMI deniuje procesy dotycz ce zarz dzania testami dla caªych projektów testowych, poszczególnych faz czy typów testów (jak testy systemowe czy wydajno±ciowe) OPERACYJNY PROCES TESTOWY deniuje uniwersalne procesy i procedury prowadzenia testów, które mog by stosowane do: poszczególnych poziomów testów (np. sprawdzania wst pnego czy akceptacyjnych) rodzajów testów (np. ci gªo±ci biznesowej czy migracji danych) w ramach projektu testowego. Procesy te mo»na dostosowa do dowolnego modelu wytwarzania oprogramowania (równie» ju» istniej cego).

13 Normy ISO/IEC model warstwowy

14 Normy ISO/IEC sposób u»ycia procesów Procesy opisane w normie nie s uªo»one liniowo Procesy s wyzwalane zdarzeniami Jednocze±nie mo»e by u»ywana nadrz dna i podrz dna instancja procesu Przykªad: proces Monitorowania i Kontroli mo»e jednocze±nie dziaªa dla caªego Programu (zestawu Projektów) - odpowiedzialny: Kierownik Testów Programu instancja procesu dla aktualnie realizowanego Projektu - odpowiedzialny: Lider Testów Projektu.

15 Normy ISO/IEC sposób u»ycia procesów Kolejne wywoªania procesu mog tworzy bardziej szczegóªowe dokumenty lub je aktualizowa. Przykªad: proces Planowania Testów tworzy Gªówny Plan Testów (dla caªego Programu) w ramach kolejnej iteracji tworzy proces Planów Testów Projektu/Rodzaju (np. Planu Testów Regresji). Procesy mog by wywoªywane rekurencyjnie. Ten sam proces mo»e by woªany wielokrotnie Przykªad: proces Wykonania Testów, który jest wywoªywany iteracyjne dla ka»dego Scenariusza i Przypadku Testowego Przy wykorzystaniu czynno±ci opisanych w procesach zakªada si mo»liwo± nawrotów do wcze±niejszych czynno±ci, co nie jest dodatkowo oznaczane na diagramach.

16 Logi diagnostyczne Log diagnostyczny - plik, do którego w okre±lonych stanach dziaªania systemu dokonuje si wpisu Zwykle: logi diagnostyczne sªu» deweloperom tworz cym kod programi±ci mog reprodukowa znaleziony bª d we wªasnym ±rodowisku. Jednak czasem: testowanie realizowane jest przez oddzielny dziaª przy u»yciu wyspecjalizowanego sprz tu, nie jest mo»liwe wielokrotne powtarzanie (przez programistów) niezaliczonego testu z u»yciem debuggera, poszukuj c bª du deweloperzy mog bazowa jedynie na logach zebranych przez testera. Problem logowania w zªo»onych systemach testowanie poszczególnych moduªów mo»na przeprowadza zwykle przy u»yciu symulatorów odpowiednio przygotowanych ±rodowisk testowych integracja i testowanie akceptacyjne mo»e wymaga : specjalistycznych laboratoriów s mo»liwe jedynie w systemie docelowym znajduj cym si ju» u

17 Logi diagnostyczne Po co testerom logi? pozwalaj na identykacj komponentu, w którym wyst piª bª d, uªatwiaj zrozumienie jak dziaªa testowany system i jakie wyst puj w nim zale»no±ci czasowe, uªatwiaj napisanie skryptów automatycznych do wykrywania zdarze«w systemie, s ±wietnym narz dziem do wskazania programistom,»e zaistniaªa sytuacja jest rzeczywistym bª dem a nie problemem ze ±rodowiskiem testowym

18 Logi diagnostyczne W zªo»onych systemach ka»dy z komponentów oprogramowania posiada wªasny log wymusza to na osobie analizuj cej takie logi konieczno± ich synchronizacji. ka»dy z wpisów musi posiada precyzyjnie okre±lony czas utworzenia. w zale»no±ci od rodzaju systemu wymagania dotycz ce dokªadno±ci to mili- czy mikrosekundy, albo wr cz pojedyncze takty procesora.

19 Logi diagnostyczne Dobre praktyki dotycz ce systemu logowania: ka»dy wpis powinien zawiera dat i dokªadn godzin wygenerowania oraz nazw komponentu ¹ródªowego, warto ka»demu wpisowi nada poziom istotno±ci (czy jest to wpis diagnostyczny, informacyjny czy te» zgªoszenie bª du), nie nale»y zmienia raz ustalonego formatu wpisu w logach. Mo»e to spowodowa bª dne werdykty w testach, które bazuj na tych wpisach, nale»y uwa»a, aby nie ujawnia w logach zbyt wielu informacji na temat architektury systemu b d¹ sposobu dziaªania algorytmów.

20 Logi diagnostyczne - rejestr zdarze«rejestr zdarze«najcz ±ciej stosowanym logiem, a w wi kszo±ci rozwi za«tak»e jedynym zaimplementowanym sposobem logowania. Zwykle - chronologiczny zapis charakterystycznych momentów w systemie, takich jak: podª czenie si nowego u»ytkownika do serwisu, uruchomienie jakiej± procedury, zmiana parametrów konguracyjnych, przeprowadzenie testu wewn trznego uruchomienie procedury obsªugi bª du. Najcz ±ciej w postaci plików tekstowych. Dane: dokªadny czasu wygenerowania nazwa komponentu raportuj cego poziom istotno±ci (przykªadowo: debug, info, warning lub error). Do dziaªa«rutynowych nale»y zwykle sprawdzenie po ka»dym te±cie (nawet zaliczonym), czy w rejestrze zdarze«nie zostaª zaraportowany bª d.

21 Logi diagnostyczne - rejestr zdarze«

22 Logi diagnostyczne - rejestr zdarze«

23 Logi diagnostyczne - zrzuty pami ci Zrzuty pami ci Gdy informacja zawarta w rejestrze zdarze«jest niewystarczaj ca Zrzuty pami ci wykonywane tu» po wyst pieniu defektu Automatyczne generowanie zrzutu pami ci do pliku w pami ci ash - na przykªad w momencie uruchomienia pro cedury obsªugi krytycznego wyj tku. Zwykle uzyskane w ten sposób dane nie s zrozumiaªe dla testera; wymagaj znajomo±ci: kodu programu, znaczenia wszystkich zmiennych ich odczyt wymaga posiadania mapy pami ci, która przewa»nie zmienia si wraz z ka»d wersj kodu. Programista potra je zinterpretowa

24 Logi diagnostyczne - zrzuty diagnostyczny caªego systemu Zrzut diagnostyczny caªego systemu Umo»liwia klientowi lub testerowi samodzielnego wygenerowanie raportu do celów diagnostycznych. Raport taki mo»e zawiera : wszystkie pliki konguracyjne, zrzuty pami ci kluczowych komponentów ostatnie tysi c wpisów dziennika zdarze«. Ka»dy z komponentów tworzonego systemu powinien posiada bufor cykliczny o okre±lonej wielko±ci przeznaczony na logi, zapis ostatnich warto±ci zmiennych itp. w momencie generowania raportu diagnostycznego zawarto± tych buforów jest zamra»ana i doª czana do raportu. spotyka si tak»e rozwi zania, w których raport zawiera zrzuty stanu wszystkich obiektów, co pozwala na pó¹niejsze zaªadowanie go do systemu

25 Logi diagnostyczne - podgl d warto±ci zmiennych Podgl d warto±ci zmiennych Gdy werykacja poprawno±ci dziaªania danego komponentu czy systemu wymaga znajomo±ci wielu parametrów wej±ciowych, po±rednich i wyj±ciowych, które to z kolei mog zmienia si w sposób ci gªy. Zapis przebiegu w czasie wszystkich parametrów oraz wyliczonych wska¹ników. Odwzorowanie jedynie wybranych warto±ci, ale za to wraz z ich przebiegiem w dziedzinie czasu. Analiza tego typu logów wymaga specjalistycznej wiedzy na temat zaimplementowanego algorytmu. Tester mo»e odczyta z przebiegu warto±ci zmiennych przyczyny sytuacji awaryjnej,

26 Logi diagnostyczne - rady dla programistów Staraj si skonstruowa system logowania w taki sposób, aby± nie musiaª go rozbudowywa na potrzeby znalezienia konkretnego bª du. Okre±l jasno, jakie logi s potrzebne by prze±ledzi dziaªanie komponentu, który tworzysz. W razie potrzeby napisz instrukcj zbierania nietypowych logów Staraj si informowa testera o wynikach analiz logów. Im lepiej pozna architektur systemu i metody analizy jego dziaªania, tym bardziej efektywnie w przyszªo±ci b dzie mógª identykowa komponent odpowiedzialny za bª d.

27 Logi diagnostyczne - rady dla testerów Do zgªoszenia bª du doª czaj wszystkie logi, jakie tylko jeste± w stanie zebra. Uªatwia to poszukiwania pomyªki w kodzie i cz sto pozwala unikn niepotrzebnych retestów, Przed zaraportowaniem bª du warto zapyta programistów, jakich dokªadnie logów b d potrzebowa do poszukiwa«bª du w danym komponencie, Je±li programi±ci analizuj c logi komunikuj si w formie pisemnej ( , forum), ±led¹ te dyskusje i pro± o wyja±nienia. Uªatwi to Twoj prac, gdy napotkasz podobny bª d w przyszªo±ci, Dokonuj c wst pnej analizy logów staraj si doj± do przyczyny wyst pienia tego bª du. Przejrzyj wpisy poprzedzaj ce usterk i zwerykuj widoczne parametry systemu. To, i» jaki± komponent raportuje bª d nie jest jednoznaczne z tym,»e zawiera usterk w swoim kodzie - system mo»e dziaªa w warunkach, dla których nie jest przeznaczony. Bª d w kodzie: parametry wej±ciowe s poprawne a komponent zachowuje si w sposób niezgodny ze specykacj.

28 Literatura SoftwareDeveloperJournal_SpiraTeamALM_Softlab_PL.pdf

Dokumentacja i systemy jako±ci

Dokumentacja i systemy jako±ci Dokumentacja i systemy jako±ci Standardy testowania oprogramowania Iwona Kocha«ska KSEM WETI PG January 15, 2016 Testowanie oprogramowania Testowanie - jeden z procesów zapewnienia jako±ci oprogramowania

Bardziej szczegółowo

Maciej Oleksy Zenon Matuszyk

Maciej Oleksy Zenon Matuszyk Maciej Oleksy Zenon Matuszyk Jest to proces związany z wytwarzaniem oprogramowania. Jest on jednym z procesów kontroli jakości oprogramowania. Weryfikacja oprogramowania - testowanie zgodności systemu

Bardziej szczegółowo

YapS Plan testów. Šukasz Bieniasz-Krzywiec Dariusz Leniowski Jakub Š cki 29 maja 2007

YapS Plan testów. Šukasz Bieniasz-Krzywiec Dariusz Leniowski Jakub Š cki 29 maja 2007 YapS Plan testów Šukasz Bieniasz-Krzywiec Dariusz Leniowski Jakub Š cki 29 maja 2007 1 Spis tre±ci 1 Wprowadzenie 3 1.1................................. 3 1.2 Zakres............................... 3 2

Bardziej szczegółowo

przewidywania zapotrzebowania na moc elektryczn

przewidywania zapotrzebowania na moc elektryczn do Wykorzystanie do na moc elektryczn Instytut Techniki Cieplnej Politechnika Warszawska Slide 1 of 20 do Coraz bardziej popularne staj si zagadnienia zwi zane z prac ¹ródªa energii elektrycznej (i cieplnej)

Bardziej szczegółowo

Wzorce projektowe strukturalne cz. 1

Wzorce projektowe strukturalne cz. 1 Wzorce projektowe strukturalne cz. 1 Krzysztof Ciebiera 19 pa¹dziernika 2005 1 1 Wst p 1.1 Podstawowe wzorce Podstawowe wzorce Podstawowe informacje Singleton gwarantuje,»e klasa ma jeden egzemplarz. Adapter

Bardziej szczegółowo

Projekt konceptualny z Baz Danych "Centralny system zarz dzania salami na AGH"

Projekt konceptualny z Baz Danych Centralny system zarz dzania salami na AGH Projekt konceptualny z Baz Danych "Centralny system zarz dzania salami na AGH" Autorzy: Adrian Stanula Grzegorz Stopa Mariusz Sasko Data: 14 XI 2008 rok Spis tre±ci 1 Sformuªowanie zadania projektowego.

Bardziej szczegółowo

Metody numeryczne. Wst p do metod numerycznych. Dawid Rasaªa. January 9, 2012. Dawid Rasaªa Metody numeryczne 1 / 9

Metody numeryczne. Wst p do metod numerycznych. Dawid Rasaªa. January 9, 2012. Dawid Rasaªa Metody numeryczne 1 / 9 Metody numeryczne Wst p do metod numerycznych Dawid Rasaªa January 9, 2012 Dawid Rasaªa Metody numeryczne 1 / 9 Metody numeryczne Czym s metody numeryczne? Istota metod numerycznych Metody numeryczne s

Bardziej szczegółowo

Programowanie wspóªbie»ne

Programowanie wspóªbie»ne 1 Programowanie wspóªbie»ne wiczenia 5 monitory cz. 1 Zadanie 1: Stolik dwuosobowy raz jeszcze W systemie dziaªa N par procesów. Procesy z pary s nierozró»nialne. Ka»dy proces cyklicznie wykonuje wªasnesprawy,

Bardziej szczegółowo

Podstawy modelowania w j zyku UML

Podstawy modelowania w j zyku UML Podstawy modelowania w j zyku UML dr hab. Bo»ena Wo¹na-Szcze±niak Akademia im. Jan Dªugosza bwozna@gmail.com Wykªad 8 Diagram pakietów I Diagram pakietów (ang. package diagram) jest diagramem strukturalnym,

Bardziej szczegółowo

Listy i operacje pytania

Listy i operacje pytania Listy i operacje pytania Iwona Polak iwona.polak@us.edu.pl Uniwersytet l ski Instytut Informatyki pa¹dziernika 07 Który atrybut NIE wyst puje jako atrybut elementów listy? klucz elementu (key) wska¹nik

Bardziej szczegółowo

Wzorce projektowe kreacyjne

Wzorce projektowe kreacyjne Wzorce projektowe kreacyjne Krzysztof Ciebiera 14 pa¹dziernika 2005 1 1 Wst p 1.1 Podstawy Opis Ogólny Podstawowe informacje Wzorce kreacyjne sªu» do uabstrakcyjniania procesu tworzenia obiektów. Znaczenie

Bardziej szczegółowo

MiASI. Modelowanie systemów informatycznych. Piotr Fulma«ski. 18 stycznia Wydziaª Matematyki i Informatyki, Uniwersytet Šódzki, Polska

MiASI. Modelowanie systemów informatycznych. Piotr Fulma«ski. 18 stycznia Wydziaª Matematyki i Informatyki, Uniwersytet Šódzki, Polska MiASI Modelowanie systemów informatycznych Piotr Fulma«ski Wydziaª Matematyki i Informatyki, Uniwersytet Šódzki, Polska 18 stycznia 2010 Spis tre±ci 1 Analiza systemu informatycznego Poziomy analizy 2

Bardziej szczegółowo

INŻYNIERIA OPROGRAMOWANIA TESTOWANIE SYSTEMOWE

INŻ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ółowo

KLASYCZNE ZDANIA KATEGORYCZNE. ogólne - orzekaj co± o wszystkich desygnatach podmiotu szczegóªowe - orzekaj co± o niektórych desygnatach podmiotu

KLASYCZNE ZDANIA KATEGORYCZNE. ogólne - orzekaj co± o wszystkich desygnatach podmiotu szczegóªowe - orzekaj co± o niektórych desygnatach podmiotu ➏ Filozoa z elementami logiki Na podstawie wykªadów dra Mariusza Urba«skiego Sylogistyka Przypomnij sobie: stosunki mi dzy zakresami nazw KLASYCZNE ZDANIA KATEGORYCZNE Trzy znaczenia sªowa jest trzy rodzaje

Bardziej szczegółowo

1 Bª dy i arytmetyka zmiennopozycyjna

1 Bª dy i arytmetyka zmiennopozycyjna 1 Bª dy i arytmetyka zmiennopozycyjna Liczby w pami ci komputera przedstawiamy w ukªadzie dwójkowym w postaci zmiennopozycyjnej Oznacza to,»e s one postaci ±m c, 01 m < 1, c min c c max, (1) gdzie m nazywamy

Bardziej szczegółowo

Lab. 02: Algorytm Schrage

Lab. 02: Algorytm Schrage Lab. 02: Algorytm Schrage Andrzej Gnatowski 5 kwietnia 2015 1 Opis zadania Celem zadania laboratoryjnego jest zapoznanie si z jednym z przybli»onych algorytmów sªu» cych do szukania rozwi za«znanego z

Bardziej szczegółowo

Analiza wydajno±ci serwera openldap

Analiza wydajno±ci serwera openldap Analiza wydajno±ci serwera openldap Autor: Tomasz Kowal 13 listopada 2003 Wst p Jako narz dzie testowe do pomiarów wydajno±ci i oceny konguracji serwera openldap wykorzystano pakiet DirectoryMark w wersji

Bardziej szczegółowo

Metody testowania platformy KASKADA

Metody testowania platformy KASKADA Metody testowania platformy KASKADA Jerzy Procz Bartªomiej Daca Tomasz Bieli«ski 12 wrze±nia 2011 Streszczenie W rozdziale przedstawiono wykorzystywany iteracyjny i inkrementalny proces wytwarzania oprogramowania,

Bardziej szczegółowo

Ekonometria. wiczenia 1 Regresja liniowa i MNK. Andrzej Torój. Instytut Ekonometrii Zakªad Ekonometrii Stosowanej

Ekonometria. wiczenia 1 Regresja liniowa i MNK. Andrzej Torój. Instytut Ekonometrii Zakªad Ekonometrii Stosowanej Ekonometria wiczenia 1 Regresja liniowa i MNK (1) Ekonometria 1 / 25 Plan wicze«1 Ekonometria czyli...? 2 Obja±niamy ceny wina 3 Zadania z podr cznika (1) Ekonometria 2 / 25 Plan prezentacji 1 Ekonometria

Bardziej szczegółowo

SVN - wprowadzenie. 1 Wprowadzenie do SVN. 2 U»ywanie SVN. Adam Krechowicz. 16 lutego Podstawowe funkcje. 2.1 Windows

SVN - wprowadzenie. 1 Wprowadzenie do SVN. 2 U»ywanie SVN. Adam Krechowicz. 16 lutego Podstawowe funkcje. 2.1 Windows SVN - wprowadzenie Adam Krechowicz 16 lutego 2013 1 Wprowadzenie do SVN SVN SubVersion jest systemem kontroli wersji pozwalaj cym wielu u»ytkownikom na swobodne wspóªdzielenie tych samych plików. Pozwala

Bardziej szczegółowo

Testowanie oprogramowania. Piotr Ciskowski

Testowanie oprogramowania. Piotr Ciskowski Testowanie oprogramowania Piotr Ciskowski TESTOWANIE testowanie o proces eksperymentalnego badania programu lub jego komponentu o próbne wykonanie w znanych warunkach o rejestrowanie wyników o ocena właściwości

Bardziej szczegółowo

2 Skªadnia polece«w pliku

2 Skªadnia polece«w pliku Interpreter opisu dziaªa«platformy mobilnej wtyczki 1 Ogólny opis zadania Nale»y napisa program, który b dzie w stanie przeczyta z pliku tekstowego sekwencj polece«ruchu, a nast pnie zasymulowa dziaªanie

Bardziej szczegółowo

Baza danych - Access. 2 Budowa bazy danych

Baza danych - Access. 2 Budowa bazy danych Baza danych - Access 1 Baza danych Jest to zbiór danych zapisanych zgodnie z okre±lonymi reguªami. W w»szym znaczeniu obejmuje dane cyfrowe gromadzone zgodnie z zasadami przyj tymi dla danego programu

Bardziej szczegółowo

Praca Dyplomowa Magisterska

Praca Dyplomowa Magisterska Internetowa Platform Edukacyjna w Technologii ZOPE Autor: Promotor: Dr in». Adam Doma«ski Politechnika l ska Wydziaª Automatyki, Elektroniki i Informatyki Kierunek Informatyka 22 wrze±nia 2009 Dlaczego

Bardziej szczegółowo

Propozycja integracji elementów ±wiata gry przy u»yciu drzew zachowa«

Propozycja integracji elementów ±wiata gry przy u»yciu drzew zachowa« Praca cz ±ciowo sponsorowana przez Ministerstwo Nauki i Szkolnictwa Wy»szego, grant nr N N519 172337, Integracyjna metoda wytwarzania aplikacji rozproszonych o wysokich wymaganiach wiarygodno±ciowych.

Bardziej szczegółowo

MiASI. Modelowanie analityczne. Piotr Fulma«ski. 18 stycznia Wydziaª Matematyki i Informatyki, Uniwersytet Šódzki, Polska

MiASI. Modelowanie analityczne. Piotr Fulma«ski. 18 stycznia Wydziaª Matematyki i Informatyki, Uniwersytet Šódzki, Polska MiASI Modelowanie analityczne Piotr Fulma«ski Wydziaª Matematyki i Informatyki, Uniwersytet Šódzki, Polska 18 stycznia 2010 Spis tre±ci 1 Czym jest modelowanie analityczne? 2 Podstawowe kategorie poj ciowe

Bardziej szczegółowo

Android. Podstawy tworzenia aplikacji. Piotr Fulma«ski. March 4, 2015

Android. Podstawy tworzenia aplikacji. Piotr Fulma«ski. March 4, 2015 Android Podstawy tworzenia aplikacji Piotr Fulma«ski Instytut Nauk Ekonomicznych i Informatyki, Pa«stwowa Wy»sza Szkoªa Zawodowa w Pªocku, Polska March 4, 2015 Table of contents Framework Jednym z najwarto±ciowszych

Bardziej szczegółowo

Metody numeryczne i statystyka dla in»ynierów

Metody numeryczne i statystyka dla in»ynierów Kierunek: Automatyka i Robotyka, II rok Wprowadzenie PWSZ Gªogów, 2009 Plan wykªadów Wprowadzenie, podanie zagadnie«, poj cie metody numerycznej i algorytmu numerycznego, obszar zainteresowa«i stosowalno±ci

Bardziej szczegółowo

Programowanie i struktury danych

Programowanie i struktury danych Programowanie i struktury danych Wykªad 3 1 / 37 tekstowe binarne Wyró»niamy dwa rodzaje plików: pliki binarne pliki tekstowe 2 / 37 binarne tekstowe binarne Plik binarny to ci g bajtów zapami tanych w

Bardziej szczegółowo

Przykªady problemów optymalizacji kombinatorycznej

Przykªady problemów optymalizacji kombinatorycznej Przykªady problemów optymalizacji kombinatorycznej Problem Komiwoja»era (PK) Dane: n liczba miast, n Z +, c ji, i, j {1,..., n}, i j odlegªo± mi dzy miastem i a miastem j, c ji = c ij, c ji R +. Zadanie:

Bardziej szczegółowo

Niezawodno± oprogramowania

Niezawodno± oprogramowania Niezawodno± oprogramowania Przemysªaw Wesoªek Instytut Informatyki 24 sty 2010 MiASI @ TWO-SUM Spis tre±ci 1 Wst p 2 Architektura 3 Testy statyczne Inspekcja kodu 4 Testy dynamiczne Testy jednostkowe MS

Bardziej szczegółowo

Janusz Adamowski METODY OBLICZENIOWE FIZYKI Zastosowanie eliptycznych równa«ró»niczkowych

Janusz Adamowski METODY OBLICZENIOWE FIZYKI Zastosowanie eliptycznych równa«ró»niczkowych Janusz Adamowski METODY OBLICZENIOWE FIZYKI 1 Rozdziaª 9 RÓWNANIA ELIPTYCZNE 9.1 Zastosowanie eliptycznych równa«ró»niczkowych cz stkowych 9.1.1 Problemy z warunkami brzegowymi W przestrzeni dwuwymiarowej

Bardziej szczegółowo

Subversion - jak dziaªa

Subversion - jak dziaªa - jak dziaªa Krótka instrukcja obsªugi lstelmach@gmail.com Stelmisoft 12/07/2010 1 1 2 1 2 3 1 2 3 4 1 2 3 4 5 1 2 3 4 5 6 Spis tre±ci Czym jest Czym jest repozytorium 1 Czym jest Czym jest repozytorium

Bardziej szczegółowo

1. Wprowadzenie do C/C++

1. Wprowadzenie do C/C++ Podstawy Programowania :: Roman Grundkiewicz :: 014 Zaj cia 1 1 rodowisko Dev-C++ 1. Wprowadzenie do C/C++ Uruchomienie ±rodowiska: Start Programs Developments Dev-C++. Nowy projekt: File New Project lub

Bardziej szczegółowo

Chess. Joanna Iwaniuk. 9 marca 2010

Chess. Joanna Iwaniuk. 9 marca 2010 9 marca 2010 Plan prezentacji 1. Co to jest? 2. Jak u»ywa? 3. Prezentacja dziaªania 4. kontrola przeplotów model checking odtwarzanie wadliwego wykonania 5. Ogólna idea Wynik dziaªania Co to jest? program

Bardziej szczegółowo

SVN - wprowadzenie. 1 Wprowadzenie do SVN. 2 U»ywanie SVN. Adam Krechowicz 24 czerwca Podstawowe funkcje. 2.1 Windows

SVN - wprowadzenie. 1 Wprowadzenie do SVN. 2 U»ywanie SVN. Adam Krechowicz 24 czerwca Podstawowe funkcje. 2.1 Windows SVN - wprowadzenie Adam Krechowicz 24 czerwca 2018 1 Wprowadzenie do SVN SVN SubVersion jest systemem kontroli wersji pozwalaj cym wielu u»ytkownikom na swobodne wspóªdzielenie tych samych plików. Pozwala

Bardziej szczegółowo

Edycja geometrii w Solid Edge ST

Edycja geometrii w Solid Edge ST Edycja geometrii w Solid Edge ST Artykuł pt.: " Czym jest Technologia Synchroniczna a czym nie jest?" zwracał kilkukrotnie uwagę na fakt, że nie należy mylić pojęć modelowania bezpośredniego i edycji bezpośredniej.

Bardziej szczegółowo

Wst p do sieci neuronowych 2010/2011 wykªad 7 Algorytm propagacji wstecznej cd.

Wst p do sieci neuronowych 2010/2011 wykªad 7 Algorytm propagacji wstecznej cd. Wst p do sieci neuronowych 2010/2011 wykªad 7 Algorytm propagacji wstecznej cd. M. Czoków, J. Piersa Faculty of Mathematics and Computer Science, Nicolaus Copernicus University, Toru«, Poland 2010-11-23

Bardziej szczegółowo

1 Metody iteracyjne rozwi zywania równania f(x)=0

1 Metody iteracyjne rozwi zywania równania f(x)=0 1 Metody iteracyjne rozwi zywania równania f()=0 1.1 Metoda bisekcji Zaªó»my,»e funkcja f jest ci gªa w [a 0, b 0 ]. Pierwiastek jest w przedziale [a 0, b 0 ] gdy f(a 0 )f(b 0 ) < 0. (1) Ustalmy f(a 0

Bardziej szczegółowo

Lekcja 5 Programowanie - Nowicjusz

Lekcja 5 Programowanie - Nowicjusz Lekcja 5 Programowanie - Nowicjusz Akademia im. Jana Dªugosza w Cz stochowie Programowanie i program wedªug Baltiego Programowanie Programowanie jest najwy»szym trybem Baltiego. Z pomoc Baltiego mo»esz

Bardziej szczegółowo

ANALIZA NUMERYCZNA. Grzegorz Szkibiel. Wiosna 2014/15

ANALIZA NUMERYCZNA. Grzegorz Szkibiel. Wiosna 2014/15 ANALIZA NUMERYCZNA Grzegorz Szkibiel Wiosna 2014/15 Spis tre±ci 1 Metoda Eulera 3 1.1 zagadnienia brzegowe....................... 3 1.2 Zastosowanie ró»niczki...................... 4 1.3 Output do pliku

Bardziej szczegółowo

Rozwi zywanie Ukªadów Równa«Liniowych Ax=B metod dekompozycji LU, za pomoc JAVA RMI

Rozwi zywanie Ukªadów Równa«Liniowych Ax=B metod dekompozycji LU, za pomoc JAVA RMI Rozwi zywanie Ukªadów Równa«Liniowych Ax=B metod dekompozycji LU, za pomoc JAVA RMI Marcn Šabudzik AGH-WFiIS, al. Mickiewicza 30, 30-059, Kraków, Polska email: labudzik@ghnet.pl www: http://fatcat.ftj.agh.edu.pl/

Bardziej szczegółowo

Interfejsy, klasy wewn trzne jako szczególny rodzaj obiektów

Interfejsy, klasy wewn trzne jako szczególny rodzaj obiektów Interfejsy, klasy wewn trzne jako szczególny rodzaj obiektów Robert A. Kªopotek r.klopotek@uksw.edu.pl Wydziaª Matematyczno-Przyrodniczy. Szkoªa Nauk cisªych, UKSW 16.03.2017 Interfejsy raz jeszcze "Interfejsy

Bardziej szczegółowo

1. Wprowadzenie do C/C++

1. Wprowadzenie do C/C++ Podstawy Programowania - Roman Grundkiewicz - 013Z Zaj cia 1 1 rodowisko Dev-C++ 1. Wprowadzenie do C/C++ Uruchomienie ±rodowiska: Start Programs Developments Dev-C++. Nowy projekt: File New Project lub

Bardziej szczegółowo

Rzut oka na zagadnienia zwi zane z projektowaniem list rozkazów

Rzut oka na zagadnienia zwi zane z projektowaniem list rozkazów Rzut oka na zagadnienia zwi zane z projektowaniem list rozkazów 1 Wst p Przypomnijmy,»e komputer skªada si z procesora, pami ci, systemu wej±cia-wyj±cia oraz po- ª cze«mi dzy nimi. W procesorze mo»emy

Bardziej szczegółowo

Model obiektu w JavaScript

Model obiektu w JavaScript 16 marca 2009 E4X Paradygmat klasowy Klasa Deniuje wszystkie wªa±ciwo±ci charakterystyczne dla wybranego zbioru obiektów. Klasa jest poj ciem abstrakcyjnym odnosz cym si do zbioru, a nie do pojedynczego

Bardziej szczegółowo

Szeregowanie zada« Przedmiot fakultatywny 15h wykªadu + 15h wicze« dr Hanna Furma«czyk. 7 pa¹dziernika 2013

Szeregowanie zada« Przedmiot fakultatywny 15h wykªadu + 15h wicze« dr Hanna Furma«czyk. 7 pa¹dziernika 2013 Przedmiot fakultatywny 15h wykªadu + 15h wicze«7 pa¹dziernika 2013 Zasady zaliczenia 1 wiczenia (ocena): kolokwium, zadania dodatkowe (implementacje algorytmów), praca na wiczeniach. 2 Wykªad (zal): zaliczone

Bardziej szczegółowo

Android. Hierarchie widoków i ich wy±wietlanie. Piotr Fulma«ski. March 14, 2016

Android. Hierarchie widoków i ich wy±wietlanie. Piotr Fulma«ski. March 14, 2016 Android Hierarchie widoków i ich wy±wietlanie Piotr Fulma«ski Instytut Nauk Ekonomicznych i Informatyki, Pa«stwowa Wy»sza Szkoªa Zawodowa w Pªocku, Polska March 14, 2016 Table of contents xxx Co w tym

Bardziej szczegółowo

Dokumentacja i systemy jako±ci

Dokumentacja i systemy jako±ci Dokumentacja i systemy jako±ci Generatory dokumentacji Iwona Kocha«ska KSEM WETI PG January 15, 2016 Dokumentacji oprogramowania - po co? Po co? Dokumentacja bibliotek, pakietów, moduªów, klas, procedur,

Bardziej szczegółowo

PRZYPOMNIENIE Ka»d przestrze«wektorow V, o wymiarze dim V = n < nad ciaªem F mo»na jednoznacznie odwzorowa na przestrze«f n n-ek uporz dkowanych:

PRZYPOMNIENIE Ka»d przestrze«wektorow V, o wymiarze dim V = n < nad ciaªem F mo»na jednoznacznie odwzorowa na przestrze«f n n-ek uporz dkowanych: Plan Spis tre±ci 1 Homomorzm 1 1.1 Macierz homomorzmu....................... 2 1.2 Dziaªania............................... 3 2 Ukªady równa«6 3 Zadania 8 1 Homomorzm PRZYPOMNIENIE Ka»d przestrze«wektorow

Bardziej szczegółowo

Chmurowe ±rodowisko laboratoryjne

Chmurowe ±rodowisko laboratoryjne Chmurowe ±rodowisko laboratoryjne Patryk Matyjasek Streszczenie Laboratoryjne ±rodowisko chmurowe powstaªe do testów Komponentu Rekomendacji Inteligentnych dla Chmur Obliczeniowych (KRICO). Opis architektury

Bardziej szczegółowo

JAO - J zyki, Automaty i Obliczenia - Wykªad 1. JAO - J zyki, Automaty i Obliczenia - Wykªad 1

JAO - J zyki, Automaty i Obliczenia - Wykªad 1. JAO - J zyki, Automaty i Obliczenia - Wykªad 1 J zyki formalne i operacje na j zykach J zyki formalne s abstrakcyjnie zbiorami sªów nad alfabetem sko«czonym Σ. J zyk formalny L to opis pewnego problemu decyzyjnego: sªowa to kody instancji (wej±cia)

Bardziej szczegółowo

i, lub, nie Cegieªki buduj ce wspóªczesne procesory. Piotr Fulma«ski 5 kwietnia 2017

i, lub, nie Cegieªki buduj ce wspóªczesne procesory. Piotr Fulma«ski 5 kwietnia 2017 i, lub, nie Cegieªki buduj ce wspóªczesne procesory. Piotr Fulma«ski Uniwersytet Šódzki, Wydziaª Matematyki i Informatyki UŠ piotr@fulmanski.pl http://fulmanski.pl/zajecia/prezentacje/festiwalnauki2017/festiwal_wmii_2017_

Bardziej szczegółowo

Ekonometria - wykªad 8

Ekonometria - wykªad 8 Ekonometria - wykªad 8 3.1 Specykacja i werykacja modelu liniowego dobór zmiennych obja±niaj cych - cz ± 1 Barbara Jasiulis-Goªdyn 11.04.2014, 25.04.2014 2013/2014 Wprowadzenie Ideologia Y zmienna obja±niana

Bardziej szczegółowo

Rozwi zania klasycznych problemów w Rendezvous

Rozwi zania klasycznych problemów w Rendezvous Cz ± I Rozwi zania klasycznych problemów w Rendezvous 1 Producenci i konsumenci Na pocz tek rozwa»my wersj z jednym producentem i jednym konsumentem, dziaªaj cymi w niesko«czonych p tlach. Mechanizm komunikacji

Bardziej szczegółowo

Lekcja 12 - POMOCNICY

Lekcja 12 - POMOCNICY Lekcja 12 - POMOCNICY 1 Pomocnicy Pomocnicy, jak sama nazwa wskazuje, pomagaj Baltiemu w programach wykonuj c cz ± czynno±ci. S oni szczególnie pomocni, gdy chcemy ci g polece«wykona kilka razy w programie.

Bardziej szczegółowo

Bazy danych, 4. wiczenia

Bazy danych, 4. wiczenia Bazy danych, 4. wiczenia 2007-10-23 1 Plan zaj PL/SQL, cz ± II: tabele kursory sªu» ce do zmiany danych, procedury, funkcje, pakiety, wyzwalacze. 2 Tabele Deklaracja TYPE t_tab IS TABLE OF VARCHAR(20)

Bardziej szczegółowo

Wdrożenie modułu płatności eservice dla systemu Virtuemart 2.0.x

Wdrożenie modułu płatności eservice dla systemu Virtuemart 2.0.x Wdrożenie modułu płatności eservice dla systemu Virtuemart 2.0.x Wersja 02 Styczeń 2016 Centrum Elektronicznych Usług Płatniczych eservice Sp. z o.o. Spis treści 1. Wstęp... 3 1.1. Przeznaczenie dokumentu...

Bardziej szczegółowo

Programowanie wspóªbie»ne

Programowanie wspóªbie»ne 1 Programowanie wspóªbie»ne wiczenia 2 semafory cz. 1 Zadanie 1: Producent i konsument z buforem cyklicznym type porcja; void produkuj(porcja &p); void konsumuj(porcja p); porcja bufor[n]; / bufor cykliczny

Bardziej szczegółowo

Programowanie wspóªbie»ne

Programowanie wspóªbie»ne 1 Zadanie 1: Bar Programowanie wspóªbie»ne wiczenia 6 monitory cz. 2 Napisz monitor Bar synchronizuj cy prac barmana obsªuguj cego klientów przy kolistym barze z N stoªkami. Ka»dy klient realizuje nast

Bardziej szczegółowo

WST P DO TEORII INFORMACJI I KODOWANIA. Grzegorz Szkibiel. Wiosna 2013/14

WST P DO TEORII INFORMACJI I KODOWANIA. Grzegorz Szkibiel. Wiosna 2013/14 WST P DO TEORII INFORMACJI I KODOWANIA Grzegorz Szkibiel Wiosna 203/4 Spis tre±ci Kodowanie i dekodowanie 4. Kodowanie a szyfrowanie..................... 4.2 Podstawowe poj cia........................

Bardziej szczegółowo

ARYTMETYKA MODULARNA. Grzegorz Szkibiel. Wiosna 2014/15

ARYTMETYKA MODULARNA. Grzegorz Szkibiel. Wiosna 2014/15 ARYTMETYKA MODULARNA Grzegorz Szkibiel Wiosna 2014/15 Spis tre±ci 1 Denicja kongruencji i jej podstawowe wªasno±ci 3 2 Systemy pozycyjne 8 3 Elementy odwrotne 12 4 Pewne zastosowania elementów odwrotnych

Bardziej szczegółowo

Program Sprzeda wersja 2011 Korekty rabatowe

Program Sprzeda wersja 2011 Korekty rabatowe Autor: Jacek Bielecki Ostatnia zmiana: 14 marca 2011 Wersja: 2011 Spis treci Program Sprzeda wersja 2011 Korekty rabatowe PROGRAM SPRZEDA WERSJA 2011 KOREKTY RABATOWE... 1 Spis treci... 1 Aktywacja funkcjonalnoci...

Bardziej szczegółowo

Wprowadzenie Komputerowo wspomagane dowodzenie. Coq i protokóª NSSK. Piotr Iwaniuk. 21 marca 2012

Wprowadzenie Komputerowo wspomagane dowodzenie. Coq i protokóª NSSK. Piotr Iwaniuk. 21 marca 2012 21 marca 2012 Plan Wprowadzenie 1 Wprowadzenie 2 Plan Wprowadzenie 1 Wprowadzenie 2 Protokoªy kryptograczne Podstawowe zadanie: przesyªanie danych przez sie tak,»eby inni nie mogli ich odczyta. Wykorzystywana

Bardziej szczegółowo

1 Klasy. 1.1 Denicja klasy. 1.2 Skªadniki klasy.

1 Klasy. 1.1 Denicja klasy. 1.2 Skªadniki klasy. 1 Klasy. Klasa to inaczej mówi c typ który podobnie jak struktura skªada si z ró»nych typów danych. Tworz c klas programista tworzy nowy typ danych, który mo»e by modelem rzeczywistego obiektu. 1.1 Denicja

Bardziej szczegółowo

Ostatnia cena sprzeda y klienta 1.0 dodatek do Symfonia Faktura dla 1 firmy

Ostatnia cena sprzeda y klienta 1.0 dodatek do Symfonia Faktura dla 1 firmy Podr cznik u ytkownika Ostatnia cena sprzeda y klienta 1.0 dodatek do Symfonia Faktura dla 1 firmy Masz pytanie? zadzwo 693 936 046 lub napisz handel@symfoniadodatki.pl SPIS TRE CI 1. Instalacja dodatku

Bardziej szczegółowo

System kontroli wersji SVN

System kontroli wersji SVN System kontroli wersji SVN Co to jest system kontroli wersji Wszędzie tam, gdzie nad jednym projektem pracuje wiele osób, zastosowanie znajduje system kontroli wersji. System, zainstalowany na serwerze,

Bardziej szczegółowo

1. Warunek ka»dy proces w ko«cu wejdzie do sekcji krytycznej jest

1. Warunek ka»dy proces w ko«cu wejdzie do sekcji krytycznej jest Imi i nazwisko: W ka»dym pytaniu testowym nale»y rozstrzygn prawdziwo± wszystkich podpunktów wpisuj c w kratk T lub N. Punkt b dzie przyznany jedynie w przypadku kompletu poprawnych odpowiedzi. 1. Warunek

Bardziej szczegółowo

Maszyny Turinga i problemy nierozstrzygalne. Maszyny Turinga i problemy nierozstrzygalne

Maszyny Turinga i problemy nierozstrzygalne. Maszyny Turinga i problemy nierozstrzygalne Maszyny Turinga Maszyna Turinga jest automatem ta±mowym, skª da si z ta±my (tablicy symboli) potencjalnie niesko«czonej w prawo, zakªadamy,»e w prawie wszystkich (tzn. wszystkich poza sko«czon liczb )

Bardziej szczegółowo

Zarz dzanie rm. O zarz dzaniu ogólnie. Piotr Fulma«ski. February 26, 2014

Zarz dzanie rm. O zarz dzaniu ogólnie. Piotr Fulma«ski. February 26, 2014 Zarz dzanie rm O zarz dzaniu ogólnie Piotr Fulma«ski Instytut Nauk Ekonomicznych i Informatyki, Pa«stwowa Wy»sza Szkoªa Zawodowa w Pªocku, Polska February 26, 2014 Table of contents ???? Zarz dzanie oznacza

Bardziej szczegółowo

Ekonometria. wiczenia 2 Werykacja modelu liniowego. Andrzej Torój. Instytut Ekonometrii Zakªad Ekonometrii Stosowanej

Ekonometria. wiczenia 2 Werykacja modelu liniowego. Andrzej Torój. Instytut Ekonometrii Zakªad Ekonometrii Stosowanej Ekonometria wiczenia 2 Werykacja modelu liniowego (2) Ekonometria 1 / 33 Plan wicze«1 Wprowadzenie 2 Ocena dopasowania R-kwadrat Skorygowany R-kwadrat i kryteria informacyjne 3 Ocena istotno±ci zmiennych

Bardziej szczegółowo

Arkusz zawiera informacje prawnie chronione do momentu rozpocz cia egzaminu.

Arkusz zawiera informacje prawnie chronione do momentu rozpocz cia egzaminu. Centralna Komisja Egzaminacyjna Arkusz zawiera informacje prawnie chronione do momentu rozpocz cia egzaminu. Uk ad graficzny CKE 2010 KOD WPISUJE ZDAJ CY PESEL Miejsce na naklejk z kodem EGZAMIN MATURALNY

Bardziej szczegółowo

Ekonometria Bayesowska

Ekonometria Bayesowska Ekonometria Bayesowska Wykªad 9: Metody numeryczne: MCMC Andrzej Torój 1 / 17 Plan wykªadu Wprowadzenie 1 Wprowadzenie 3 / 17 Plan prezentacji Wprowadzenie 1 Wprowadzenie 3 3 / 17 Zastosowanie metod numerycznych

Bardziej szczegółowo

epuap Ogólna instrukcja organizacyjna kroków dla realizacji integracji

epuap Ogólna instrukcja organizacyjna kroków dla realizacji integracji epuap Ogólna instrukcja organizacyjna kroków dla realizacji integracji Projekt współfinansowany ze środków Europejskiego Funduszu Rozwoju Regionalnego w ramach Programu Operacyjnego Innowacyjna Gospodarka

Bardziej szczegółowo

Konfiguracja historii plików

Konfiguracja historii plików Wielu producentów oprogramowania oferuje zaawansowane rozwiązania do wykonywania kopii zapasowych plików użytkownika czy to na dyskach lokalnych czy w chmurze. Warto jednak zastanowić się czy instalacja

Bardziej szczegółowo

19. Obiektowo± 1 Kacze typowanie. 2 Klasy

19. Obiektowo± 1 Kacze typowanie. 2 Klasy 1 Kacze typowanie 19. Obiektowo± Sk d interpreter wie, jakiego typu s np. przekazywane do metody argumenty? Tak naprawd wcale nie musi wiedzie. Do poprawnego dziaªania programu istotne jest,»e przekazywany

Bardziej szczegółowo

ZAŠ CZNIK DANYCH TECHNICZNYCH

ZAŠ CZNIK DANYCH TECHNICZNYCH Transmitel Sp. z o.o. ul. Solarza 9a 35-118 Rzeszów tel. (17) 850-45-14 fax. (17) 850-45-15 ZAŠ CZNIK DANYCH TECHNICZNYCH dla Umowy ±wiadczenia usªugi dost pu do sieci Internet w Imi : Nazwisko: Zamieszkaªy(a):

Bardziej szczegółowo

Utrzymanie aplikacji biznesowych SI PSZ

Utrzymanie aplikacji biznesowych SI PSZ Utrzymanie aplikacji biznesowych SI PSZ Grzegorz Dziwoki/Dawid Batko Inżynier Systemowy, Sygnity S.A. Kwiecień 2014 r. Plan prezentacji Aplikacje utrzymywane w CPD MPiPS Kolokacja Syriusz Std w CPD MPiPS

Bardziej szczegółowo

Podstawy modelowania w j zyku UML

Podstawy modelowania w j zyku UML Podstawy modelowania w j zyku UML dr hab. Bo»ena Wo¹na-Szcze±niak Akademia im. Jan Dªugosza bwozna@gmail.com Wykªad 2 Zwi zki mi dzy klasami Asocjacja (ang. Associations) Uogólnienie, dziedziczenie (ang.

Bardziej szczegółowo

Opteamum korzyści. Aktualnie poszukujemy kandydatów na stanowisko: Programista ASP.NET MVC / WCF Nr ref. PROGRAMISTA ASP.NET/DRP/2014.

Opteamum korzyści. Aktualnie poszukujemy kandydatów na stanowisko: Programista ASP.NET MVC / WCF Nr ref. PROGRAMISTA ASP.NET/DRP/2014. Programista ASP.NET MVC / WCF Nr ref. PROGRAMISTA ASP.NET/DRP/2014. Twoja praca na tym stanowisku będzie polegała na: Rozwijaniu wielowarstwowych, rozproszonych systemów informatycznych z wykorzystaniem

Bardziej szczegółowo

Sprawozdanie nr 1 Projekt Podstawy In»ynierii Oprogramowania, Wydziaª Elektryczny

Sprawozdanie nr 1 Projekt Podstawy In»ynierii Oprogramowania, Wydziaª Elektryczny Sprawozdanie nr 1 Projekt Podstawy In»ynierii Oprogramowania, Wydziaª Elektryczny Artur Skonecki Mikoªaj Kowalski Marcin Wartecz-Wartecki Prowadz cy: mgr in». Adam Srebro Wygenerowano: 23 marca 2010 Spis

Bardziej szczegółowo

Programowanie Obiektowe

Programowanie Obiektowe Programowanie Obiektowe dr in. Piotr Zabawa IBM/Rational Certified Consultant pzabawa@pk.edu.pl WYKŁAD 1 Wstp, jzyki, obiektowo Cele wykładu Zaznajomienie słuchaczy z głównymi cechami obiektowoci Przedstawienie

Bardziej szczegółowo

Interpreter opisu dziaªa«quadrokoptera wtyczki. 1 Ogólny opis zadania. 2 Skªadnia nowych polece« 2.1 Polecenie Grasper

Interpreter opisu dziaªa«quadrokoptera wtyczki. 1 Ogólny opis zadania. 2 Skªadnia nowych polece« 2.1 Polecenie Grasper Interpreter opisu dziaªa«quadrokoptera wtyczki 1 Ogólny opis zadania Bazuj c na wcze±niej napisanym programie nale»y go przerobi w ten sposób, aby ka»dy rodzaj z wczytywanych polece«byª obsªugiwany przez

Bardziej szczegółowo

EDUKARIS - O±rodek Ksztaªcenia

EDUKARIS - O±rodek Ksztaªcenia - O±rodek Ksztaªcenia Zabrania si kopiowania i rozpowszechniania niniejszego regulaminu przez inne podmioty oraz wykorzystywania go w dziaªalno±ci innych podmiotów. Autor regulaminu zastrzega do niego

Bardziej szczegółowo

Elementarna statystyka Wnioskowanie o regresji (Inference 2 czerwca for regression) / 13

Elementarna statystyka Wnioskowanie o regresji (Inference 2 czerwca for regression) / 13 Elementarna statystyka Wnioskowanie o regresji (Inference for regression) Alexander Bendikov Uniwersytet Wrocªawski 2 czerwca 2016 Elementarna statystyka Wnioskowanie o regresji (Inference 2 czerwca for

Bardziej szczegółowo

O pewnym zadaniu olimpijskim

O pewnym zadaniu olimpijskim O pewnym zadaniu olimpijskim Michaª Seweryn, V LO w Krakowie opiekun pracy: dr Jacek Dymel Problem pocz tkowy Na drugim etapie LXII Olimpiady Matematycznej pojawiª si nast puj cy problem: Dla ka»dej liczby

Bardziej szczegółowo

Elementy i funkcjonalno

Elementy i funkcjonalno Konsola operatora Konsola operatora zapewnia dost p do najwa niejszych informacji o po czeniu i aktualnym statusie abonentów, dzi ki czemu u atwia przekazywanie po cze. Konsola przewy sza swoimi mo liwo

Bardziej szczegółowo

2 Liczby rzeczywiste - cz. 2

2 Liczby rzeczywiste - cz. 2 2 Liczby rzeczywiste - cz. 2 W tej lekcji omówimy pozostaªe tematy zwi zane z liczbami rzeczywistymi. 2. Przedziaªy liczbowe Wyró»niamy nast puj ce rodzaje przedziaªów liczbowych: (a) przedziaªy ograniczone:

Bardziej szczegółowo

Studia podyplomowe PROGRAM NAUCZANIA PLAN STUDIÓW

Studia podyplomowe PROGRAM NAUCZANIA PLAN STUDIÓW 01-447 Warszawa ul. Newelska 6, tel. (+48 22) 34-86-520, www.wit.edu.pl Studia podyplomowe BEZPIECZEŃSTWO I JAKOŚĆ SYSTEMÓW INFORMATYCZNYCH PROGRAM NAUCZANIA PLAN STUDIÓW Studia podyplomowe BEZPIECZEŃSTWO

Bardziej szczegółowo

Relacj binarn okre±lon w zbiorze X nazywamy podzbiór ϱ X X.

Relacj binarn okre±lon w zbiorze X nazywamy podzbiór ϱ X X. Relacje 1 Relacj n-argumentow nazywamy podzbiór ϱ X 1 X 2... X n. Je±li ϱ X Y jest relacj dwuargumentow (binarn ), to zamiast (x, y) ϱ piszemy xϱy. Relacj binarn okre±lon w zbiorze X nazywamy podzbiór

Bardziej szczegółowo

Instrukcja programu PControl Powiadowmienia.

Instrukcja programu PControl Powiadowmienia. 1. Podłączenie zestawu GSM. Instrukcja programu PControl Powiadowmienia. Pierwszym krokiem w celu uruchomienia i poprawnej pracy aplikacji jest podłączenie zestawu GSM. Zestaw należy podłączyć zgodnie

Bardziej szczegółowo

Zarządzanie testowaniem wspierane narzędziem HP Quality Center

Zarzą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

W zadaniach na procenty wyró»niamy trzy typy czynno±ci: obliczanie, jakim procentem jednej liczby jest druga liczba,

W zadaniach na procenty wyró»niamy trzy typy czynno±ci: obliczanie, jakim procentem jednej liczby jest druga liczba, 2 Procenty W tej lekcji przypomnimy sobie poj cie procentu i zwi zane z nim podstawowe typy zada«. Prosimy o zapoznanie si z regulaminem na ostatniej stronie. 2.1 Poj cie procentu Procent jest to jedna

Bardziej szczegółowo

Testowanie oprogramowania

Testowanie oprogramowania Testowanie oprogramowania 1/17 Testowanie oprogramowania Wykład 01 dr inż. Grzegorz Michalski 13 października 2015 Testowanie oprogramowania 2/17 Dane kontaktowe: Kontakt dr inż. Grzegorz Michalski pokój

Bardziej szczegółowo

Numeryczne zadanie wªasne

Numeryczne zadanie wªasne Rozdziaª 11 Numeryczne zadanie wªasne W tym rozdziale zajmiemy si symetrycznym zadaniem wªasnym, tzn. zadaniem znajdowania warto±ci i/lub wektorów wªasnych dla macierzy symetrycznej A = A T. W zadaniach

Bardziej szczegółowo

Nowości w module: BI, w wersji 9.0

Nowości w module: BI, w wersji 9.0 Nowości w module: BI, w wersji 9.0 Copyright 1997-2009 COMARCH S.A. Spis treści Wstęp... 3 Obszary analityczne... 3 1. Nowa kostka CRM... 3 2. Zmiany w obszarze: Księgowość... 4 3. Analizy Data Mining...

Bardziej szczegółowo

Wykªad 4. Funkcje wielu zmiennych.

Wykªad 4. Funkcje wielu zmiennych. Wykªad jest prowadzony w oparciu o podr cznik Analiza matematyczna 2. Denicje, twierdzenia, wzory M. Gewerta i Z. Skoczylasa. Wykªad 4. Funkcje wielu zmiennych. Zbiory na pªaszczy¹nie i w przestrzeni.

Bardziej szczegółowo

InsERT GT Własne COM 1.0

InsERT GT Własne COM 1.0 InsERT GT Własne COM 1.0 Autor: Jarosław Kolasa, InsERT Wstęp... 2 Dołączanie zestawień własnych do systemu InsERT GT... 2 Sposób współpracy rozszerzeń z systemem InsERT GT... 2 Rozszerzenia standardowe

Bardziej szczegółowo