Szoftverfejlesztés teszteléssel

Átírás

14 A szoftverhibák költségei I. Egy kiadott szoftverben a vevő felhasználója hibát talál Az ügyfél nem tudja elvégezni a munkáját a hiba kijavításáig Az ügyfélszolgálatunk a hiba kijavításáig leterhelt lesz Vállalatunk és szoftverünk hírneve csorbát szenved a legjobb reklám a jó minőségű termék és szolgáltatás A háttércsapat lehet, hogy napokig dolgozik a hiba reprodukálásán A programozók kijavítják a hibát A javítást és a teljes szoftvert teszteljük és kiadjuk Az ügyfélszolgálat telepíti a javított verziót (c) 2017 CTL Software Kft 14

16 Szoftverfejlesztési módszertanok Követelmények Analízis Tervezés Implementálandó Inkrementálisan elkészülő működő szoftververziók Tesztelés Kódolás (Waterfall, Spiral, Agilis) (c) 2017 CTL Software Kft 16

17 A szoftvertesztelés V modellje Megrendelő Üzleti igény Validálás Felhasználói elfogadási tesztek Követelményspecifikáció Verifikáció Funkcionális tesztek Integrációs és rendszer tesztek Tervezési specifikáció Kód review, függőség ell. Forráskód egységek Egységtesztek, statikus analízis Szállító (c) 2017 CTL Software Kft 17

22 Egyéb módszertani szempontok Bízzuk a számítógépre amiben jobb, mint az ember Szintaxis ellenőrzése Kódolási stílus segítése, ellenőrzése (statikus analízis) Egyszerűség mérése (Ciklomatikus komplexitás) Futásidejű helyesség-ellenőrzés elsősorban egységtesztek által funkcionális tesztek által amennyiben érdemes Rendszerszintű ellenőrzés: Continuous Integration (CI) Automata tesztelés (c) 2017 CTL Software Kft 22

23 A szoftvertesztelés V modellje Üzleti igény Validálás Felhasználói elfogadási tesztek Követelményspecifikáció Verifikáció Funkcionális tesztek Tervezési specifikáció Kód review, függőség ell. Forráskód egységek Egységtesztek, statikus analízis (c) 2017 CTL Software Kft 23

29 Test Driven Development (TDD) Írj egy teszt esetet Futtasd az összes tesztet és ellenőrizd az új teszt sikertelenségét Elégítsd ki a teszt esetet egy minimális implementációval Ellenőrizd, hogy minden teszt eset helyesen lefut Ha szükséges, végezz refaktorálást Ismételd! (c) 2017 CTL Software Kft 29

52 Hozzuk létre a funkciók direkt szorzatát! ArrayOperation Addition Subtraction Array Addition! Array Subtratcion! Multiplication Array Multiplication! Division Array Division! (c) 2017 CTL Software Kft 52

53 Hogyan tovább? ArrayOperation ICalculatable +float Calculate(float a, float b) Addition +float Calculate(float a, float b) Subtraction +float Calculate(float a, float b) (c) 2017 CTL Software Kft 53

55 Létrehoztuk a funkciók direkt szorzatát! ArrayOperation Addition Subtraction Array Addition Array Subtratcion Multiplication Division Array Multiplication Array Division (c) 2017 CTL Software Kft 55

57 A TDD esettanulmány eredményei Az implementációt kis egységekre bontottuk, ezáltal Csökkentettük a kód méretét Csökkentettük a szükséges teszt esetek számát El tudtunk érni teljes teszt-lefedettséget! Követtük az objektumorientált programozás SOLID alapelveit Explicit módon felmerült a kérdés és megválaszoltuk, hogy milyen számítási pontosságra van szükségünk. Magabiztosak vagyunk, hogy az implementáció helyes A kódunk karbantartható A TDD kikényszeríti a jó programozási alapelvek használatát! (c) 2017 CTL Software Kft 57

61 SOLID principles Single responsibility principle a class should have only a single responsibility (i.e. changes to only one part of the software's specification should be able to affect the specification of the class) Köv. 15. Köv. 26. Class 1 Köv. 15. Köv. 26. Class 1 Class 2 (c) 2017 CTL Software Kft 61

62 SOLID principles Open/closed principle software entities should be open for extension, but closed for modification. ArrayOperation ICalculatable Addition +float Calculate(float a, float b) Subtraction +float Calculate(float a, float b) (c) 2017 CTL Software Kft 62

63 SOLID principles Liskov substitution principle objects in a program should be replaceable with instances of their subtypes without altering the correctness of that program. ArrayOperation ICalculatable Addition +float Calculate(float a, float b) Subtraction +float Calculate(float a, float b) (c) 2017 CTL Software Kft 63

64 SOLID principles Interface segregation principle many client-specific interfaces are better than one generalpurpose interface ArrayOperation ICalculatable +float Calculate(float a, float b) (c) 2017 CTL Software Kft 64

65 SOLID principles Dependency inversion principle one should depend upon abstractions, [not] concretions ArrayOperation ICalculatable Addition +float Calculate(float a, float b) Subtraction +float Calculate(float a, float b) (c) 2017 CTL Software Kft 65

66 A szoftvertesztelés V modellje Üzleti igény Validálás Felhasználói elfogadási tesztek Követelményspecifikáció Verifikáció Funkcionális tesztek Integrációs és rendszer tesztek Tervezési specifikáció Kód review, függőség ell. Forráskód egységek Egységtesztek, statikus analízis (c) 2017 CTL Software Kft 66

75 Hibák súlyosság szerint Hiba leírása Nyomtatásban a. lemarad a dátum végéről A szoftver nem települ fel az ügyfél számítógépére A szoftver legújabb verziója más eredménnyel értékel egy mintát, mint az előző verzió Súlyossági fok Alacsony Magas Kritikus (c) 2017 CTL Software Kft 75

78 Funkcionális tesztek Hogyan teszteljünk? Kézi tesztelés Teszt tervek alapján Felfedező (exploratory) Automata tesztelés Szükséges idő? Változó követelmények? Kell-e rendszeresen futtatni? Programozási feladat! (c) 2017 CTL Software Kft 78

87 Működés a gyakorlatban Szükséges kellékek: Szoftverfejlesztési módszertan Projektmenedzsment Követelmények felmérése, dokumentálása, nyilvántartása, követése Kockázat értékelés és menedzsment Teszt terv: futtatandó funkcionális tesztek definiálása Szoftver tervezés Kiváló programozói képességek, szokások és gyakorlat Forráskódkezelés Konfiguráció-kezelés Elkészült szoftverelemek folyamatos minőségellenőrzése (c) 2017 CTL Software Kft 87

88 Elkészült szoftverelemek folyamatos minőségellenőrzése A gyakorlatban csak automatizálással valósítható meg Continuous Integration (CI) Unit tesztek futtatása Statikus analízis Automatizált funkcionális tesztek futtatása (c) 2017 CTL Software Kft 88

91 A folyamatok követhetősége Szabályozott környezetben szükséges, hogy a tevékenységek és folyamatok dokumentáltan történjenek Ilyenek: Orvosi műszergyártás Repülőgép-ipar (c) 2017 CTL Software Kft 91

92 A folyamatok követhetősége A követelmények, teszt esetek, teszt futtatások mind követésre kerülnek Az egyes entitások önálló audit trail-el rendelkeznek: Mikor? Ki változtatott? Mit változtatott? (c) 2017 CTL Software Kft 92