Properties Based Testing - Nikhil Barthwal

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

Wenn einfache Unittests nicht mehr ausreichen

"The fundamental proposition of properties based testing is when the system gets to 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.

Themen im Podcast:

• Was ist properties based testing?
• Die 3 Komponenten
• Beispiele für Frameworks
• Die Grenzen von PBT
• Tipps, wie man mit PBT anfangen kann

Kontakt zu Nikhil:

• Website: https://swt.fm/76me

• Website: https://www.software-testing.fm

• YouTube: https://swt.fm/pyou

Danke an die Community-Partner des Podcasts:

• Alliance for Qualification: https://swt.fm/a4q
• ASQF: https://swt.fm/asqf
• Austrian Testing Board: https://swt.fm/atb
• dpunkt.verlag: https://swt.fm/dpv
• German Testing Board: https://swt.fm/gtb
• German Testing Day: https://swt.fm/gtd
• GI Fachgruppe TAV: https://swt.fm/tav
• HANSER Verlag: https://swt.fm/chv
• iSQI GmbH: https://swt.fm/isqi
• oop: https://swt.fm/oop
• QS-TAG: https://swt.fm/qst
• SIGS-DATACOM: https://swt.fm/sigs
• skillsclub: https://swt.fm/sc
• Software Quality Days: https://swt.fm/swqd
• Swiss Testing Board: https://swt.fm/stb

Credits:

• Sound: https://swt.fm/krz
• Grafik: https://swt.fm/kdb

Chương

1. Willkommen (00:00:00)

2. Grundlagen und Beispiele (00:02:48)

3. Komponenten und Anwendungsgebiete (00:06:36)

4. Einführung in die Properties Based Testin (00:11:27)

5. Anwendung von TLA+ bei AWS (00:12:50)

6. Grenzen und Kosten von Properties Based Testing (00:17:48)