1. Finn alle spesialtilfeller automatisk og oppnå høg testdekning med Pex Tor HovlandSmidig utvikling Trondheim 20094. mai 2009

2. Om Pex Microsoft Research. .NET Automatisk white-box testing

3. Kan testing automatiserast? Delvis. Menneske: spesifisere riktig oppførsel. Maskin: finne alle input-sett som trengs for å dekke all koden.

4. Eksempel: bonus på bilforsikring

5. Unit testing av metoden

6. 100% dekningsgrad!

7. Kan Pex finne fleire test cases?

8. Parametrisert unit test

9. Parametrisert unit test

10. Korleis? Pex køyrer koden. Oppdagar kode undervegs og uprøvde eksekveringsgreiner. Analyserer kva input som skal til for å nå ei uprøvd grein. Køyrer koden igjen. Eksekveringsgreiner kan vere langt nede i eit tredjeparts bibliotek.

11. Brute force? Korleis ville black-box testing funne dette?

12. Brute force?

13. Pex hjelper med å... ... finne alle spesialtilfeller som må testast. ... redusere mengden testkode ved å samle mange testar i ein parametrisert test(og generere standard unit tests). ... automatisk dekke endra kode utan at testen må endrast. ... sjekke kva slags exceptions koden din kan kaste. ... samanlikne at ny og gamal implementasjon oppfører seg likt (omskriving). ... generere eit komplett regresjonstestsett, og sjå kva som endrar seg i neste versjon.

14. Begrensingar Kun .NET-kode. Hjelpemiddel for unit testing, ikkje testing via GUI. Begrensa støtte for flyttal. Kompleks kode -> svært mange eksekveringsgreiner -> lang tid å utforske.

15. Prøv Pex sjølv! http://research.microsoft.com/projects/Pex Pre-release lisens, tillatt for kommersielt bruk med Visual Studio Team Edition. Akademisk lisens, for ikkje-kommersielt bruk med eller utan Visual Studio Professional.