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

Hasonló dokumentumok
Statikus technikák és Műszaki teszttervezési technikák

Szoftverminőségbiztosítás

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

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

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

ESZKÖZTÁMOGATÁS A TESZTELÉSBEN

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

MŰSZAKI TESZTTERVEZÉSI TECHNIKÁK TESZTELÉSI TECHNIKÁK KIVÁLASZTÁSA

Szoftverminőségbiztosítás

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

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

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

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

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

TESZTMENEDZSMENT A TESZT ELŐREHALADÁSÁNAK FELÜGYELETE ÉS IRÁNYÍTÁSA KONFIGURÁCIÓ MENEDZSMENT KOCKÁZAT ÉS TESZTELÉS INCIDENSMENEDZSMENT

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)

Szoftverminőségbiztosítás

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

Szoftverminőségbiztosítás

Mesterséges intelligencia alapú regressziós tesztelés

MŰSZAKI TESZTTERVEZÉSI TECHNIKÁK SPECIFIKÁCIÓ ALAPÚ, VAGY FEKETEDOBOZ TECHNIKÁK

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

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

Szoftverminőségbiztosítás

FELKÉSZÜLÉS HIVATALOS VIZSGÁRA

NGB_IN040_1 SZIMULÁCIÓS TECHNIKÁK dr. Pozna Claudio Radu, Horváth Ernő

Kompetens Softver Tesztelés a Gyakorlatban (CoSTiP) - pilot. 5. Tesztmenedzsment

Szoftverminőségbiztosítás

Laborinformációs menedzsment rendszerek. validálása. Molnár Piroska Rikker Tamás (Dr. Vékes Erika NAH)

Szoftvertesztelés Alapok

Algoritmizálás és adatmodellezés tanítása beadandó feladat: Algtan1 tanári beadandó /99 1

Autóipari beágyazott rendszerek. Kockázatelemzés

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

Programozási alapismeretek beadandó feladat: ProgAlap beadandó feladatok téma 99. feladat 1

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

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

Modell alapú tesztelés mobil környezetben

Szoftvertesztelés - Bevezető

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

Modell alapú tesztelés: célok és lehetőségek

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

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

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

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

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

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

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

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

Modellezési Kockázat. Kereskedelmi Banki Kockázatmodellezés. Molnár Márton Modellezési Vezető (Kockázatkezelés)

TESZTELÉS A SZOFTVER ÉLETCIKLUSÁN ÁT SZOFTVERFEJLESZTÉSI MODELLEK

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

MIÉRT KELL TESZTELNI?

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

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

Méréselmélet MI BSc 1

Aktualitások a minőségirányításban

ESZKÖZTÁMOGATÁS A TESZTELÉSBEN

Algoritmizálás és adatmodellezés tanítása beadandó feladat: Algtan1 tanári beadandó /99 1

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ó

Objektumorientált tesztelés

Programrendszerek tanúsítása szoftverminőség mérése

Szerző Lővei Péter LOPSAAI.ELTE IP-08PAEG/25 Daiki Tennó

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

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

Rendszermodellezés. Modellellenőrzés. Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs Rendszerek Tanszék

kodolosuli.hu: Interaktív, programozást tanító portál BALLA TAMÁS, DR. KIRÁLY SÁNDOR NETWORKSHOP 2017, SZEGED

Informatikai projektellenőr szerepe/feladatai Informatika / Az informatika térhódítása Függőség az információtól / informatikától Információs

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

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

Használati alapú és modell alapú tesztelés kombinálása szolgáltatásorientált architektúrák teszteléséhez az ipari gyakorlatban

A szoftver tesztelés alapjai

ISO 9001 kockázat értékelés és integrált irányítási rendszerek

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

Gyakorlat és házi feladat tájékoztató

Modellek ellenőrzése

Autóipari beágyazott rendszerek Dr. Balogh, András

Hadházi Dániel.

Miskolci Egyetem Általános Informatikai Tanszék

A tesztelés feladata. Verifikáció

A BIZTONSÁGINTEGRITÁS ÉS A BIZTONSÁGORIENTÁLT ALKALMAZÁSI FELTÉTELEK TELJESÍTÉSE A VASÚTI BIZTOSÍTÓBERENDEZÉSEK TERVEZÉSE ÉS LÉTREHOZÁSA SORÁN

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

IRÁNYÍTÓ RENDSZER IRÁNYÍTANDÓ FOLYAMAT. Biztonsági funkciók Biztonsági integritás. Normál működés. Hibák elleni védettség Saját (belső) biztonság

Software Engineering Babeş-Bolyai Tudományegyetem Kolozsvár

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

Új dokumentálandó folyamatok, azok minimális tartalmi elvárásai

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

Test plan Okoshaz projekt

Agilis projektmenedzsment

Első Magyarországi Szoftvertesztelő Verseny Döntő feladatsor

MÉRÉS KÖVETELMÉNY KIMENET RENDSZER

STATIKUS TECHNIKÁK A STATIKUS TECHNIKÁK ÉS A TESZTFOLYAMAT A FELÜLVIZSGÁLAT FOLYAMATA STATIKUS ELEMZÉS ESZKÖZÖKKEL

A minőség és a kockázat alapú gondolkodás kapcsolata

Okosház Test Plan. Tartalomjegyzék

Mérés és modellezés Méréstechnika VM, GM, MM 1

A projektvezetési eszköz implementációja hazai építő-, szerelőipari vállalkozásoknál

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

Szoftverminőségbiztosítás

8.3. AZ ASIC TESZTELÉSE

Üzletmenet folytonosság menedzsment [BCM]

SZOFTVER-MINŐSÉGBIZTOSÍTÁS SZOFTVER-TESZTELÉSI MÓDSZEREK. Széchenyi István Egyetem. Alapfogalmak

Átírás:

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 ÉLELMISZERIPAR, GÉPÉSZET, INFORMATIKA, TURISZTIKA ÉS VENDÉGLÁTÁS TERÜLETEN

Tesztelés bemutatása

4.1 A teszt fejlesztési folyamata Nagyon informális módtól a nagyon formálisig terjedhet Formalitás jellegét befolyásolja (a tesztelés és a fejlesztési folyamat érettsége, az időbeli megkötések és a résztvevő személyek, költségek) Tesztelemzés: Tesztbázis dokumentáció (Test basis) elemzése Nyomonkövethetőség (tesztelési helyzetektől vissza a specifikációkig és követelményekig) A teszt műszaki tervezése során a tesztesetek és tesztadatok megalkotása és meghatározása történik.

4.1 A teszt fejlesztési folyamata Teszteset részei: - Bemeneti értékek halmaza - végrehajtási előfeltételek - elvárt eredmények és végrehajtás utáni feltételek IEEE (Institute of Electrical and Electronics Engeeners) 829 dokumantáció szabvány Teszteset specifikációjának - az elvárt eredményeket lehetőleg a teszt végrehajtása előtt meg kell határozni A teszt megvalósítása alatt a tesztesetek kifejlesztése, megvalósítása, priorizálása és teszteljárás specifikációba (Test Procedure Specification) rendezése történik (IEEE STD 829-1998)

4.1 A teszt fejlesztési folyamata

4.1 A teszt fejlesztési folyamata

4.1 A teszt fejlesztési folyamata

4.2 Műszaki teszttervezési technikák kategóriái Tesztelés előtt tudnunk kell, mit akarunk tesztelni Ismernünk kell a bemeneteket, a bemenetek alapján várható eredményeket 3 dolgot vizsgálunk: tesztelési feltételeket, teszteseteket, tesztelési eljárásokat külön dokumentumban (IEEE 829) Tesztelési feltételek a műszaki tesztterv specifikáció dokumentumban találhatóak A tesztesteket a teszteset-specifikáció tartalmazza Tesztelési eljárásokat a teszteljárás-specifikációban találhatjuk

4.2 Műszaki teszttervezési technikák kategóriái Tesztdokumentáció formalitása Tesztdokumentáció formalitása: Nagyon formális teszteléshez, ellenőrzött dokumentáció tartozik (konkrét inputokat és a tesztelés várható eredményeit tartalmazza) Nagyon informális teszteléshez nem tartozik dokumentáció (egyes tesztelőknek vannak jegyzeteik) elvárható, hogy a tesztelők fejben tudják, mit szeretnének tesztelni Formalitás mértéke a felhasználás körülményeitől függ (biztonságkritikus szoftverek) Formalitás mértékét az adott szervezet is befolyásolja (fejlesztési folyamat érettsége, fejlesztési folyamat érettsége)

4.2 Műszaki teszttervezési technikák kategóriái - Tesztelemzés Olyasmit keresünk, amiből információt nyerhetünk a tesztelésről (Tesztbázis) Tesztbázis vizsgálata segít megállapítani a tesztelési feltételeket Hetzel szerint jó megértést biztosít, ha a tesztesetek illeszkednek a követelményekhez Különböző elnevezések léteznek arra, amit tesztelni kell: Merick tesztelési feltétel; Hutcheson tesztelési célok; Craig tesztelési célok ISTQB tesztelési feltétel

4.2 Műszaki teszttervezési technikák kategóriái - Tesztelemzés Tesztelési lehetőség: lehető legtöbb tesztelési feltétel beazonosítása, majd kiválogatjuk, hogy melyekkel dolgozzunk részletesen Mivel a kimerítő tesztelés lehetetlen ezért ki kell választanunk a tesztjeinket Úgy válasszunk, hogy lehető legtöbb programhibát felfedezzük Szelektálást segítik a műszaki teszttervezési technikák Alapozhatjuk a szelektálást az alábbiakra: kockázat, rendszer modellje, valószínű meghibásodások, szakértői tanácsok, heurisztika

4.2 Műszaki teszttervezési technikák kategóriái - Tesztelemzés Nyomonkövethetőség: tesztelési feltételek visszavezethetőek a tesztbázis forrásaihoz Horizontális és vertikális Miért fontos: Funkcióhoz tartozó követelmény megváltozik, mely tesztekkel vizsgáljuk ezt? Problémák egy adott funkcióhoz kapcsolódóan. Mely funkciókat vizsgálják a tesztesetek? Minden követelményt leteszteltünk, ami a követelményspecifikációban van?

4.2 Műszaki teszttervezési technikák kategóriái - Tesztelemzés Ezután prioritási sorrend kialakítása, azaz azonosítjuk a legfontosabbakat Bizonyos tesztfeltételek kidobása Ne feledjük, hogy ez többletidő Tesztadatok, tesztbemenetek és tesztelési eredmények meghatározása fontos, hogy a legfontosabb adattípusokat reprezentálják Műszaki tesztterv specifikációban a tesztelési feltételek (IEEE 829)

4.2 Műszaki teszttervezési technikák kategóriái - Tesztelemzés IEEE 829 SZABVÁNY MŰSZAKI TESZTTERV SPECIFIKÁCIÓ SABLONJA Műszaki teszterv specifikáció azonosítója Tesztelendő jellemzők A megközelítés finomítása Tesztmeghatározás Jellemző (feature) sikerességi/bukási feltételei

4.2 Műszaki teszttervezési technikák kategóriái Tesztesetek meghatározása Pontos bemenetekre van szükség, egy teszteset gyakran több tesztelési feltételt lefed Ugyanakkor tudtunk kell, hogy a rendszernek mit kell csinálnia a bemenetekkel Sikeres vagy megbukott a teszteset Teszteset dokumentáció Tapasztalt tesztelő vagy tapasztalatlan a rendszerrel kapcsolatban IEEE 829 szabvány tesztestekre Teszteset: Copelend szerint összehasonlítás mi van Mi kellene, hogy legyen Boris Biezer kontár tesztelés

4.2 Műszaki teszttervezési technikák kategóriái Tesztesetek meghatározása Teszt Orákulum Információ a rendszer működéséről, ahhoz, hogy tudjuk, mit kellene tennie a rendszernek Követelményspecifikációk Tehát, amint bemeneti értéket választunk, meg kell határoznunk kimeneti értéket, ezt dokumentálnunk kell Kimeneti értékre példa: Információ a képernyőn, állapotváltozás, egyéb következmény E nélkül nem vesszük észre a számítási hibákat, megfelelőnek tűnő eredményeket Várt eredmények megfogalmazása a teszt lefuttatása előtt Néha csak ésszerűségi vizsgálat - ha részleges orákulummal rendelkezünk

4.2 Műszaki teszttervezési technikák kategóriái Tesztesetek meghatározása IEEE 829 SZABVÁNY TESZTESET-SPECIFIKÁCIÓ SABLONJA Teszteset-specifikáció azonosítója Kimenet-specifikáció Környezeti elvárások Speciális eljárásokkal kapcsolatos követelmények Esetek közötti függőségek

4.2 Műszaki teszttervezési technikák kategóriái Tesztesetek meghatározása Fontos tudunk a teszteset célját illetve a vizsgálandó tesztelési feltételeket Priorizálás után, a tesztelést a magas prioritással kezdjük Kapcsolódhat tesztelési feltételek priorizálásához Ugyanakkor prioritást befolyásolhatja például speciális bemeneti érték Fontos a pontosság

4.2 Műszaki teszttervezési technikák kategóriái A tesztelési eljárás Tesztesetek csoportosítása Teszt futtatásához szükséges lépések sorrendje A végrehajtandó lépéseket tesztelési eljárásnak vagy tesztszkriptnek, manuális scriptek nevezzük Teszteljárás átalakítása tesztvégrehajtási ütemtervvé Melyik lépést, mikor-kinek kell végrehajtania IEEE 829 SZABVÁNY TESZTELJÁRÁS-SPECIFIKÁCIÓ SABLONJA Teszteljárás-specifikáció azonosítója Cél Speciális követelmények Az eljárás lépései

4.2 Műszaki teszttervezési technikák kategóriái Hagyományos megkülönböztetése a feketedoboz és a fehérdoboz megnevezés Feketedoboz tesztelés: tesztbázis dokumentáció (Segítségével tesztelési feltételek, tesztesetek vagy tesztadatok nyerhetők.) Funkcionális vagy nemfunkctionális teszt A feketedoboz technika nem használ semmilyen, a tesztelendő komponens vagy rendszer belső felépítésére vonatkozó információt.

4.2 Műszaki teszttervezési technikák kategóriái A fehérdoboz technikák (nevezik őket még strukturális vagy struktúra alapú technikáknak) a komponens vagy rendszer struktúrájának elemzésén alapulnak. Alapulhatnak a tesztelők, illetve a felhasználók tapasztalatain

4.2 Műszaki teszttervezési technikák kategóriái A specifikáció alapú technikák közös jellemzői: Formális vagy informális modellek (minta) alkalmazása. Ezekből a modellekből módszeresen tesztesetek nyerhetők A struktúra alapú technikák közös jellemzői: A szoftver felépítésével kapcsolatos információk használatával történik a tesztesetek származtatása (kód és részletes műszaki tesztterv alapján) A szoftver lefedettségének mértékét a meglévő teszteseteken lehet mérni

4.2 Műszaki teszttervezési technikák kategóriái A tapasztalat alapú technikák közös jellemzői: Az emberek tudása és tapasztalata szolgál a tesztesetek létrehozásának alapjául A tesztelők, fejlesztők, felhasználók és más projektrésztvevők ismerete a szoftverről, annak használatáról és környezetéről is információként szolgál A valószínűsíthető hibákkal és azok eloszlásával kapcsolatos ismeretetek szintén információként szolgálnak

KÖSZÖNÖM A FIGYELMET! 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