Property-based testing

Introduction to property-based testing in german.

Transcript

1. PROPERTY-BASED TESTING Frank S. Thomas 0
3. INHALT 1. Was ist Property-based testing? 2. Code-Beispiele 3. Property-Design
4. RAHMEN
5. TESTSTUFEN Unittest Integrationstest Systemtest Akzeptanztest
6. Testen mit Properties ist nicht auf Unittests beschränkt!
7. TESTEN MIT BEISPIELEN Vergleich von Eingaben mit erwarteten Ausgaben a s s e r t ( " H a l l o W e l t " . s p l i t ( " " ) = = A r r a y ( " H a l l o " , " W e l t " ) )
8. TESTEN MIT BEISPIELEN: VORTEILE einfach zu schreiben und zu lesen einfach zu erweitern Dokumentation für andere Entwickler
9. TESTEN MIT BEISPIELEN: NACHTEILE einfach Randfälle zu übersehen Testabdeckung abhängig von Anzahl der Beispiele
10. WAS IST PROPERTY-BASED TESTING?
11. PROPERTY Eigenschaft einer Komponente, die unter spezifizierten Bedingungen für alle Eingaben zutrifft
12. BEISPIEL Die Addition der reellen Zahlen ist kommutativ f o r a l l a , b : a + b = = b + a
13. BEISPIEL Beim Zusammenfügen von zwei Listen ist die Länge der neuen Liste die Summe der Längen der Ausgangslisten f o r a l l l 1 , l 2 : l 1 . a p p e n d ( l 2 ) . l e n g t h = = l 1 . l e n g t h + l 2 . l e n g t h
14. BEISPIEL java.lang.Comparable
15. BEISPIEL java.lang.Comparable
16. WAS IST PROPERTY-BASED TESTING? Entwickler schreibt Property Test-Framework generiert viele zufällige Testdaten ... und validiert Property mit diesen Testdaten l 1 = [ ] , l 2 = [ ] : l 1 . a p p e n d ( l 2 ) . l e n g t h = = l 1 . l e n g t h + l 2 . l e n g t h - > t r u e l 1 = [ 0 ] , l 2 = [ ] : l 1 . a p p e n d ( l 2 ) . l e n g t h = = l 1 . l e n g t h + l 2 . l e n g t h - > t r u e l 1 = [ ] , l 2 = [ 1 ] : l 1 . a p p e n d ( l 2 ) . l e n g t h = = l 1 . l e n g t h + l 2 . l e n g t h - > t r u e l 1 = [ 1 , 2 ] , l 2 = [ ] : l 1 . a p p e n d ( l 2 ) . l e n g t h = = l 1 . l e n g t h + l 2 . l e n g t h - > t r u e . . .
17. DEMO!
18. PROPERTY-DESIGN
19. UNVOLLSTÄNDIGE PROPERTIES mit einfachen Fakten beginnen Properties legen einen Rahmen um die Implementierung vollständige Spezifikation kann Code Duplizierung bedeuten
20. RELATIONALE PROPERTIES f o r A l l { ( x : T , y : T ) = > ( x . c o m p a r e T o ( y ) = = 0 ) = = x . e q u a l s ( y ) }
21. REFERENZIMPLEMENTIERUNG Methoden einer neuen Klasse M y M a p sollen sich verhalten wie die Methoden von H a s h M a p f o r A l l { ( h : H a s h M a p ) = > v a l m = M y M a p . f r o m H a s h M a p ( h ) m . f o o ( ) = = h . f o o ( ) }
22. ROUND-TRIP PROPERTIES Wenn Umkehrfunktion vorhanden: x = = g ( f ( x ) ) f o r A l l { ( s : S t r i n g ) = > s = = u t f 8 D e c o d e ( u t f 8 E n c o d e ( s ) ) }
23. TESTEN MIT PROPERTIES Spezifikation von Eigenschaften, die für alle Eingaben zutreffen Trennung der Tests und Generierung der Testdaten (teilweise) schwierig zu schreiben Randfälle müssen nicht extra betrachtet werden ein Property deckt eine Vielzahl von Beispielen ab => größere Testabdeckung durch weniger Code
24. THE END Slides: Code: ScalaCheck: The Definitive Guide http://fthomas.github.io/pbt-talk https://github.com/fthomas/pbt-talk