Software Testing & Qualität - Testautomatisierung, KI & Agilität

Properties Based Testing - Nikhil Barthwal

Listen Later
Wenn einfache Unittests nicht mehr ausreichen

📌 Konferenz-Tipp: TACON 2026 in Leipzig (16.–17. September). Ich war letztes Jahr als Keynote dort und fand den Austausch richtig gut 👉 https://swt.fm/tacon

"The fundamental proposition of properties based testing is when the system gets too complicated, it is not possible for human to write every test cases." - Nikhil Barthwal

Properties based testing ist eine Methode, die konstante Ausgabeeigenschaften überprüft und traditionelle Teststrategien ergänzt. Diese Technik eignet sich besonders für komplexe und Microservices-basierte Systeme, da sie die Überprüfung einer Vielzahl von Eingaben ermöglicht. Nikhil erklärt mit mehreren real life Beispielen, wie PBT funktioniert, was die Vorteile sind und wo die Methode an ihre Grenzen stößt.

Nikhil Barthwal ist leidenschaftlich daran interessiert, dezentrale Systeme zu entwickeln. Er hat mehrere Jahre Berufserfahrung in großen Unternehmen sowie in kleineren Start-ups und fungiert als Mentor für verschiedene Start-ups. Außerdem ist er auf verschiedenen internationalen Konferenzen als Redner zu Gast und hält Vorträge zu Themen, die mit dezentralen Systemen und Softwarequalität zusammenhängen.

Highlights:

  • Eigenschaftsbasiertes Testen generiert Testfälle automatisch aus einer formalen Beschreibung des Systemverhaltens, statt jeden Fall manuell zu schreiben, weil die Anzahl möglicher Fehlerkombinationen in verteilten Systemen menschliche Kapazität weit übersteigt.
  • Die drei Kernkomponenten des Ansatzes sind Generator, der Testfälle aus der Spezifikation erzeugt, Verifizierer, der Verstöße erkennt, und Shrinker, der eine lange Fehlerkette auf den kleinsten reproduzierbaren Schritt reduziert.
  • Eigenschaftsbasiertes Testen stößt an Grenzen, wenn jeder generierte Testfall direkte Kosten verursacht, etwa durch Telefonanrufe oder Cloud-Ressourcen, weil bei Millionen automatisch erzeugter Fälle die Ausgaben außer Kontrolle geraten können.
  • Das Konzept started mit dem Haskell-Framework QuickCheck und wurde in viele Sprachen portiert; für .NET, Python und andere Stacks existieren heute eigene Implementierungen, darunter auch kommerzielle Tools für sicherheitskritische Bereiche wie die Automobilindustrie.
  • Die größte Hürde bei der Einführung eigenschaftsbasierter Tests ist nicht die Technik, sondern der Mentalitätswandel im Team: Ein einzelnes Pilotteam als Referenz zu gewinnen überzeugt Kolleginnen und Kollegen wirkungsvoller als jede interne Empfehlung.

    • Danke an die Community-Partner des Podcasts:Alliance for Qualification | ASQF | Austrian Testing Board | dpunkt.verlag | German Testing Board | German Testing Day | GI Fachgruppe TAV | Heise | HANSER Verlag | ISTQB | iSQI GmbH | oop | QS-TAG | SIGS-DATACOM | skillsclub | Swiss Testing Board | TACON Credits: Sound | Grafik

    ...more
    View all episodesView all episodes
    Download on the App Store
    Software Testing & Qualität - Testautomatisierung, KI & AgilitätBy Richard Seidl - Experte für Software-Entwicklung und Testautomatisierung