Fördelarna med Modellbaserad Test
        och Functional Tester


                                             Kristian Ka...
Vem är jag?


              Kristian Karl
      Testchef på Spotify
      Testautomatiserat sedan 1994
      Modellbaserad...
Varför MBT?



     Lyfter ur design och testlogik från kod
     Alla är en designer
     Skapar grymt mer testtäckning
  ...
Exempel på EFSM




                  Picture 5
 4
Subgrafer


 Huvudgraf




 Subgraf C




 Ihopslagen modell



                     Picture 5
  5
Exempel på Beslutsträd
Vad utmärker mbt.tigris.org?
Vad utmärker mbt.tigris.org



        Ingen UML
        Inga grafiska utgångar
        Online
        Händelsestyrt



  ...
Promenader



      RANDOM
      A_STAR
      SHORTEST_NON_OPTIMIZED




                               Picture 5
 9
Modeller




           Picture 5
 10
Testdata




           Picture 5
 11
Testdata




           Picture 5
 12
Klassificeringsträd


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



         Skapar belsutsträd i CTE XL
         Generera kombinationer
       (engångsskott)
        ...
Mätetal
Mätetal - Metrics




        Standard mätetal fungerar inte så bra,
      eller tom inte alls.
        Begreppet testfall...
Mätetal - Metrics


          Fokuserar på krav (eller
        verifieringspunkter)
        • ”Hur många krav borde ha ver...
Mätetal - Metrics




                    Picture 5
 18
MBT och agilitet

      Jämsides (med alla) från dag 1
           • Test kan börja designa/modellera omdelbart.
          ...
Affärsnyttan

       Väl fungerande för agila
      utvecklingsprojekt.
       Testare med verksamhetskunskap
      använd...
Framgångsfaktorer

        Börja tidigt med modelldesign.
        Hög abstraktiongrad av modellerna.
        Happy paths.
...
Lite länkar


 Verktygen:
 http://graphwalker.org
 http://mbt.tigris.org
 http://www.yworks.com
 http://www.berner-mattner...
IBM Rational - Fördelarna med modellbaserad Test och Functional Tester
Upcoming SlideShare
Loading in …5
×

IBM Rational - Fördelarna med modellbaserad Test och Functional Tester

1,042 views

Published on

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.

Published in: Technology, Business
0 Comments
0 Likes
Statistics
Notes
  • Be the first to comment

  • Be the first to like this

No Downloads
Views
Total views
1,042
On SlideShare
0
From Embeds
0
Number of Embeds
1
Actions
Shares
0
Downloads
0
Comments
0
Likes
0
Embeds 0
No embeds

No notes for slide

IBM Rational - Fördelarna med modellbaserad Test och Functional Tester

  1. 1. Fördelarna med Modellbaserad Test och Functional Tester Kristian Karl Copyright Spotify AB. All rights reserved.
  2. 2. Vem är jag? Kristian Karl Testchef på Spotify Testautomatiserat sedan 1994 Modellbaserad testsedan 2004 Grundade mbt.tigris.org 2005 Picture 5 2
  3. 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. 4. Exempel på EFSM Picture 5 4
  5. 5. Subgrafer Huvudgraf Subgraf C Ihopslagen modell Picture 5 5
  6. 6. Exempel på Beslutsträd
  7. 7. Vad utmärker mbt.tigris.org?
  8. 8. Vad utmärker mbt.tigris.org Ingen UML Inga grafiska utgångar Online Händelsestyrt Picture 5 8
  9. 9. Promenader RANDOM A_STAR SHORTEST_NON_OPTIMIZED Picture 5 9
  10. 10. Modeller Picture 5 10
  11. 11. Testdata Picture 5 11
  12. 12. Testdata Picture 5 12
  13. 13. Klassificeringsträd Klassificeringträd för att ta fram testdata eller kombinationer av intressanta indata Picture 5 13
  14. 14. Klassificeringsträd Skapar belsutsträd i CTE XL Generera kombinationer (engångsskott) Läs in kombinationerna under testexekveringen
  15. 15. Mätetal
  16. 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. 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. 18. Mätetal - Metrics Picture 5 18
  19. 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. 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. 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. 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

×