En genomgång i hur och varför man testar modellbaserat med hjälp av Functional Tester. Vilka är fördelarna? Vad bör man tänka på? Hur hanteras testdata, krav etc i modellbaserad test? Vi tittar på 2 modellbaserade verktyg: mbt.tigris.org och CTE XL, och hur man integrerar dem med Functional Tester. Talare: Kristian Karl, Test Manager på Spotify. Denna presentation hölls vid ett seminariepass för Rational på IBM Software Day 2010.

1. Fördelarna med Modellbaserad Test
och Functional Tester
Kristian Karl
Copyright Spotify AB. All rights reserved.

2. Vem är jag?
Kristian Karl
Testchef på Spotify
Testautomatiserat sedan 1994
Modellbaserad testsedan 2004
Grundade mbt.tigris.org 2005
Picture 5
2

3. Varför MBT?
Lyfter ur design och testlogik från kod
Alla är en designer
Skapar grymt mer testtäckning
Passar som handsken i agila
utvecklingsprojekt

4. Exempel på EFSM
Picture 5
4

5. Subgrafer
Huvudgraf
Subgraf C
Ihopslagen modell
Picture 5
5

6. Exempel på Beslutsträd

7. Vad utmärker mbt.tigris.org?

8. Vad utmärker mbt.tigris.org
Ingen UML
Inga grafiska utgångar
Online
Händelsestyrt
Picture 5
8

9. Promenader
RANDOM
A_STAR
SHORTEST_NON_OPTIMIZED
Picture 5
9

10. Modeller
Picture 5
10

11. Testdata
Picture 5
11

12. Testdata
Picture 5
12

13. Klassificeringsträd
Klassificeringträd för att ta fram testdata eller
kombinationer av intressanta indata
Picture 5
13

14. Klassificeringsträd
Skapar belsutsträd i CTE XL
Generera kombinationer
(engångsskott)
Läs in kombinationerna under
testexekveringen

15. Mätetal

16. Mätetal - Metrics
Standard mätetal fungerar inte så bra,
eller tom inte alls.
Begreppet testfall existerar inte längre.
Picture 5
16

17. Mätetal - Metrics
Fokuserar på krav (eller
verifieringspunkter)
• ”Hur många krav borde ha verifierats?”
eller:
• ”Hur många verifieringspunkter borde
ha körts?”
Picture 5
17

18. Mätetal - Metrics
Picture 5
18

19. MBT och agilitet
Jämsides (med alla) från dag 1
• Test kan börja designa/modellera omdelbart.
• Det är inte ovanligt att test är klara för för utveckling.
Test exponerar sig mer än tidigare
• Visuellt
• Fler involveras samt förstår vad test faktiskt gör..
• Test får mer återkoppling.
Picture 5
19

20. Affärsnyttan
Väl fungerande för agila
utvecklingsprojekt.
Testare med verksamhetskunskap
används för att designa testautomation.
Hittar buggar.
Längre livstid och robustare
Picture 5
20

21. Framgångsfaktorer
Börja tidigt med modelldesign.
Hög abstraktiongrad av modellerna.
Happy paths.
Visa modellerna!
Använd testerna för att jaga buggar, inte bara
verifiera krav!
• Detta innebär Online-körning.
Mockups.
Testdata verktyg
Picture 5
21

22. Lite länkar
Verktygen:
http://graphwalker.org
http://mbt.tigris.org
http://www.yworks.com
http://www.berner-mattner.com/en/berner-mattner-home/products/cte-xl/index.html
MBT:
http://sites.google.com/site/modelbasedtesting/
http://video.google.com/videoplay?docid=5521890509476590796#
Email:
krikar@spotify.com
Picture 5
22