Bánsághi Anna Bánsághi Anna 1 of 62

Méret: px
Mutatás kezdődik a ... oldaltól:

Download "Bánsághi Anna Bánsághi Anna 1 of 62"

Átírás

1 SZOFTVERTECHNOLÓGIA Bánsághi Anna 10. ELŐADÁS - TESZTELÉS Bánsághi Anna 1 of 62

2 TEMATIKA I. SZOFTVERTECHNOLÓGIA ALTERÜLETEI II. KÖVETELMÉNY MENEDZSMENT III. RENDSZERMODELLEK IV. RENDSZERARCHITEKTÚRÁK V. RENDSZERTERVEZÉS VI. VERIFIKÁCIÓ ÉS VALIDÁCIÓ VII. MINŐSÉGBIZTOSÍTÁS VIII. TESZTELÉS Bánsághi Anna 2 of 62

3 VIII. TESZTELÉS 1. A tesztelés céljai 2. A tesztelési folyamat 3. Tesztelési szintek egységteszt integrációs teszt rendszer teszt elfogadási teszt 4. objektumorientált tesztelés 5. teszteszközök Bánsághi Anna 3 of 62

4 1. A TESZTELÉS CÉLJAI bizonyosságot szerezni a rendszer minőségi állapotáról információ a döntéshozáshoz (új verzió kibocsátása avagy sem) hibák keresése hibák megakadályozása Bánsághi Anna 4 of 62

5 MOTTÓK Dijkstra A tesztelés a hibák jelenlétét, és nem a hibamentességet tudja kimutatni Hoare A tesztelés egy induktív bizonyítás része: Ha a program jól működik egy adott tesztadatra, akkor várhatóan hasonló adatokra is jól működik majd Bánsághi Anna 5 of 62

6 A TESZTELÉS 7 ALAPELVE 1. csak a hibák meglétét tudja kimutatni 2. a kimerítő tesztelés legtöbbször lehetetlen (Hány teszt kellene egy 3 integer paraméterű függvényhez?) 3. tesztelés már a korai fázisokban szükséges hibák csomósodása (Pareto elv), azaz a komponensek 20%-ban bukkan elő a hibák 80%-a rovarirtó paradoxon, azaz a teszt újra és újra futtatva egyre kevésbé hatékony, illetve minden módszer után marad még valami más típusú hiba 6. a tesztelés (eredményessége) kontextus függő 7. a hibák hiányából fakadó tévedés, azaz a hibamentes tesztlefutás még nem jelent jó rendszert Bánsághi Anna 6 of 62

7 MI A TESZTELÉS? nem hibakeresés (debugging), mert a hibakeresés a hibák okainak felderítési és javítási folyamata, míg a tesztelés a szoftver hibáinak szisztematikus felderítése kétféle típusa van statikus, amikor a kód nem fut dinamikus, amikor a kód tesztadatokkal fut a tesztelés egy folyamat, hasonlóan a fejlesztési folyamathoz a tesztelés technikák gyűjteménye Bánsághi Anna 7 of 62

8 ALAPFOGALMAK test case (teszteset) bemeneti értékek és végrehajtási előfeltételek halmaza várt eredmények és végrehajtási utófeltételek halmaza test suite (tesztkészlet) együtt végrehajtandó tesztesetek gyűjteménye Software Under Test (SUT) a tesztelendő szoftver egység test oracle (orákulum) várt eredmények származtatása, összehasonlítása a teszt kimenetével (automatizált) verdict (eredmény) sikeres (pass), sikertelen (fail), nem meggyőző (inconclusive), hiba (error) Bánsághi Anna 8 of 62

9 teszt kiválasztás tesztadat kiválasztás ALAPVETŐ PROBLÉMÁK Milyen teszteseteket használjunk? Milyen tesztadatokat használjunk? kilépési feltétel Meddig teszteljünk? Amíg a specifikációt, a kódot, a hibákat lefedtük? jó orákulum Hogyan építsünk jó orákulumot? prioritás Mely kódrészeket teszteljük? (szembetűnő helyeket, legvalószínűbb hibaforrásokat, leggyakrabban változó komponenseket, a múltban problémás részeket) Bánsághi Anna 9 of 62

10 2. A TESZTELÉSI FOLYAMAT stratégiai terv (planning) és kontroll elemzés és tervezés (design) implementáció és végrehajtás kiértékelés, kilépési feltétel, riportolás tesztlezáró tevékenységek Bánsághi Anna 10 of 62

11 Milyen metodológiát? STRATÉGIAI TERV (PLANNING) ÉS KONTROLL test-driven development Milyen típusú teszteket? Milyen teszteszközöket? Ki fogja használni? Milyen kilépési feltétellel? modul, rendszer JUnit, GUI Tester fejlesztő és teszt csapat 90% utasítás lefedettség, minden használati eset Milyen dokumentáció kell? Bánsághi Anna 11 of 62

12 TESZTTERV (TEST PLAN) teszt stratégia leképezése az aktuális projektre tesztelési célok, irányelvek, szervezeti környezet feladatok projekt szerepekhez rendelése tesztelési fázisok definiálása fázisok hossza kilépési feltétel tesztelés minőségét hogyan fogjuk mérni Bánsághi Anna 12 of 62

13 ELEMZÉS ÉS TERVEZÉS (DESIGN) még mielőtt elkezdenénk tesztkódot írni, szisztematikusan feltérképezzük, hogy mit tesztelünk, megtervezzük és specifikáljuk a teszteseteket TESZTESET FELÉPÍTÉSE teszteset célja kiindulási környezet teszteset lépései, teszt adatok elvárt kimenet Bánsághi Anna 13 of 62

14 IMPLEMENTÁCIÓ ÉS VÉGREHAJTÁS manuális vagy automatikus, mert van, amit nem éri meg automatizálni automatikus esetben a teszt a build folyamat része kimenetek naplózása (idő, teszt környezet, komponensek verziói, rendszer kimenet) Bánsághi Anna 14 of 62

15 KIÉRTÉKELÉS, KILÉPÉSI FELTÉTEL, RIPORTOLÁS incidensek rögzítése döntés a tesztelés folytatásáról TESZTLEZÁRÓ TEVÉKENYSÉGEK tipikusan mérföldkövenként tapasztalat összegyűjtése teszt eszközök, automatikus tesztek lezárása Bánsághi Anna 15 of 62

16 3. TESZTELÉSI SZINTEK egységteszt (unit test) modul (integrációs) teszt (integration test) rendszerteszt (system test) elfogadási teszt (acceptance test) Bánsághi Anna 16 of 62

17 A TESZTELÉS SZINTJEI 1. egységteszt a fejlesztés alatt álló alkalmazás egységeinek tesztelése könnyen automatizálható általában a fejlesztő készíti a teszteket a kódolás előtt a korai tesztelés alapelve szerint integrációs teszt a modullá integrált egységek tesztelése a modulok együttműködésének (interfészek) tesztelése a tesztelő saját kódjával teszteli a GUI nélküli modulokat könnyen automatizálható Bánsághi Anna 17 of 62

18 A TESZTELÉS SZINTJEI 2. rendszerteszt a GUI elérhető funkcióinak tesztelése a specifikációnak megfelelő működés vizsgálata biztonsági, terheléses és stressztesztelés a tesztelő végzi elfogadási teszt optimális esetben közös, megrendelői és fejlesztői feladat cél, hogy a végfelhasználót támogassa az új szoftver elfogadásában az éles vagy ahhoz nagyon hasonló környezetben zajlik Bánsághi Anna 18 of 62

19 EGYSÉGTESZT specifikáció alapú (fekete doboz) technikák struktúra alapú (fehér doboz) technikák tapasztalat alapú technikák hibatípus alapú technikák valószínűségen alapuló technikák Bánsághi Anna 19 of 62

20 TESZTESETEK SZÁRMAZTATÁSA specifikáció alapú (fekete doboz) a rendszer vagy a komponens specifikációjának elemzésével struktúra alapú (fehér doboz) belső szerkezetének elemzésével a rendszer vagy a komponens tapasztalat alapú hasonló rendszerek vagy általános tesztelési tapasztalattal bíró emberek készítik hibatípus alapú az adott hibatípus szabja meg a teszteseteket valószínűségen alapuló a teszteseteket valószínűségi (véletlenszerű vagy statisztikai) módon származtatjuk Bánsághi Anna 20 of 62

21 SPECIFIKÁCIÓ ALAPÚ (FEKETE DOBOZ) TECHNIKÁK a programot fekete doboznak tekintjük, a tesztesetek a programspecifikáció alapján készülnek nem foglalkozik a program implementációjával a tesztek tervezése a szoftverfolyamat korai szakaszában megkezdődhet (egyes agilis módszereknél előbb, mint a program tervezése!) az előreláthatóan hibát okozó tesztesetek tervezéséhez szakterületi ismeretekre van szükség Bánsághi Anna 21 of 62

22 Bánsághi Anna 22 of 62

23 SPECIFIKÁCIÓ ALAPÚ (FEKETE DOBOZ) TECHNIKÁK ekvivalencia partícionálás a hasonló tesztfeltételek csoportosítása és hasonló módon való kezelése határérték elemzés tesztelése döntési tábla a beazonosított partíciók határértékeinek különféle feltétel kombinációk tesztelése Bánsághi Anna 23 of 62

24 ERŐS NORMÁL EKVIVALENCIA PARTÍCIONÁLÁS a valid input halmazt valamely szempont alapján ekvivalens partíciókra osztjuk, és ezen partíciókból egy-egy reprezentáns adattal tesztelünk Bánsághi Anna 24 of 62

25 GYENGE ROBUSZTUS EKVIVALENCIA PARTÍCIONÁLÁS mind a valid, mind az invalid input halmazt partícionáljuk, és néhány partícióbeli reprezentással tesztelünk Bánsághi Anna 25 of 62

26 ERŐS ROBUSZTUS EKVIVALENCIA PARTÍCIONÁLÁS mind a valid, mind az invalid input halmazt partícionáljuk, és az összes partícióbeli reprezentással tesztelünk Bánsághi Anna 26 of 62

27 HATÁRÉRTÉK ELEMZÉS a programozói hibák a határértékek körül csomósodnak Bánsághi Anna 27 of 62

28 ROBUSZTUS HATÁRÉRTÉK EL EMZÉS LEGROSSAZBB ESET HATÁRÉRTÉK ELEMZÉS Bánsághi Anna 28 of 62

29 ROBUSZTUS LEGROSSZABB ESET HATÁRÉRTÉK ELEMZÉS Bánsághi Anna 29 of 62

30 Bánsághi Anna 30 of 62

31 DÖNTÉSI TÁBLA logikai kifejezéseket tesztelünk megadva, hogy adott esetben milyen tevékenység következhet be Bánsághi Anna 31 of 62

32 DÖNTÉSI TÁBLA PÉLDA Bánsághi Anna 32 of 62

33 STRUKTÚRA ALAPÚ (FEHÉR DOBOZ) TECHNIKÁK a tesztek a program struktúrájának, implementációjának ismeretében készülnek a struktúra és a kód ismeretében újabb ekvivalencia osztályok definiálhatók a tesztelő a tesztesetek készítésekor elemzi a kódot, hogy biztosítsa minden utasítás legalább egyszeri végrehajtását (az összes lehetséges út-kombináció tesztelésére nincs reális lehetőség) a kód lefedettség azt méri, hogy milyen mértékben vannak tesztelve az utasítások, elágazások, ciklusok Bánsághi Anna 33 of 62

34 STRUKTÚRA ALAPÚ (FEHÉR DOBOZ) TECHNIKÁK utasítás tesztelés a program vezérlési gráfját tekintve az összes futtatható utasítást teszteljük döntési ág tesztelés minden döntési ágat tesztelünk útvonal tesztelés minden független útvonalat tesztelünk, így legalább egyszer biztosan sor kerül minden utasítás végrehajtására, és minden feltételes utasítás igaz és hamis ágának végrahajtására Bánsághi Anna 34 of 62

35 UTASÍTÁS TESZTELÉS 100%-os utasítás lefedettséghez 1 teszteset szükséges Bánsághi Anna 35 of 62

36 DÖNTÉSI ÁG TESZTELÉS 100%-os döntési ág lefedettséghez 3 teszteset szükséges Bánsághi Anna 36 of 62

37 ÚTVONAL TESZTELÉS két út független, ha legalább egy élben vagy egy csomópontban különböznek hány független út van egy kódban? McCabe ciklomatikus komplexitás megmondja: CC = élek száma - csomópontok száma +2 a CC megmutatja, hogy hány tesztet kellene végrehajtani az összes független út végrehajtásához, vagyis minden vezérlő utasítás legalább egyszeri végrehajtásához lehetetlen a független utak összes kombinációját végrehajtani Bánsághi Anna 37 of 62

38 ÚTVONAL TESZTELÉS 100%-os útvonal lefedettséghez teszteset szükséges Bánsághi Anna 38 of 62

39 INTEGRÁCIÓS TESZT teljes rendszerek vagy alrendszerek tesztelése, amelyek előzőleg már tesztelt komponensekből állnak a komponensek együttműködéséből származó hibák feltárására szolgál az integrációs teszt fekete doboz tesztelés, a tesztek a specifikációból származnak komplex rendszerben az észlelt hibás eredményből nehéz a hiba helyére következtetni az inkrementális integrációs tesztelés némileg segít Bánsághi Anna 39 of 62

40 AZ INTEGRÁCIÓS TESZTELÉS STRATÉGIÁI fentről lefelé tesztelés a rendszer lépcsőzetesen épül fel, kezdve azon kompenensekkel, melyek más komponenseket hívnak. A még el nem készült komponenseket azonos interfésszel készült csonkok (stubs) helyettesítik. Ezeket fokozatosan lecserélik a kész elemekkel. lentről felfelé tesztelés A hierarchia alsó szintjein lévő komponensek integrálásával és tesztelésével kezdik, ahol a magasabb szinteket tesztgenerátorok (drivers) helyettesítik Bánsághi Anna 40 of 62

41 FENTRŐL LEFELÉ STRATÉGIA Bánsághi Anna 41 of 62

42 LENTRŐL FELFELÉ STRATÉGIA Bánsághi Anna 42 of 62

43 A KÉT STRATÉGIA ÖSSZEHASONLÍTÁSA szerkezeti validáció a fentről lefelé teszteléssel még a folyamat korai szakaszában felfedhetők a hibák a rendszerarchitektúrában és a magas szintű tervekben rendszerdemonstráció a fentről lefelé integráció korán lehetővé teszi a demonstrációt (újrafelhasználható komponensek alkalmazásával a lentről felfelé stratégiával is lehetséges) tesztimplementáció a fentről lefelé stratégia programcsonkjait nehéz implementálni, a lentről felfelé tesztelés tesztmeghajtóit valamivel egyszerűbb tesztmegfigyelés a tesztek eredményét mindkét módszernél nehéz megfigyelni, mesterséges környezetre, extra kódra van szükség Bánsághi Anna 43 of 62

44 INTERFÉSZTESZTELÉS interfésztesztelésre akkor van szükség, amikor egy nagyobb rendszer összeépítésekor modulokat vagy alrendszereket integrálunk célja az interfészek specifikációs (félreértések, ellentmondások) vagy implementációs hibáinak felfedése az interfésztesztelés az objektumorientált fejlesztésnél fontos (különösen objektumok és osztályok újrafelhasználásakor), mert az objektumokat az interfészeikkel definiáljuk egyedi objektum tesztelésével az interfészhibákat nem lehet felfedni, mert a hibák az objektumok közti interakciókban jelentkeznek, nem egy egyedi objektum sajátosságaiként Bánsághi Anna 44 of 62

45 INTERFÉSZ TÍPUSOK paraméter interfészek adatok továbbítása az egyik alrendszertől a másik felé osztott memória interfészek az alrendszerek közös memóriablokkon keresztül cserélnek adatot egymással procedurális interfészek egy alrendszer más alrendszerek által hívható eljárásokat tartalmaz üzenet alapú interfészek egy alrendszer úgy kér szolgáltatást egy másik alrendszertől, hogy üzenetet juttat el hozzá. A szolgáltatás eredményeit egy válaszüzenetben kapja meg Bánsághi Anna 45 of 62

46 TIPIKUS INTERFÉSZHIBÁK interfész hibás alkalmazása egy hívó komponens hibája lehet: rossz típusú vagy sorrendű paraméterek, hibás számú paraméter interfész félreértése a hívó komponens hibásan értelmezi az interfészt vagy a hívott komponens válaszait időzítési hibák a hívó és a hívott komponens különböző sebességgel működik (osztott memória vagy üzenettovábbító interfész esetén), és a hívott nem aktuális információt kap Bánsághi Anna 46 of 62

47 AZ INTERFÉSZTESZTELÉS IRÁNYELVEI a teszteket úgy kell tervezni, hogy a paraméterek értékei a határértékek közelében legyenek a pointer jellegű paramétereket null értékkel is teszteljük olyan tesztesetre is szükség van, amely a hívott komponens hibáját okozza (a specifikációs hibák többsége a hibák félreértelmezéséből fakad) üzenettovábbító vagy interaktív rendszereknél terheléses (stressz) tesztet is szükséges osztott memóriájú interfészeket a komponensek aktiválódása sorrendjének megváltoztatásával is teszteljünk (szinkronizációs hibák) Bánsághi Anna 47 of 62

48 RENDSZERTESZT élő környezetben a teljes rendszer viselkedését és működését vizsgálja a teszt KÉT FAJTÁJA funkcionális tesztek nemfunkcionális tesztek Bánsághi Anna 48 of 62

49 FUNKCIONÁLIS TESZTEK 1. installációs teszt a rendszer telepítésének tesztelése különböző eshetőségek (különböző hardver és szoftver konfigurációk, eltérő feltételek) esetén általános funkcionális teszt a rendszer működésének vizsgálata normál működés esetén. A teszt során ellenőrizzük, hogy a rendszer funkciói az elvártnak megfelelően működnek-e, a teszt során a kívánt eredményeket kapjuk-e. szélsőérték funkcionális teszt a rendszer működésének vizsgálata szélső bemeneti / kimeneti értékek esetén. A teszt során ellenőrizzük, hogy a rendszer funkciói az elvártnak megfelelően működnek-e, a teszt során az elvárt eredményeket kapjuk-e. Bánsághi Anna 49 of 62

50 FUNKCIONÁLIS TESZTEK 2. konfigurációs teszt a rendszer funkcionalitásának tesztelése eltérő hardver / szoftver feltételek mellett mennyiségi teszt a rendszer funkcionalitásának tesztelése nagy mennyiségű bemenő, kimenő, illetve adatbázisbeli adat esetén biztonsági teszt a szoftver jogosultsági rendszerének tesztelése azt ellenőrzi, hogy a rendszer adataihoz csak a megfelelő jogosultsággal bíró felhasználók férnek-e hozzá Bánsághi Anna 50 of 62

51 NEMFUNKCIONÁLIS TESZTEK 1. általános teljesítményteszt a rendszer számszerűsíthető működési paramétereit (sebesség, memóriahasználat, hálózati forgalom) összevetjük az elvárt értékekkel. A teszt segítségével fényt deríthetünk a rendszernek ezen paraméterek szempontjából kritikus pontjaira, szűk keresztmetszeteire referencia teljesítményteszt a rendszer működési paramétereit egy másik, a tesztelt rendszerhez hasonló funkcionalitású rendszer paramétereivel vetjük össze terheléses teljesítményteszt a rendszer működési paramétereinek vizsgálata különböző munkaterhelések esetén. A teszt során rögzítjük a terhelés mértékét (pl. felhasználók, tranzakciók száma), valamint a rendszer működési paramétereit az adott terhelés alatt Bánsághi Anna 51 of 62

52 NEMFUNKCIONÁLIS TESZTEK 2. konkurencia teljesítményteszt a rendszer teljesítményének vizsgálata abban az esetben, ha a rendszernek többszörösen kell ugyanahhoz az erőforráshoz (pl. ugyanahhoz az adatrekordhoz) hozzáférnie sokk teljesítményteszt a rendszer működésének vizsgálata extrém körülmények között. Ezek az extrém körülmények lehetnek a tervezettnél nagyobb terhelések, kevés memória/erőforrások, hardver problémák, áramszünet helyreállási teljesítményteszt a rendszer automatikus helyreállási képességének vizsgálata különféle okokból bekövetkezett összeomlások után Bánsághi Anna 52 of 62

53 ELFOGADÁSI TESZT élő környezetben a teljes rendszer viselkedését és működését próbálja ki az ügyfél alfa teszt az alkalmazás még nincs teljesen kidolgozva, a tesztelést a tesztelő csapat és a felhasználók egy speciális csoportja végzi. A felhasználók a szoftver kipróbálása közben / után jelzik a fejlesztőknek a próbaüzem közben előforduló problémáikat. béta teszt az alkalmazás éles környezetben fut, a tesztelést tetszőleges (önkéntes) felhasználók végzik. Vizsgálják az ügyfél elégedettséget, és azt, hogy a rendszer mennyire teljesíti az üzleti célokat. Bánsághi Anna 53 of 62

54 ELFOGADÁSI TESZT 2. elfogadási teszt célja annak megállapítása, hogy a szoftverrendszer a körülményeknek megfelelően működik-e. A rendszer működésének ellenőrzése nem szimulált tesztadatokkal történik, hanem valós környezetben tényleges adatokkal. A teszttel feltárhatók azok a működésbeli rendellenességek, melyeket az informatikai szakemberek a rendszer szakterületében való jártatlanságuk miatt nem fedeztek fel Bánsághi Anna 54 of 62

55 4. OBJEKTUMORIENTÁLT TESZTELÉS a komponens- és integrációs tesztelés az objektumorientált rendszereknél is alkalmazható KÜLÖNBSÉGEK a tesztelendő objektumok komponensként gyakran nagyobbak, mint az egyszerű függvények (a fehér doboz tesztelés nehezebben alkalmazható) az objektumok lazán kötődnek, és a tesztelt komponensnek vagy a rendszernek nincs egyértelmű teteje (top-down, bottom-up) az újrafelhasznált komponensek kódjához nem mindig lehet hozzájutni, elemezni Bánsághi Anna 55 of 62

56 AZ OBJEKTUMORIENTÁLT TESZTELÉS SZINTJEI az objektumokhoz kapcsolódó műveletek tesztelése tagfüggvények és az események fekete vagy fehér doboz technikával tesztelhetők osztályok tesztelése a fekete doboz technika alkalmazható, de az ekvivalencia partícionálást a műveletsorozatokra is ki kell terjeszteni együttműködő objektumcsoportok tesztelése alapján kijelölhető az objektumok csoportja a forgatókönyv objektumorientált rendszer tesztelése a követelmények verifikációja és validációja más rendszerekhez hasonlóan történhet Bánsághi Anna 56 of 62

57 OSZTÁLYOK TESZTELÉSE a teljes (minden utasítás és minden független útvonal) teszt lefedettséghez szükség van: az objektumhoz kapcsolódó összes művelet tesztelésére az összes attribútum beállítására és tesztelésére az objektum összes lehetséges állapotának végrehajtására az öröklődés nehezíti az objektumosztályok tesztelését, mert az összes örökölt műveletet is tesztelni kell Bánsághi Anna 57 of 62

58 OBJEKTUMINTEGRÁCIÓ az objektumorientált rendszerekben az integráció szintjét nehéz meghatározni a modultesztnek nincs megfelelője, de alkalmazható az együttműködő objektumosztályok csoporttesztje a csoportok az objektumok működésének és a rendszer tulajdonságainak ismeretében jelölhetők ki Bánsághi Anna 58 of 62

59 CSOPORTTESZTELÉS használati eset vagy forgatókönyv alapján a tesztek a felhasználói interakciókon alapulnak. Előnye, hogy a felhasználók által leggyakrabban használt részeket teszteli száltesztelés a rendszernek egy eseményre adott válaszát vizsgálja, amint az a rendszeren keresztülhalad objektum együttműködési teszt az objektumok együttműködésének egy sorozatát vizsgálja, amely akkor ér véget, ha egy objektumművelet nem hív meg más objektumszolgáltatást Bánsághi Anna 59 of 62

60 FORGATÓKÖNYV ALAPÚ TESZTELÉS a használati eset diagram alapján meghatározott forgatókönyvet kiegészíti egy olyan szekvencia diagrammal, amely az érintett objektumokat is megmutatja olyan forgatókönyveket kell választani, amelyek végül biztosítják, hogy minden objektum minden művelete legalább egyszer tesztelve legyen a szekvencia diagram arra is alkalmas, hogy meghatározzuk a teszt input és output adatait a forgatókönyvben ki kell térni a kivételekre (hibaesetekre) is Bánsághi Anna 60 of 62

61 5. TESZTELŐ ESZKÖZÖK a tesztelés drága és időigényes folyamat a tesztelő eszközök automatizálják, amit lehet, így csökkentik a tesztelés idő- és erőforrásigényét, a költségeket nagy rendszerek esetén a tesztelő eszközöket a rendszer funkcióihoz és felelősségéhez szabják a tesztelő eszközöket nem könnyű integrálni a tervező, fejlesztő CASE eszközökkel Bánsághi Anna 61 of 62

62 ÖSSZEFOGLALÁS legfontosabb a rendszer gyakran használt részeit tesztelni az ekvivalencia partícionálás egy lehetőség a tesztadatok előállítására. Az osztály határára eső értékek fedik fel a hibákat a legnagyobb valószínűséggel. az egységtesztelés a program vezérlési gráfjának tesztelésén alapul az integrációs tesztek a komponensek és az interfészeik közti interakciót vizsgálják az interfészhibák a specifikáció hibás értelmezéséből és hibás időzítésből származhatnak az objektumosztályokat úgy kell tesztelni, hogy minden műveletet kipróbálunk, minden attribútumnak értéket adunk, minden állapotot tesztelünk az OO rendszereket a használati esetek alapján összegyűjtött objektumcsoportokban lehet tesztelni Bánsághi Anna 62 of 62

Szoftverminőségbiztosítás

Szoftverminőségbiztosítás NGB_IN003_1 SZE 2014-15/2 (8) Szoftverminőségbiztosítás Szoftvertesztelési folyamat (folyt.) Szoftvertesztelési ráfordítások (Perry 1995) Tesztelésre fordítódik a projekt költségvetés 24%-a a projekt menedzsment

Részletesebben

Szoftverminőségbiztosítás

Szoftverminőségbiztosítás NGB_IN003_1 SZE 2017-18/2 (9) Szoftverminőségbiztosítás Specifikáció alapú (black-box) technikák A szoftver mint leképezés Szoftverhiba Hibát okozó bement Hibás kimenet Input Szoftver Output Funkcionális

Részletesebben

Miskolci Egyetem Általános Informatikai Tanszék

Miskolci Egyetem Általános Informatikai Tanszék Software tesztelés Miskolci Egyetem Általános Informatikai Tanszék Software tesztelés SWTESZT / 1 A tesztelés feladata Két alapvető cél rendszerben található hibák felderítése annak ellenőrzése, hogy a

Részletesebben

A tesztelés feladata. Verifikáció

A tesztelés feladata. Verifikáció Software tesztelés Miskolci Egyetem Általános Informatikai Tanszék Software tesztelés SWTESZT / 1 A tesztelés feladata Két alapvető cél rendszerben található hibák felderítése annak ellenőrzése, hogy a

Részletesebben

Verifikáció és validáció Általános bevezető

Verifikáció és validáció Általános bevezető Verifikáció és validáció Általános bevezető Általános Verifikáció és validáció verification and validation - V&V: ellenőrző és elemző folyamatok amelyek biztosítják, hogy a szoftver megfelel a specifikációjának

Részletesebben

Miskolci Egyetem Alkalmazott Informatikai Intézeti Tanszék A minőségbiztosítás informatikája. Készítette: Urbán Norbert

Miskolci Egyetem Alkalmazott Informatikai Intézeti Tanszék A minőségbiztosítás informatikája. Készítette: Urbán Norbert Miskolci Egyetem Alkalmazott Informatikai Intézeti Tanszék A minőségbiztosítás informatikája Készítette: Urbán Norbert Szoftver-minőség A szoftver egy termelő-folyamat végterméke, A minőség azt jelenti,

Részletesebben

Szoftverminőségbiztosítás

Szoftverminőségbiztosítás NGB_IN003_1 SZE 2014-15/2 (7) Szoftverminőségbiztosítás Szoftvertesztelési folyamat Szoftverek és környezet Nem egyforma a szoftverek használatához kapcsolódó kockázat Különböző kockázati szintek -> eltérő

Részletesebben

A szoftver tesztelés alapjai

A szoftver tesztelés alapjai Szoftverellenőrzési technikák A szoftver tesztelés alapjai Micskei Zoltán, Majzik István http://www.inf.mit.bme.hu/ 1 Hol tartunk a félévi anyagban? Követelményspecifikáció ellenőrzése Ellenőrzések a tervezési

Részletesebben

Megoldások a mintavizsga kérdések a VIMIAC04 tárgy ellenőrzési technikák részéhez kapcsolódóan (2017. május)

Megoldások a mintavizsga kérdések a VIMIAC04 tárgy ellenőrzési technikák részéhez kapcsolódóan (2017. május) Megoldások a mintavizsga kérdések a VIMIAC04 tárgy ellenőrzési technikák részéhez kapcsolódóan (2017. május) Teszt kérdések 1. Melyik állítás igaz a folytonos integrációval (CI) kapcsolatban? a. Folytonos

Részletesebben

MŰSZAKI TESZTTERVEZÉSI TECHNIKÁK A TESZT FEJLESZTÉSI FOLYAMATA A TESZTTERVEZÉSI TECHNIKÁK KATEGÓRIÁI

MŰSZAKI TESZTTERVEZÉSI TECHNIKÁK A TESZT FEJLESZTÉSI FOLYAMATA A TESZTTERVEZÉSI TECHNIKÁK KATEGÓRIÁI MŰSZAKI TESZTTERVEZÉSI TECHNIKÁK A TESZT FEJLESZTÉSI FOLYAMATA A TESZTTERVEZÉSI TECHNIKÁK KATEGÓRIÁI MUNKAERŐ-PIACI IGÉNYEKNEK MEGFELELŐ, GYAKORLATORIENTÁLT KÉPZÉSEK, SZOLGÁLTATÁSOK A DEBRECENI EGYETEMEN

Részletesebben

Specifikáció alapú teszttervezési módszerek

Specifikáció alapú teszttervezési módszerek Szoftverellenőrzési technikák Specifikáció alapú teszttervezési módszerek Majzik István, Micskei Zoltán http://www.inf.mit.bme.hu/ 1 Klasszikus tesztelési feladat A tesztelendő program beolvas 3 egész

Részletesebben

Specifikáció alapú teszttervezési módszerek

Specifikáció alapú teszttervezési módszerek Szoftverellenőrzési technikák Specifikáció alapú teszttervezési módszerek Majzik István, Micskei Zoltán http://www.inf.mit.bme.hu/ 1 Klasszikus tesztelési feladat A tesztelendő program beolvas 3 egész

Részletesebben

Statikus technikák: A szoftver átvizsgálása. Statikus technikák: A szoftver átvizsgálása 2011.04.25.

Statikus technikák: A szoftver átvizsgálása. Statikus technikák: A szoftver átvizsgálása 2011.04.25. Dr. Mileff Péter A V & V tervezési folyamatoknak egyensúlyt kell kialakítani a verifikáció és a validációstatikus és dinamikus technikái között. 1 2 Statikus technikák: A szoftver átvizsgálása A szisztematikus

Részletesebben

Szoftverminőségbiztosítás

Szoftverminőségbiztosítás NGB_IN003_1 SZE 2014-15/2 (11) Szoftverminőségbiztosítás Tesztautomatizálás A tesztelés kivitelezése Tesztelési feladatok Detektálatlan maradék hibák számának csökkentése hatásosan és hatékonyan megfelelő

Részletesebben

Objektumorientált tesztelés

Objektumorientált tesztelés Objektumorientált tesztelés OO tesztelés OO tesztelés funkcionális modell Az objektumok különálló komponensként nagyobbak, mint az egyszerű függvények A rendszernek nincsen egyértelmű teteje (az alrendszerekbe

Részletesebben

2011.11.29. JUnit. JUnit használata. IDE támogatás. Parancssori használat. Teszt készítése. Teszt készítése

2011.11.29. JUnit. JUnit használata. IDE támogatás. Parancssori használat. Teszt készítése. Teszt készítése Tartalom Integrált fejlesztés Java platformon JUnit JUnit használata Tesztelési technikák Demo 2 A specifikáció alapján teszteljük a program egyes részeit, klasszikus V-modell szerint Minden olyan metódust,

Részletesebben

Tesztelés az XP-ben Tesztelés az XP-ben. A tesztelés kulcsjellemzői:

Tesztelés az XP-ben Tesztelés az XP-ben. A tesztelés kulcsjellemzői: Dr. Mileff Péter 1 2 Az XP nagyobb hangsúlyt fektet a tesztelés folyamatára, mint a többi agilis módszer Oka: a teszteléssel és a rendszer validálásával kapcsolatos problémák elkerülése. A rendszertesztelés

Részletesebben

Unit Teszt. Tóth Zsolt. Miskolci Egyetem. Tóth Zsolt (Miskolci Egyetem) Unit Teszt / 22

Unit Teszt. Tóth Zsolt. Miskolci Egyetem. Tóth Zsolt (Miskolci Egyetem) Unit Teszt / 22 Unit Teszt Tóth Zsolt Miskolci Egyetem 2013 Tóth Zsolt (Miskolci Egyetem) Unit Teszt 2013 1 / 22 Tartalomjegyzék 1 Bevezetés 2 Unit Teszt 3 Példa Tóth Zsolt (Miskolci Egyetem) Unit Teszt 2013 2 / 22 Szoftvertesztelés

Részletesebben

OpenCL alapú eszközök verifikációja és validációja a gyakorlatban

OpenCL alapú eszközök verifikációja és validációja a gyakorlatban OpenCL alapú eszközök verifikációja és validációja a gyakorlatban Fekete Tamás 2015. December 3. Szoftver verifikáció és validáció tantárgy Áttekintés Miért és mennyire fontos a megfelelő validáció és

Részletesebben

Programtervezés. Dr. Iványi Péter

Programtervezés. Dr. Iványi Péter Programtervezés Dr. Iványi Péter 1 A programozás lépései 2 Feladat meghatározás Feladat kiírás Mik az input adatok A megoldáshoz szükséges idő és költség Gyorsan, jót, olcsón 3 Feladat megfogalmazása Egyértelmű

Részletesebben

23. Szoftver-tesztelés

23. Szoftver-tesztelés 23. Szoftver-tesztelés Kérdések Mi a különbség a validációs tesztelés és a hibatesztelés között? Mik a rendszer- és komponenstesztelés alapelvei? Milyen stratégiákat alkalmazhatunk tesztgenerálás céljára?

Részletesebben

A szoftver-folyamat. Szoftver életciklus modellek. Szoftver-technológia I. Irodalom

A szoftver-folyamat. Szoftver életciklus modellek. Szoftver-technológia I. Irodalom A szoftver-folyamat Szoftver életciklus modellek Irodalom Ian Sommerville: Software Engineering, 7th e. chapter 4. Roger S. Pressman: Software Engineering, 5th e. chapter 2. 2 A szoftver-folyamat Szoftver

Részletesebben

ESZKÖZTÁMOGATÁS A TESZTELÉSBEN

ESZKÖZTÁMOGATÁS A TESZTELÉSBEN ESZKÖZTÁMOGATÁS A TESZTELÉSBEN MUNKAERŐ-PIACI IGÉNYEKNEK MEGFELELŐ, GYAKORLATORIENTÁLT KÉPZÉSEK, SZOLGÁLTATÁSOK A DEBRECENI EGYETEMEN ÉLELMISZERIPAR, GÉPÉSZET, INFORMATIKA, TURISZTIKA ÉS VENDÉGLÁTÁS TERÜLETEN

Részletesebben

A dokumentáció felépítése

A dokumentáció felépítése A dokumentáció felépítése Készítette: Keszthelyi Zsolt, 2010. szeptember A szoftver dokumentációját az itt megadott szakaszok szerint kell elkészíteni. A szoftvert az Egységesített Eljárás (Unified Process)

Részletesebben

Integrációs mellékhatások és gyógymódok a felhőben. Géczy Viktor Üzletfejlesztési igazgató

Integrációs mellékhatások és gyógymódok a felhőben. Géczy Viktor Üzletfejlesztési igazgató Integrációs mellékhatások és gyógymódok a felhőben Géczy Viktor Üzletfejlesztési igazgató Middleware projektek sikertelenségeihez vezethet Integrációs (interfész) tesztek HIÁNYA Tesztadatok? Emulátorok?

Részletesebben

Algoritmizálás, adatmodellezés tanítása 6. előadás

Algoritmizálás, adatmodellezés tanítása 6. előadás Algoritmizálás, adatmodellezés tanítása 6. előadás Tesztelési módszerek statikus tesztelés kódellenőrzés szintaktikus ellenőrzés szemantikus ellenőrzés dinamikus tesztelés fekete doboz módszerek fehér

Részletesebben

Követelmény alapú minőségbiztosítás az államigazgatásban

Követelmény alapú minőségbiztosítás az államigazgatásban Követelmény alapú minőségbiztosítás az államigazgatásban László István 2006 Hewlett-Packard Development Company, L.P. The information contained herein is subject to change without notice Témák Követelmény

Részletesebben

Szoftverminőségbiztosítás

Szoftverminőségbiztosítás NGB_IN003_1 SZE 2014-15/2 (13) Szoftverminőségbiztosítás Szoftverminőség és formális módszerek Formális módszerek Formális módszer formalizált módszer(tan) Formális eljárások alkalmazása a fejlesztésben

Részletesebben

Kompetens szoftvertesztelés a gyakorlatban II. zárthelyi dolgozat

Kompetens szoftvertesztelés a gyakorlatban II. zárthelyi dolgozat Név:...................................... Neptunkód:................... Kompetens szoftvertesztelés a gyakorlatban II. zárthelyi dolgozat 2015. április 22. (szerda) Kitöltési útmutató A dolgozat kitöltéséhez

Részletesebben

MIÉRT KELL TESZTELNI?

MIÉRT KELL TESZTELNI? Unrestricted MIÉRT KELL TESZTELNI? MIÉRT KELL TESZTELNI? A termékminőség fejlesztése...hogy megtaláljuk a hibákat, mert azok ott vannak... MIÉRT KELL TESZTELNI? Hogy felderítsük, mit tud a szoftver MIÉRT

Részletesebben

Programozási technológia II 7. előadás. Verifikáció és validáció Giachetta Roberto

Programozási technológia II 7. előadás. Verifikáció és validáció Giachetta Roberto Eötvös Loránd Tudományegyetem Informatikai Kar Programozási technológia II 7. előadás Verifikáció és validáció 2016 Giachetta Roberto groberto@inf.elte.hu http://people.inf.elte.hu/groberto Minőségbiztosítás

Részletesebben

MŰSZAKI TESZTTERVEZÉSI TECHNIKÁK STRUKTÚRA ALAPÚ, VAGY FEHÉRDOBOZ TECHNIKÁK TAPASZTALAT ALAPÚ TECHNIKÁK

MŰSZAKI TESZTTERVEZÉSI TECHNIKÁK STRUKTÚRA ALAPÚ, VAGY FEHÉRDOBOZ TECHNIKÁK TAPASZTALAT ALAPÚ TECHNIKÁK MŰSZAKI TESZTTERVEZÉSI TECHNIKÁK STRUKTÚRA ALAPÚ, VAGY FEHÉRDOBOZ TECHNIKÁK TAPASZTALAT ALAPÚ TECHNIKÁK MUNKAERŐ-PIACI IGÉNYEKNEK MEGFELELŐ, GYAKORLATORIENTÁLT KÉPZÉSEK, SZOLGÁLTATÁSOK A DEBRECENI EGYETEMEN

Részletesebben

Programfejlesztési Modellek

Programfejlesztési Modellek Programfejlesztési Modellek Programfejlesztési fázisok: Követelmények leírása (megvalósíthatósági tanulmány, funkcionális specifikáció) Specifikáció elkészítése Tervezés (vázlatos és finom) Implementáció

Részletesebben

Szoftver-mérés. Szoftver metrikák. Szoftver mérés

Szoftver-mérés. Szoftver metrikák. Szoftver mérés Szoftver-mérés Szoftver metrikák Szoftver mérés Szoftver jellemz! megadása numerikus értékkel Technikák, termékek, folyamatok objektív összehasonlítása Mér! szoftverek, programok CASE eszközök Kevés szabványos

Részletesebben

Automatikus tesztgenerálás modell ellenőrző segítségével

Automatikus tesztgenerálás modell ellenőrző segítségével Méréstechnika és Információs Rendszerek Tanszék Automatikus tesztgenerálás modell ellenőrző segítségével Micskei Zoltán műszaki informatika, V. Konzulens: Dr. Majzik István Tesztelés Célja: a rendszerben

Részletesebben

Integráci. ciós s tesztek. ciós s tesztek (folyt.) Integration Level Testing (ILT) Ficsor Lajos. Miskolci Egyetem Általános Informatikai Tanszék

Integráci. ciós s tesztek. ciós s tesztek (folyt.) Integration Level Testing (ILT) Ficsor Lajos. Miskolci Egyetem Általános Informatikai Tanszék ciós s tesztek ciós s tesztek Miskolci Egyetem Általános Informatikai Tanszék Utolsó módosítás: 2008. 11. 27. IntegraciosTeszt / 1 ós tesztek IntegraciosTeszt / 2 ciós s tesztek (folyt.) Feltételezzük,

Részletesebben

Angolul: Extreme Programming, röviden: XP Agilis módszertan. Más módszertanok bevált technikáinak extrém módú (nagyon jó) használata

Angolul: Extreme Programming, röviden: XP Agilis módszertan. Más módszertanok bevált technikáinak extrém módú (nagyon jó) használata Angolul: Extreme Programming, röviden: XP Agilis módszertan. Más módszertanok bevált technikáinak extrém módú (nagyon jó) használata jelentése: gyors, fürge 1990-es évek vége Változás igénye Módszertan-család

Részletesebben

Teszttervezés. Majzik István, Micskei Zoltán. Integrációs és ellenőrzési technikák (VIMIA04) Méréstechnika és Információs Rendszerek Tanszék

Teszttervezés. Majzik István, Micskei Zoltán. Integrációs és ellenőrzési technikák (VIMIA04) Méréstechnika és Információs Rendszerek Tanszék Integrációs és ellenőrzési technikák (VIMIA04) Teszttervezés Majzik István, Micskei Zoltán Méréstechnika és Információs Rendszerek Tanszék Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és

Részletesebben

Teszttervezés. Majzik István, Micskei Zoltán. Integrációs és ellenőrzési technikák (VIMIA04) Méréstechnika és Információs Rendszerek Tanszék

Teszttervezés. Majzik István, Micskei Zoltán. Integrációs és ellenőrzési technikák (VIMIA04) Méréstechnika és Információs Rendszerek Tanszék Integrációs és ellenőrzési technikák (VIMIA04) Teszttervezés Majzik István, Micskei Zoltán Méréstechnika és Információs Rendszerek Tanszék Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és

Részletesebben

Tesztelési folyamat. Integrációs tesztelés:

Tesztelési folyamat. Integrációs tesztelés: Szoftvertesztelés Tesztelési folyamat Tesztelési folyamat: különálló programegységek (függvények, objektumok) tesztelése alrendszerek és rendszerek tesztelése (az integrálási fázis után) az egységek közötti

Részletesebben

Bánsághi Anna anna.bansaghi@mamikon.net. 2014 Bánsághi Anna 1 of 31

Bánsághi Anna anna.bansaghi@mamikon.net. 2014 Bánsághi Anna 1 of 31 IMPERATÍV PROGRAMOZÁS Bánsághi Anna anna.bansaghi@mamikon.net 9. ELŐADÁS - OOP TERVEZÉS 2014 Bánsághi Anna 1 of 31 TEMATIKA I. ALAPFOGALMAK, TUDOMÁNYTÖRTÉNET II. IMPERATÍV PROGRAMOZÁS Imperatív paradigma

Részletesebben

A TESZTELÉS ALAPJAI MIÉRT SZÜKSÉGES A TESZTELÉS? MI A TESZTELÉS? ÁLTALÁNOS TESZTELÉSI ALAPELVEK

A TESZTELÉS ALAPJAI MIÉRT SZÜKSÉGES A TESZTELÉS? MI A TESZTELÉS? ÁLTALÁNOS TESZTELÉSI ALAPELVEK A TESZTELÉS ALAPJAI MIÉRT SZÜKSÉGES A TESZTELÉS? MI A TESZTELÉS? ÁLTALÁNOS TESZTELÉSI ALAPELVEK MUNKAERŐ-PIACI IGÉNYEKNEK MEGFELELŐ, GYAKORLATORIENTÁLT KÉPZÉSEK, SZOLGÁLTATÁSOK A DEBRECENI EGYETEMEN ÉLELMISZERIPAR,

Részletesebben

S01-8 Komponens alapú szoftverfejlesztés 2

S01-8 Komponens alapú szoftverfejlesztés 2 S01-8 Komponens alapú szoftverfejlesztés 2 Tartalom 1. Komponens megvalósítása: kölcsönhatás modell, viselkedési vagy algoritmikus modell és strukturális modell. 2. Komponens megtestesítés: finomítás és

Részletesebben

Teszt terv Új funkció implementációja meglévı alkalmazásba

Teszt terv Új funkció implementációja meglévı alkalmazásba Teszt terv Új funkció implementációja meglévı alkalmazásba Passed Informatikai Kft. www.passed.hu Farkas Gábor 2007-P-123-45-T-1-1 IIR - Test Manager course 2 Szerepkör Név Aláírás Aláírás dátuma IT Projekt

Részletesebben

Szoftvertechnológia ellenőrző kérdések 2005

Szoftvertechnológia ellenőrző kérdések 2005 Szoftvertechnológia ellenőrző kérdések 2005 Mi a szoftver, milyen részekből áll és milyen típusait különböztetjük meg? Mik a szoftverfejlesztés általános lépései? Mik a szoftvergyártás általános modelljei?

Részletesebben

A TESZTELÉS ALAPJAI A TESZTELÉS ALAPVETŐ FOLYAMATA A TESZTELÉS PSZICHOLÓGIÁJA A TESZTELÉS ETIKAI KÓDEXE

A TESZTELÉS ALAPJAI A TESZTELÉS ALAPVETŐ FOLYAMATA A TESZTELÉS PSZICHOLÓGIÁJA A TESZTELÉS ETIKAI KÓDEXE A TESZTELÉS ALAPJAI A TESZTELÉS ALAPVETŐ FOLYAMATA A TESZTELÉS PSZICHOLÓGIÁJA A TESZTELÉS ETIKAI KÓDEXE MUNKAERŐ-PIACI IGÉNYEKNEK MEGFELELŐ, GYAKORLATORIENTÁLT KÉPZÉSEK, SZOLGÁLTATÁSOK A DEBRECENI EGYETEMEN

Részletesebben

Bevezetés a programozásba

Bevezetés a programozásba Bevezetés a programozásba A szoftverfejlesztés folyamata PPKE-ITK Tartalom A rendszer és a szoftver fogalma A szoftver, mint termék és készítésének jellegzetességei A szoftverkészítés fázisai: Az igények

Részletesebben

V & V Feladatok. V & V Feladatok

V & V Feladatok. V & V Feladatok V & V Feladatok 2008.01.08 2. Feladat tartozik! A relációjel fordított. Hibás bemenetekre nem teszteltünk. Figyelmen kívül hagytuk az objektum konstruálás időigényét. A pointer értéke null. A program lefut,

Részletesebben

A fejlesztési szabványok szerepe a szoftverellenőrzésben

A fejlesztési szabványok szerepe a szoftverellenőrzésben A fejlesztési szabványok szerepe a szoftverellenőrzésben Majzik István majzik@mit.bme.hu http://www.inf.mit.bme.hu/ 1 Tartalomjegyzék Biztonságkritikus rendszerek A biztonságintegritási szint Az ellenőrzés

Részletesebben

Szoftverminőségbiztosítás

Szoftverminőségbiztosítás NGB_IN003_1 SZE 2014-15/2 (10) Szoftverminőségbiztosítás Struktúra alapú (white-box) technikák A struktúrális tesztelés Implementációs részletek figyelembevétele Tesztelési célok -> lefedettség Implicit

Részletesebben

Digitális eszközök típusai

Digitális eszközök típusai Digitális eszközök típusai A digitális eszközök típusai Digitális rendszer fogalma Több minden lehet digitális rendszer Jelen esetben digitális integrált áramköröket értünk a digitális rendszerek alatt

Részletesebben

TESZTMENEDZSMENT TESZTELŐ SZERVEZET TESZTTERVEZÉS ÉS BECSLÉS

TESZTMENEDZSMENT TESZTELŐ SZERVEZET TESZTTERVEZÉS ÉS BECSLÉS TESZTMENEDZSMENT TESZTELŐ SZERVEZET TESZTTERVEZÉS ÉS BECSLÉS MUNKAERŐ-PIACI IGÉNYEKNEK MEGFELELŐ, GYAKORLATORIENTÁLT KÉPZÉSEK, SZOLGÁLTATÁSOK A DEBRECENI EGYETEMEN ÉLELMISZERIPAR, GÉPÉSZET, INFORMATIKA,

Részletesebben

01. gyakorlat - Projektalapítás

01. gyakorlat - Projektalapítás 2 Követelmények 01. gyakorlat - Projektalapítás Szoftvertechnológia gyakorlat OE-NIK A félév során egy nagyobb szoftverrendszer prototípusának elkészítése lesz a feladat Fejlesztési módszertan: RUP CASE-eszköz:

Részletesebben

S01-7 Komponens alapú szoftverfejlesztés 1

S01-7 Komponens alapú szoftverfejlesztés 1 S01-7 Komponens alapú szoftverfejlesztés 1 1. A szoftverfejlesztési modell fogalma. 2. A komponens és komponens modell fogalma. 3. UML kompozíciós diagram fogalma. 4. A szoftverarchitektúrák fogalma, összetevői.

Részletesebben

Autóipari beágyazott rendszerek. Komponens és rendszer integráció

Autóipari beágyazott rendszerek. Komponens és rendszer integráció Autóipari beágyazott rendszerek és rendszer integráció 1 Magas szintű fejlesztési folyamat SW architektúra modellezés Modell (VFB) Magas szintű modellezés komponensek portok interfészek adattípusok meghatározása

Részletesebben

ORVOSTECHNIKAI ESZKÖZÖK GYÁRTMÁNYFEJLESZTÉSE AKTÍV ORVOSI ESZKÖZÖK FEJLESZTÉSE - PEMS V&V

ORVOSTECHNIKAI ESZKÖZÖK GYÁRTMÁNYFEJLESZTÉSE AKTÍV ORVOSI ESZKÖZÖK FEJLESZTÉSE - PEMS V&V ORVOSTECHNIKAI ESZKÖZÖK GYÁRTMÁNYFEJLESZTÉSE AKTÍV ORVOSI ESZKÖZÖK FEJLESZTÉSE - PEMS V&V Nagy Katinka Budapest, 29 November 2018 Bemutatkozás Nagy Katinka Villamosmérnök BSc (2012) Villamosmérnök MSc

Részletesebben

Szoftver karbantartási lépések ellenőrzése

Szoftver karbantartási lépések ellenőrzése Szoftverellenőrzési technikák (vimim148) Szoftver karbantartási lépések ellenőrzése Majzik István Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs Rendszerek Tanszék http://www.inf.mit.bme.hu/

Részletesebben

A programkomponensek között különbözı típusú interfészek léteznek. következésképpen különbözı típusú interfészhibák fordulhatnak elı.

A programkomponensek között különbözı típusú interfészek léteznek. következésképpen különbözı típusú interfészhibák fordulhatnak elı. 1 Az interfésztesztelésre mikor kerül sor? amikor egy nagyobb rendszer létrehozásához modulokat és alrendszereket integrálunk, amelyek egymással interfészeken keresztül kommunikálnak. Ez a fajta tesztelés

Részletesebben

Orvostechnikai eszközök gyártmányfejlesztése Aktív orvosi eszközök fejlesztése PEMS V&V. Nagy Katinka

Orvostechnikai eszközök gyártmányfejlesztése Aktív orvosi eszközök fejlesztése PEMS V&V. Nagy Katinka Orvostechnikai eszközök gyártmányfejlesztése Aktív orvosi eszközök fejlesztése PEMS V&V Nagy Katinka 2016-11-24 Bemutatkozás Nagy Katinka Villamosmérnök BSc (2012) Villamosmérnök MSc (2014) Rendszer tesztmérnök,

Részletesebben

Szoftvertechnológia 10. előadás. Verifikáció és validáció. Giachetta Roberto. Eötvös Loránd Tudományegyetem Informatikai Kar

Szoftvertechnológia 10. előadás. Verifikáció és validáció. Giachetta Roberto. Eötvös Loránd Tudományegyetem Informatikai Kar Eötvös Loránd Tudományegyetem Informatikai Kar Szoftvertechnológia 10. előadás Verifikáció és validáció Giachetta Roberto groberto@inf.elte.hu http://people.inf.elte.hu/groberto It's hard enough to find

Részletesebben

Eseményvezérelt alkalmazások fejlesztése I 11. előadás. Szoftverek tesztelése

Eseményvezérelt alkalmazások fejlesztése I 11. előadás. Szoftverek tesztelése Eötvös Loránd Tudományegyetem Informatikai Kar Eseményvezérelt alkalmazások fejlesztése I 11. előadás Szoftverek tesztelése 2014 Giachetta Roberto groberto@inf.elte.hu http://people.inf.elte.hu/groberto

Részletesebben

Modell alapú tesztelés mobil környezetben

Modell alapú tesztelés mobil környezetben Modell alapú tesztelés mobil környezetben Micskei Zoltán Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs Rendszerek Tanszék A terület behatárolása Testing is an activity performed

Részletesebben

A modellellenőrzés érdekes alkalmazása: Tesztgenerálás modellellenőrzővel

A modellellenőrzés érdekes alkalmazása: Tesztgenerálás modellellenőrzővel A modellellenőrzés érdekes alkalmazása: Tesztgenerálás modellellenőrzővel Majzik István Micskei Zoltán BME Méréstechnika és Információs Rendszerek Tanszék 1 Modell alapú fejlesztési folyamat (részlet)

Részletesebben

OO rendszerek jellemzői

OO rendszerek jellemzői OO rendszerek jellemzői Problémák forrása lehet teszteléskor: Problémák feldarabolása. Adatrejtés. Az OO rendszerek nagyszámú, egymással aktívan kapcsolatban levő, együttműködő komponensekből állnak. A

Részletesebben

S01-9 Szoftverfejlesztés minőségi aspektusai

S01-9 Szoftverfejlesztés minőségi aspektusai S01-9 Szoftverfejlesztés minőségi aspektusai Tartalom 1. A szoftverminőség komplex kérdésköre, termék és folyamat alapú megközelítés. 2. A szoftverfejlesztés és a tesztelés kapcsolata, V modell, agilitás.

Részletesebben

Biztonsági folyamatirányító. rendszerek szoftvere

Biztonsági folyamatirányító. rendszerek szoftvere Biztonsági folyamatirányító rendszerek szoftvere 1 Biztonsági folyamatirányító rendszerek szoftvere Tartalom Szoftverek szerepe a folyamatirányító rendszerekben Szoftverek megbízhatósága Szoftver életciklus

Részletesebben

A modellellenőrzés érdekes alkalmazása: Tesztgenerálás modellellenőrzővel

A modellellenőrzés érdekes alkalmazása: Tesztgenerálás modellellenőrzővel A modellellenőrzés érdekes alkalmazása: Tesztgenerálás modellellenőrzővel Majzik István Micskei Zoltán BME Méréstechnika és Információs Rendszerek Tanszék 1 Modell alapú fejlesztési folyamat (részlet)

Részletesebben

1. Melyik szabvány foglalkozik dokumentumok tulajdonságainak megfogalmazásával? a. RDFS b. FOAF c. Dublin Core d. DBPedia

1. Melyik szabvány foglalkozik dokumentumok tulajdonságainak megfogalmazásával? a. RDFS b. FOAF c. Dublin Core d. DBPedia Név: Neptun kód: 2018. június 1., 8.15-9.45. VIMIAC04 Integrációs és ellenőrzési technikák vizsga Rendelkezésre álló idő: 90 perc Vizsga maximális pontszám: 51 Megfelelt szint: 40% Teszt kérdések (max.

Részletesebben

7. Verifikáci. ció. Ennek része a hagyományos értelemben vett szoftvertesztelés is. A szoftver verifikálásának,

7. Verifikáci. ció. Ennek része a hagyományos értelemben vett szoftvertesztelés is. A szoftver verifikálásának, 7. Verifikáci ció, validáci ció A verifikáció és a validáció (V&V) azon ellenőrző és elemző folyamatok összessége, amelyek célja annak vizsgálata, hogy a szoftver megfelel a specifikációnak. Ennek része

Részletesebben

Hatékony iteratív fejlesztési módszertan a gyakorlatban a RUP fejlesztési módszertanra építve

Hatékony iteratív fejlesztési módszertan a gyakorlatban a RUP fejlesztési módszertanra építve Hatékony iteratív fejlesztési módszertan a gyakorlatban a RUP fejlesztési módszertanra építve Kérdő Attila, ügyvezető, INSERO Kft. EOQ MNB, Informatikai Szakosztály, HTE, ISACA 2012. május 17. Módszertanok

Részletesebben

Modellek ellenőrzése és tesztelése

Modellek ellenőrzése és tesztelése Modellek ellenőrzése és tesztelése Rendszermodellezés imsc gyakorlat Budapesti Műszaki és Gazdaságtudományi Egyetem Hibatűrő Rendszerek Kutatócsoport Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika

Részletesebben

PROGRAMOZÁS tantárgy. Gregorics Tibor egyetemi docens ELTE Informatikai Kar

PROGRAMOZÁS tantárgy. Gregorics Tibor egyetemi docens ELTE Informatikai Kar PROGRAMOZÁS tantárgy Gregorics Tibor egyetemi docens ELTE Informatikai Kar Követelmények A,C,E szakirány B szakirány Előfeltétel Prog. alapismeret Prog. alapismeret Diszkrét matematika I. Óraszám 2 ea

Részletesebben

Tartalom. Konfiguráció menedzsment bevezetési tapasztalatok. Bevezetés. Tipikus konfigurációs adatbázis kialakítási projekt. Adatbázis szerkezet

Tartalom. Konfiguráció menedzsment bevezetési tapasztalatok. Bevezetés. Tipikus konfigurációs adatbázis kialakítási projekt. Adatbázis szerkezet Konfiguráció menedzsment bevezetési tapasztalatok Vinczellér Gábor AAM Technologies Kft. Tartalom 2 Bevezetés Tipikus konfigurációs adatbázis kialakítási projekt Adatbázis szerkezet Adatbázis feltöltés

Részletesebben

DW 9. előadás DW tervezése, DW-projekt

DW 9. előadás DW tervezése, DW-projekt DW 9. előadás DW tervezése, DW-projekt Követelmény felmérés DW séma tervezése Betöltési modul tervezése Fizikai DW tervezése OLAP felület tervezése Hardver kiépítése Implementáció Tesztelés, bevezetés

Részletesebben

Szoftvermérés:hogyan lehet a szoftvertermék vagy a szoftverfolyamat valamely jellemzőjéből numerikus értéket előállítani.

Szoftvermérés:hogyan lehet a szoftvertermék vagy a szoftverfolyamat valamely jellemzőjéből numerikus értéket előállítani. Szoftvermérés:hogyan lehet a szoftvertermék vagy a szoftverfolyamat valamely jellemzőjéből numerikus értéket előállítani. az értékeket összegyűjtik, tárolják egymással és az egész szervezetre alkalmazott

Részletesebben

Programozás alapjai (ANSI C)

Programozás alapjai (ANSI C) Programozás alapjai (ANSI C) 1. Előadás vázlat A számítógép és programozása Dr. Baksáné dr. Varga Erika adjunktus Miskolci Egyetem, Informatikai Intézet Általános Informatikai Intézeti Tanszék www.iit.uni-miskolc.hu

Részletesebben

Szoftver értékelés és karbantartás

Szoftver értékelés és karbantartás Szoftver értékelés és karbantartás Majzik István Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs Rendszerek Tanszék http://www.mit.bme.hu/~majzik/ Emlékeztető: Biztonsági követelmények

Részletesebben

Statikus technikák és Műszaki teszttervezési technikák

Statikus technikák és Műszaki teszttervezési technikák Statikus technikák és Műszaki teszttervezési technikák Bevezetés a tananyagba Tesztelési Technikák 3 Statikus technikák 4 Műszaki teszttervezési technikák (Dinamikus tesztelés) 1 Tesztelési technikák Tesztelési

Részletesebben

Java programozási nyelv

Java programozási nyelv Java programozási nyelv 2. rész Vezérlő szerkezetek Nyugat-Magyarországi Egyetem Faipari Mérnöki Kar Informatikai Intézet Soós Sándor 2005. szeptember A Java programozási nyelv Soós Sándor 1/23 Tartalomjegyzék

Részletesebben

V. Félév Információs rendszerek tervezése Komplex információs rendszerek tervezése dr. Illyés László - adjunktus

V. Félév Információs rendszerek tervezése Komplex információs rendszerek tervezése dr. Illyés László - adjunktus V. Félév Információs rendszerek tervezése Komplex információs rendszerek tervezése dr. Illyés László - adjunktus 1 Az előadás tartalma A GI helye az informatikában Az előadás tartalmának magyarázata A

Részletesebben

A programkód átvizsgálásának hatékonyságát két ok magyarázza:

A programkód átvizsgálásának hatékonyságát két ok magyarázza: A V & V tervezési folyamatoknak egyensúlyt kell kialakítani a verifikáció és a validáció statikus és dinamikus technikái között. 1 2 A szisztematikus programtesztelés idıigényes és drága folyamat. Minden

Részletesebben

Bánsághi Anna anna.bansaghi@mamikon.net. Bánsághi Anna 1 of 54

Bánsághi Anna anna.bansaghi@mamikon.net. Bánsághi Anna 1 of 54 SZOFTVERTECHNOLÓGIA Bánsághi Anna anna.bansaghi@mamikon.net 2. ELŐADÁS - KÖVETELMÉNY MENEDZSMENT Bánsághi Anna 1 of 54 TEMATIKA I. SZOFTVERTECHNOLÓGIA ALTERÜLETEI II. KÖVETELMÉNY MENEDZSMENT III. RENDSZERMODELLEK

Részletesebben

Szoftvertesztelés Alapok

Szoftvertesztelés Alapok MISKOLCI EGYETEM GÉPÉSZMÉRNÖKI ÉS INFORMATIKAI KAR Szoftvertesztelés Alapok GEIAL31H-B Tompa Tamás egyetemi tanársegéd Általános Informatikai Intézeti Tanszék Miskolc, 2019 Szoftvertesztelés - Bevezetés

Részletesebben

Alkalmazások fejlesztése A D O K U M E N T Á C I Ó F E L É P Í T É S E

Alkalmazások fejlesztése A D O K U M E N T Á C I Ó F E L É P Í T É S E Alkalmazások fejlesztése A D O K U M E N T Á C I Ó F E L É P Í T É S E Követelmény A beadandó dokumentációját a Keszthelyi Zsolt honlapján található pdf alapján kell elkészíteni http://people.inf.elte.hu/keszthelyi/alkalmazasok_fejlesztese

Részletesebben

WebService tesztelés. SOAPui Pro, GreenPepper és Confluence használatával. Verhás & Verhás Szoftver Manufaktúra KNOW-HOW

WebService tesztelés. SOAPui Pro, GreenPepper és Confluence használatával. Verhás & Verhás Szoftver Manufaktúra KNOW-HOW WebService tesztelés SOAPui Pro, GreenPepper és Confluence használatával Verhás & Verhás Szoftver Manufaktúra KNOW-HOW 2008. 5. 15. Verhás & Verhás Szoftver Manufaktúra 1 Tartalom WebService tesztelés

Részletesebben

Szoftverprototípus készítése. Szoftverprototípus készítése. Szoftverprototípus készítése 2011.10.23.

Szoftverprototípus készítése. Szoftverprototípus készítése. Szoftverprototípus készítése 2011.10.23. Szoftverprototípus készítése Dr. Mileff Péter A prototípus fogalma: a szoftverrendszer kezdeti verziója Mi a célja? Arra használják, hogy bemutassák a koncepciókat, kipróbálják a tervezési opciókat, jobban

Részletesebben

Feladat. Bemenő adatok. Bemenő adatfájlok elvárt formája. Berezvai Dániel 1. beadandó/4. feladat 2012. április 13. Például (bemenet/pelda.

Feladat. Bemenő adatok. Bemenő adatfájlok elvárt formája. Berezvai Dániel 1. beadandó/4. feladat 2012. április 13. Például (bemenet/pelda. Berezvai Dániel 1. beadandó/4. feladat 2012. április 13. BEDTACI.ELTE Programozás 3ice@3ice.hu 11. csoport Feladat Madarak életének kutatásával foglalkozó szakemberek különböző településen különböző madárfaj

Részletesebben

Tesztelési szintek Tesztautomatizálás

Tesztelési szintek Tesztautomatizálás Integrációs és ellenőrzési technikák (VIMIA04) Tesztelési szintek Tesztautomatizálás Majzik István, Micskei Zoltán Méréstechnika és Információs Rendszerek Tanszék Budapesti Műszaki és Gazdaságtudományi

Részletesebben

Szoftver újrafelhasználás

Szoftver újrafelhasználás Szoftver újrafelhasználás Szoftver újrafelhasználás Szoftver fejlesztésekor korábbi fejlesztésekkor létrehozott kód felhasználása architektúra felhasználása tudás felhasználása Nem azonos a portolással

Részletesebben

Projectvezetők képességei

Projectvezetők képességei Projectvezetők képességei MOI modell Motivation ösztönzés Organisation szervezés Ideas or Innovation ötletek vagy újítás Más felosztás Probléma megoldás Vezetői öntudat Teljesítmény Befolyás, team képzés

Részletesebben

Objektumorientált paradigma és programfejlesztés Bevezető

Objektumorientált paradigma és programfejlesztés Bevezető Objektumorientált paradigma és programfejlesztés Bevezető Vámossy Zoltán vamossy.zoltan@nik.uni-obuda.hu Óbudai Egyetem Neumann János Informatikai Kar Ficsor Lajos (Miskolci Egyetem) prezentációja alapján

Részletesebben

Komplex terheléses tesztmegoldások a Mobil PS és CS gerinchálózaton

Komplex terheléses tesztmegoldások a Mobil PS és CS gerinchálózaton Komplex terheléses tesztmegoldások a Mobil PS és CS gerinchálózaton Olaszi Péter, Sey Gábor, Varga Pál AITIA International Zrt. HTE Infokom konferencia és kiállítás, 2012. október 10 12. Változások a gerinchálózatban

Részletesebben

Bánsághi Anna 2014 Bánsághi Anna 1 of 68

Bánsághi Anna 2014 Bánsághi Anna 1 of 68 IMPERATÍV PROGRAMOZÁS Bánsághi Anna anna.bansaghi@mamikon.net 3. ELŐADÁS - PROGRAMOZÁSI TÉTELEK 2014 Bánsághi Anna 1 of 68 TEMATIKA I. ALAPFOGALMAK, TUDOMÁNYTÖRTÉNET II. IMPERATÍV PROGRAMOZÁS Imperatív

Részletesebben

A szoftver-folyamat. Szoftver életciklus modellek. Szoftver-technológia I. Irodalom

A szoftver-folyamat. Szoftver életciklus modellek. Szoftver-technológia I. Irodalom A szoftver-folyamat Szoftver életciklus modellek Irodalom Ian Sommerville: Software Engineering, 7th e. chapter 4. Roger S. Pressman: Software Engineering, 5th e. chapter 2. 2 A szoftver-technológia aspektusai

Részletesebben

Nagy bonyolultságú rendszerek fejlesztőeszközei

Nagy bonyolultságú rendszerek fejlesztőeszközei Nagy bonyolultságú rendszerek fejlesztőeszközei Balogh András balogh@optxware.com A cég A BME spin-off-ja A Hibatűrő Rendszerek Kutatócsoport tagjai alapították Tisztán magánkézben Szakmai háttér Hibatűrő

Részletesebben

Kölcsönhatás diagramok

Kölcsönhatás diagramok Kölcsönhatás diagramok Célkitűzés Olvasni tudják az alap UML kölcsönhatás diagramok (kommunikáció és szekvencia) diagramok jelöléseit. 2 Bevezetés Miért léteznek az objektumok? Azért, hogy a rendszer valamilyen

Részletesebben

Minőségmenedzsment és Informatika Test-Driven Development

Minőségmenedzsment és Informatika Test-Driven Development Minőségmenedzsment és Informatika Test-Driven Development Varga Balázs G5S8 2008.10.27 Szoftverfejlesztés jellemzői Megrendelői igények Tervezés Implementálás Tesztelés Dokumentálás

Részletesebben

Budapes( Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs Rendszerek Tanszék. Tesztelés és profiling

Budapes( Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs Rendszerek Tanszék. Tesztelés és profiling Budapes( Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs Rendszerek Tanszék Tesztelés és profiling A tesztelés lehetséges céljai A tesztelés lehetséges céljai o Bizonyosságot szerezni

Részletesebben

II. rész: a rendszer felülvizsgálati stratégia kidolgozását támogató funkciói. Tóth László, Lenkeyné Biró Gyöngyvér, Kuczogi László

II. rész: a rendszer felülvizsgálati stratégia kidolgozását támogató funkciói. Tóth László, Lenkeyné Biró Gyöngyvér, Kuczogi László A kockázat alapú felülvizsgálati és karbantartási stratégia alkalmazása a MOL Rt.-nél megvalósuló Statikus Készülékek Állapot-felügyeleti Rendszerének kialakításában II. rész: a rendszer felülvizsgálati

Részletesebben

Hogyan lesz adatbányából aranybánya?

Hogyan lesz adatbányából aranybánya? Hogyan lesz adatbányából aranybánya? Szolgáltatások kapacitástervezése a Budapest Banknál Németh Balázs Budapest Bank Fehér Péter - Corvinno Visontai Balázs - KFKI Tartalom 1. Szolgáltatás életciklus 2.

Részletesebben