Szoftverminőségbiztosítás



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

Szoftverminőségbiztosítás

Szoftverminőségbiztosítás

Szoftverminőségbiztosítás

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

Szoftverminőségbiztosítás

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

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

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

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

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

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

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

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

Szoftverminőségbiztosítás

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

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

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

Szoftverminőségbiztosítás

A szoftver tesztelés célja

Szoftver tesztelés a gyakorlatban 2

MIÉRT KELL TESZTELNI?

A tesztelés szükségessége

Miskolci Egyetem Általános Informatikai Tanszék

A tesztelés feladata. Verifikáció

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)

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

Szoftverminőségbiztosítás

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

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

OO rendszerek jellemzői

Szoftverminőségbiztosítás

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

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

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

Szoftverminőségbiztosítás

Okosház Test Plan. Tartalomjegyzék

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

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

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

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

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

23. Szoftver-tesztelés

Intelligens eszközök fejlesztése az ipari automatizálásban Evosoft Hungary kft., Evosoft Hungary Kft.

ESZKÖZTÁMOGATÁS A TESZTELÉSBEN

Szoftvertesztelés Alapok

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

Szoftver újrafelhasználás

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

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

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

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

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

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

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

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

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

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

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

Test Management Strategy Document. Deák Kristóf Lauly Viktória Kunigunda Csiki Norbert Szabó Zoltán

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

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

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

Szoftvertesztelés - Bevezető

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

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

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

Előadók: Angyal Gergely (Raiffeisen), tesztelési csoportvezető Kováts Márton (KFKI), szenior rendszermérnök

V & V Feladatok. V & V Feladatok

SZOFTVER TESZT AUTOMATIZÁLÁS Eszter Vezdén Budapest, 08 November 2018

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

Üzletmenet folytonosság menedzsment [BCM]

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

Szoftver-technológia II. Szoftver újrafelhasználás. (Software reuse) Irodalom

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

Projectvezetők képességei

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

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

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

Modellek ellenőrzése

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

Kód átvizsgálás. Irodalom. (Code review) code review,smart Bear Inc., ! Jason Cohen: Best kept secrets of peer

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

Szoftverfejlesztés teszteléssel

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

Folyamatmodellezés és eszközei. Budapesti Műszaki és Gazdaságtudományi Egyetem Méréstechnika és Információs Rendszerek Tanszék

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

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

IRÁNYTŰ A SZABÁLYTENGERBEN

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

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

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

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

Szoftver karbantartás

Szoftver modul/unit tesztelés

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

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

Infokommunikációs protokollok

A szoftver tesztelés alapjai

Átírá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 költségeinek 32%-a az időkeret 27%-a

A tesztelés mint folyamat Formális folyamat: specializált teszt-team a vizsgálat a szoftver futtatásával történik: jóváhagyott eljárásokkal jóváhagyott tesztesetek végrehajtásával

Önálló teszt-team speciális képzés hatékony és elfogultságtól mentes tesztelés fejlesztők mint tesztelők nem hatékonyak (nem képesek azokat a hibák megtalálni, melyeket korábban nem azonosítottak a fejlesztéskor) de a fejlesztők effektívek lehetnek egységtesztelésnél

Tesztelési formalitás A tesztelés formalitásának mértéke függ: a szoftver felhasználásától a fejlesztő szervezet kultúrájától (fejl. folyamat érettsége) az időkorlátoktól (dokumentáció alapossága)

Tesztelési tevékenység

Tesztelési feltételek Mit kell tesztelni? Információ források: rendszerkövetelmények technikai specifikáció kód vállalati folyamatok => tesztbázis kialakítása (=tesztelési feltételek, tesztkészlet, tesztelési leltár) a tesztek hatásos és hatékony részhalmaza szelektálási koncepció/stratégia => műszaki tesztervezés

Tesztelési feltételek (folyt.) Stratégia kialakítása kockázat, hibamodellek, megfelelőségi követelmények, szakértői tanácsok, heurisztikák Nyomonkövethetőségi (traceability) cél tesztelési feltétel visszavezethetősége forrásaikra követelmények változása teszteléskor felmerülő problémák elemzése tesztelés kiterjedésének vizsgálata Prioritások meghatározása és rögzítése

Műszaki tesztterv specifikáció tartalma (IEEE 829) Műszaki tesztterv specifikáció azonosítója Tesztelendő jellemzők A tesztelési megközelítés kifejtése Tesztmeghatározás Jellemzők (features) sikerességi/bukási feltételei

Teszteset specifikáció (IEEE 829) Teszteset specifikáció azonosítója Tesztelem Bemenet specifikáció Kimenet specifikáció Környezeti elvárások Speciális eljárások Esetek közötti függőségek

Tesztelési eljárás specifikáció Tesztesetek ésszerű csoportosítása (végrehajtáshoz) funkcionalitás, feature, regressziós készlet Végrehajtási sorrend (előfeltételek) =>tesztelési eljárás/tesztszript (manuálisan végrehajtott tesztekhez is) Ütemterv (mikor, ki hajtja végre) [időszükséglet]

Tesztelési eljárás specifikáció (folyt.) (IEEE 829) Teszteljárás specifikáció azonosítója Cél Speciális követelmények Az eljárás lépései

Műszaki teszttervezési technikák Statikus Dinamikus feltétel (bool) Informális felülvizsgálat Átvizsgálás Technikai felülvizsgálat Inspekció Statikus elemzés adatfolyam vezérlésfolyam Specifikáció alapú ekvivalencia osztályok határérték elemzés döntési táblák állapotátmenet Struktúra alapú utasítás döntés (ág) út Tapasztalat alapú hibasejtés felderítőteszt

A technikák alkalmazása Specifikáció alapú technikák minden tesztelési szinten, ahol van specifikáció Struktúra alapú tesztelés alapvetően kód tesztelése, de integrálás során (spec. alapú tesztekhez is) Tapasztalat alapú technikák kiegészítésként alkalmazhatók (de inkább alacsony kockázatú rendszerek esetén)

Szoftvertesztelési stratégiák Szoftver tesztelése teljes egészében Szoftver tesztelése kisebb részenként modulok csoportjai integrációs tesztek inkrementális tesztelés (modulok lépésenkénti hozzáadása teszteléskor)

Inkrementális tesztelés Tételezzük fel, hogy a szoftver egészét hierarchikus modulok építik fel Lépésenkénti integrálási stratégiák (modulok hívási gráfja alapján) fentről lefelé (top-down) lentről felfelé (bottom-up) Kevésbbé tiszta hierarchia esetén szendvics integrálás páronkénti integrálás szomszédsági integrálás

Függőségi mátrix Dependency Structure Matrix (Design Structure Matrix) Szoftver modulok, komponensek egymástól való függésének (hivatkozás, hívás) leírására Rétegzettség vizsgálatára Integrálási stratégia meghatározásához

Függőségi mátrix (pl.) Eclipse platform (Version: 3.1.0, Build id: I20050627-1435)

Lentről felfelé integrálás

Fentről lefelé integrálás

Szendvics integrálás

Páros integrálás

Szomszédsági integrálás

Meghajtó és csonkok Nem használható modulok helyettesítésére Csonk (stub) alacsonyabb szintű modulok helyettesítésére hiba injektálási lehetőség hardver szimuláció Meghajtó (driver) magasabb szintű, hívó modul helyettesítése (futtatás) input bevitele kimenet begyűjtése

Meghajtó és csonkok (folyt.) M9 Driver M8 MUT M8 MUT M1 csonk M2 csonk M1 M2

A teszt (végrehajtó) környezet Szoftver Tesztelhető sw Specifikáció Tesztrendszer Futtató környezet Tesztbázis Tesztszkript Eredmény

A teszt (végrehajtó) környezet Tesztesetek Teszt konf. mngt Automatizálás Meghajtó Műszerezés Eredmények Teszt metrikák SUT Csonkok