Von Acceptance Test-Driven Development zu Lean Modelling

Transkript

1 Von Acceptance Test-Driven Development zu Lean Modelling - Ausführbaren Code in natürlicher Sprache schreiben - Mirko Seifert und Christian Wende, DevBoost GmbH 05. Februar 2014, OOP 2014, München

2 Tutorial Set-up Eclipse Distro von herunterladen (Eclipse Standard 4.3.1) NatSpec Tool von update site installieren Demo Projekte von herunterladen Demo Projekte in den Workspace importieren (File Import - Existing projects into Workspace Select archive file) Testlizenz über License Wizard beziehen 2

3 Ausgangssituation: Softwareentwicklung Softwareentwickler erstellen Software, um die Anforderungen ihrer Kunden zu erfüllen ( Job to be done ) USP, bla, ROI, bla, bla! JVM, bla, XML, bla, bla! Kommunikationsproblem in der Anforderungsanalyse Anforderung als wichtiges Abnahmekriterium bei der Auslieferung 3

4 Klassisches Vorgehen Kundenwunsch Anforderungen Software Unit Tests Manuelle Abnahmetests Unerfüllte Anforderungen, Unerwartetes Verhalten Funktionale Bugs 4

5 Probleme Verständnisprobleme werden zu spät erkannt Anforderungsspezifikation ist totes Artefakt Communication Gap zwischen Anforderung und Test Anforderung und Implementierung Automatisierte Unit Tests validieren aus Sicht des Entwicklers, nicht aus Sicht des Kunden Manuelle Abnahmetests sind aufwendig und fehleranfällig 5

6 Acceptance Test Driven Development (ATDD) Kundenwunsch Anforderungen in Szenarien *.docx! Anforderungen gemeinsam spezifizieren?! Unerfüllte Anforderungen, Unerwartetes Verhalten, Funktionale Bugs Automatisierte Abnahmetests *.java! Ausführbare Tests automatisiert erzeugen Software 6

7 Anforderungen gemeinsam spezifizieren Beispiel Flugbuchungssystem Klassische Anforderung [Lastenheft nach Balzert] /FB 1030/ A Passenger receives a ticket after booking a flight Agile User Story [nach Jeffries] As a passenger I want to book a flight and receive a valid ticket. Confirmations: Ticket is only issued if if enough seats available 7

8 Anforderungen gemeinsam spezifizieren Beispiel Flugbuchungssystem (Airplanes, Flights, Passengers) ATDD Story: Booking a Flight Given a Passenger John Doe Given an Airplane Boing-787 Given a flight LH-1234 With 200 free seats Eingabe Book seat for John Doe at LH-1234 Assume a valid Ticket is issued Systemfunktion Ergebniserwartung 8

9 Ausführbare Tests automatisiert erzeugen Nur testbare (ausführbare) Anforderungen bleiben lebendig und sind wertvoll Testerzeugung muss direkt aus Anforderung erfolgen und darf diese nicht verändern Testerzeugung muss für Entwickler einfach und flexibel umsetzbar sein Testerzeugung muss auf bestehende Test-Frameworks aufsetzen (Junit, TestNG, HtmlUnit, jmock, EasyMock, Arquillian, etc) 9

10 DEMO 10

11 Vorteile von ATDD Verbesserte Kommunikation und Zusammenarbeit im Team und mit Kunden Fokussierung auf die wesentlichen und kundenrelevanten Softwarefunktionen Direkte Messung des aktuellen Projektfortschrittes Höhere Entwicklungseffizienz durch klare, kontinuierliche Verständigung, weniger Missverständnisse, weniger Iterationen und weniger tote Spezifikationen Höhere Produktqualität durch frühestmögliche, kontinuierliche Überprüfung des Implementierungszustandes bzgl. der Akzeptanzkriterien 11

12 Vorteile von ATDD Verbesserte Kommunikation und Zusammenarbeit im Team und mit Kunden Fokussierung auf die wesentlichen und kundenrelevanten Softwarefunktionen Direkte Messung des aktuellen Projektfortschrittes Warum damit Höhere Entwicklungseffizienz nur durch testen?!! klare, kontinuierliche Verständigung, weniger Missverständnisse, weniger Iterationen und weniger tote Spezifikationen Höhere Produktqualität durch frühestmögliche, kontinuierliche Überprüfung des Implementierungszustandes bzgl. der Akzeptanzkriterien 12

13 Von ATDD zu Lean Modelling Konzeptuell analog zu ATDD, aber: keine Beschränkung auf Testcode keine syntaktischen Beschränkungen bzgl. der verwendeten Sätze Beispiele: Businessregeln Datenstrukturen Oberflächen Technische Dokumentationen Schnittstellen Workflows 13

14 DEMO 14

15 Vorteile von Lean Modelling Klassisches Fat Modelling Viele verschiedene Sprachen für spezielle Aufgaben Formale Sprachen sind für Menschen schwerer zugänglich Tracing zwischen Modell und Code ist aufwendig und technologisch schwierig Konzepte und Werkzeuge sind komplex und erfordern Expertenwissen Lean Modelling Eine universelle Sprache mit einfacher Möglichkeit zur Spezialisierung Natürliche Sprache ist für Menschen gemacht Tracing zwischen Spezifikation und Code ist im Vorgehen eingebaut Konzepte sind einfach und Ansatz integriert vertraute Werkzeuge 15

16 Werkzeug ausprobieren Nächste Schritte NatSpec - Kostenlose 30-Tage Trial Version Literatur Specification by Example: How Successful Teams Deliver the Right Software (Gojko Adzic - Manning) The Cucumber Book: Behaviour-Driven Development for Testers and Developers (Matt Wynne, Aslak Hellesoy - Pragmatic Programmers) ATDD in der Praxis: Eine praktische Einführung in die akzeptanztestgetriebene Softwareentwicklung (Markus Gärtner - dpunkt.verlag) ATDD by Example (Markus Gärtner - Pearson Education) 16

17 Danke! Fragen? 17