Korrektheit durch formale Methoden - Bianca Lutz, Lars Hupel

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

Player FM - Internet Radio Done Right

הוסף לפני two שנים

תוכן מסופק על ידי Richard Seidl - Experte für Software-Entwicklung und Testautomatisierung and Richard Seidl - Experte für Software-Entwicklung. כל תוכן הפודקאסטים כולל פרקים, גרפיקה ותיאורי פודקאסטים מועלים ומסופקים ישירות על ידי Richard Seidl - Experte für Software-Entwicklung und Testautomatisierung and Richard Seidl - Experte für Software-Entwicklung או שותף פלטפורמת הפודקאסט שלהם. אם אתה מאמין שמישהו משתמש ביצירה שלך המוגנת בזכויות יוצרים ללא רשותך, אתה יכול לעקוב אחר התהליך המתואר כאן https://he.player.fm/legal.

World of Secrets

1
The Killing Call: 1. The death of a star 35:12

לפני 5 ימים35:12

הפעל מאוחר יותר

רשימות

לייק

אהבתי

35:12

Sidhu Moose Wala explodes onto the Canadian music scene. His sound is a fusion of two worlds - hip-hop with the poetic language of rural Punjab, where he is from. After years of struggle he’s making it. But with the spotlight comes a dark side. As his fame grows, so do the threats. "We will kill you." Presented by broadcaster and DJ Bobby Friction and investigative journalist Ishleen Kaur. Season 8 of World of Secrets, The Killing Call, is a BBC Eye investigation for the BBC World Service. Archive audio credits: Lovepreet Waraich, Malwa TV, BritAsia TV, MPHONE Canteeni Mandeer, GK Digital, Thakur Media, Capital Extra, Famous Punjab TV, ModernSings, Dheeth.jeha, RealRohitBlogs, Mirror Now, India Today. Here’s a link to the BBC Eye two-part documentary films, which we recommend you watch after listening to this podcast: https://bit.ly/thekillingcall If you are in the UK, you can watch on iPlayer: https://www.bbc.co.uk/programmes/m002f18y…

לפני שנה 25:08

MP3•בית הפרקים

Mathematik meets Software-Qualität

Deine Tests dauern ewig? 👉🏻 So bekommst Du trotzdem schnelles Feedback

"Mit Tests kann ich Fehlerfreiheit nicht nachweisen. Es gibt einfach bestimmte Domänen, da brauche ich aber die Fehlerfreiheit und eben auch den Nachweis." - Lars Hupel, Bianca Lutz

In der neuesten Episode des Software Testing Podcasts feiern wir die World Quality Week. Ich spreche mit mit Lars und Bianca darüber, wie man Fehlerfreiheit in Software mathematisch beweisen kann und welche Tools dabei helfen. Bianca erklärt uns anhand von Beispielen aus der Finanz- und Automobilbranche, warum bestimmte Systeme absolute Fehlerfreiheit benötigen. Lars ergänzt das Gespräch mit Einblicken in formale Methoden und wie sie in der Praxis angewendet werden. Ein besonders interessantes Thema war, wie KI uns bei der Beweisführung unterstützen kann.

Lars Hupel ist Chefevangelist für digitale Währungen bei Giesecke+Devrient, einem internationalen Unternehmen für Sicherheitstechnologie. Im Rahmen dieser Tätigkeit hält und schreibt Lars zahlreiche Vorträge, Workshops und Artikel, um die Technik hinter Digitalwährungen einem breiten Publikum zugänglich zu machen. Mit einem Hintergrund als Softwareentwickler trägt Lars aber auch zur Produktentwicklung bei und vertritt das Unternehmen bei verschiedenen Industriegremien. Lars hat im Bereich Logik und Verifikation an der TU München promoviert und bringt diese Erkenntnisse ein, um die Produkte von Giesecke+Devrient noch sicherer zu machen.

Bianca Lutz ist Softwarearchitektin bei der Active Group GmbH und arbeitet von Berlin aus. Schon im Studium interessierte sie sich für formale Methoden und hat mit dem Beweisassistenten Isabelle/HOL gearbeitet. Aber auch technische Themen, wie Betriebssysteme und hier vor allem eingebettete Systeme, begeistern sie bis heute. Sie war an verschiedenen wissenschaftlichen Publikationen beteiligt, ist Linux-Kernel-Contributor und hat im Rahmen ihrer Abschlussarbeit in Isabelles Archive of Formal Proofs veröffentlicht. Nach mehrjähriger Tätigkeit in der Versicherungsbranche, bei der sie es vor allem mit Legacy-Code zu tun hatte, wechselte sie 2022 ins Lager der Funktionalen Programmierung über.

Highlights:

In Bereichen wie Finanzen und Medizin ist Fehlerfreiheit entscheidend, und formale Methoden können dabei helfen.
Formale Methoden nutzen mathematische Modelle und Beweisassistenten, um Softwarefehler zu vermeiden.
Microsoft nutzt automatisierte Tools, um Treiber auf Fehlerfreiheit zu überprüfen.
Formale Methoden sind keine Allheilmittel, sondern ergänzen andere Testmethoden.
Änderungen in der Software können zu aufwendigen Anpassungen in den Beweisen führen.

פרקים

1. Einführung und Begrüßung (00:00:00)

2. Formale Methoden in der Qualitätssicherung (00:01:06)

3. Praktische Anwendung formaler Methoden (00:08:04)

4. Einführung in formale Methoden (00:12:02)

5. Verifizierung von CompCert (00:13:01)

6. KI-Unterstützung bei formalen Beweisen (00:22:03)

7. Einführung in klassische KI und formale Methoden (00:23:47)

145 פרקים

#Technologie #MBA #Business #Bildung #Richard Seidl - Experte für Software-Qualität #Testautomatisierung #Testmanagement #Agilität #Softwaretest #Qualität #Agile Testing #Unittest #Akzeptanztest #DevOps #Teststufen

Korrektheit durch formale Methoden - Bianca Lutz, Lars Hupel

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

published לפני שנה

שתפו

MP3•בית הפרקים

Mathematik meets Software-Qualität

Deine Tests dauern ewig? 👉🏻 So bekommst Du trotzdem schnelles Feedback

"Mit Tests kann ich Fehlerfreiheit nicht nachweisen. Es gibt einfach bestimmte Domänen, da brauche ich aber die Fehlerfreiheit und eben auch den Nachweis." - Lars Hupel, Bianca Lutz

Highlights:

In Bereichen wie Finanzen und Medizin ist Fehlerfreiheit entscheidend, und formale Methoden können dabei helfen.
Formale Methoden nutzen mathematische Modelle und Beweisassistenten, um Softwarefehler zu vermeiden.
Microsoft nutzt automatisierte Tools, um Treiber auf Fehlerfreiheit zu überprüfen.
Formale Methoden sind keine Allheilmittel, sondern ergänzen andere Testmethoden.
Änderungen in der Software können zu aufwendigen Anpassungen in den Beweisen führen.

פרקים

1. Einführung und Begrüßung (00:00:00)

2. Formale Methoden in der Qualitätssicherung (00:01:06)

3. Praktische Anwendung formaler Methoden (00:08:04)

4. Einführung in formale Methoden (00:12:02)

5. Verifizierung von CompCert (00:13:01)

6. KI-Unterstützung bei formalen Beweisen (00:22:03)

7. Einführung in klassische KI und formale Methoden (00:23:47)

145 פרקים

כל הפרקים

1
Synthetische Testdaten - Dominic Steinhöfel 30:22

לפני 3 ימים30:22

30:22

Testdaten im digitalen Zeitalter: Lösungen maßgeschneidert "Das testen war ja schon immer wichtig, und das wird ja irgendwie immer wichtiger, gerade jetzt mit KI." - Dominic Steinhöfel In dieser Episode spreche ich mit Dominic Steinhöfel über ein Thema, das viele Softwareprojekte betrifft: Testdaten. Als Gründer eines Start-ups, das sich auf die Generierung synthetischer Testdaten spezialisiert hat, hat er eine frische Perspektive. Wir diskutieren, wie seine Methodik funktioniert und welche Vorteile sie für Unternehmen bringt. Es wird klar, dass das Thema Testdaten nicht nur wichtig, sondern auch ausgesprochen komplex ist. Dominic Steinhöfel ist CEO und Mitgründer von InputLab , einem innovativen Spin-off des CISPA Helmholtz-Zentrums für Informationssicherheit. InputLab entwickelt synthetische Testdaten, die aus bestehenden Spezifikationen wie XML- oder JSON-Schemas generiert werden, um Softwaretests effizienter und effektiver zu gestalten. Die datengetriebenen Lösungen von InputLab helfen, neue Fehler zu entdecken, ohne dabei sensible Kundendaten zu verwenden – ein vollständig DSGVO-konformer Ansatz, der sowohl Sicherheit als auch Flexibilität garantiert. Highlights: Synthetische Testdaten verbessern die Qualität der Softwaretests. Datenschutz beim Testen erfordert neue Ansätze bei der Generierung. Extremwerte und Zufallsdaten identifizieren häufige Fehler in Systemen. Pilotprojekte zeigen hohe Qualitätsansprüche und finden oft unentdeckte Probleme. Elektronische Rechnungen werden in B2B-Transaktionen verpflichtend. Weitere Links zur Episode: The Road to Digital Invoicing The Illusion of Compliance Prevent Software Failures with Schema-Driven Test Data 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…

1
Zeitalter der Autonomik - Peter Liggesmeyer 30:38

לפני 6 ימים30:38

30:38

Von der Informatik zur Autonomik: Ein Paradigmenwechsel Deine Tests dauern ewig? 👉🏻 So bekommst Du trotzdem schnelles Feedback "Ich bin überzeugt, dass wir in den nächsten Jahren die Gründung einer neuen Disziplin sehen werden. Ich würde die gerne in Anlehnung an die Informatik als Autonomik bezeichnen." - Peter Liggesmeyer In dieser Episode spreche ich mit Prof. Peter Liggesmeyer über die Zukunft der Softwarequalität und die Entwicklung autonomer Systeme. Wir diskutieren, ob die Informatik für die kommenden Herausforderungen ausreichend ist oder ob neue Fähigkeiten und Disziplinen notwendig werden. Prof. Liggesmeyer bringt spannende Perspektiven ein, einschließlich des Begriffs "Autonomik" - eine Disziplin, die sich mit der Gestaltung autonomer Systeme beschäftigt. Er erklärt, wie diese Systeme in Bereichen wie Industrie 4.0 und der Energiewende eine immer wichtigere Rolle spielen werden. Prof. Dr.-Ing. habil. Peter Liggesmeyer ist Leiter des Fraunhofer-Instituts für Experimentelles Software Engineering IESE in Kaiserslautern und Inhaber des Lehrstuhls für Software Engineering am Fachbereich Informatik der RPTU Rheinland-Pfälzischen Technischen Universität Kaiserslautern-Landau. Von 2014 bis 2017 leitete er die Geschicke der Gesellschaft für Informatik (GI e.V.) als deren Präsident. Er ist wissenschaftlicher Sprecher des »Forschungsbeirats Industrie 4.0«. 2022 wurde er als Fachvertreter Mathematik/Informatik in den Vorstandsrat der »Gesellschaft Deutscher Naturforscher und Ärzte GDNÄ« gewählt. Der »Feldafinger Kreis« nahm ihn 2022 als Mitglied auf. Für seine Forschungsarbeiten erhielt er 2023 den »Deutschen Preis für Software-Qualität«. Highlights: Die Disziplin der Autonomik wird für die Zukunft der Softwareentwicklung entscheidend sein. Autonome Systeme erfordern eine Kombination aus Informatik, Elektrotechnik und Maschinenbau. Massen-individualisierte Produkte revolutionieren die Fertigung und senken Kosten. Die Qualität autonomer Systeme muss durch kontinuierliches Testen während des Betriebs sichergestellt werden. Vertrauen in autonome Systeme entsteht durch transparente und reproduzierbare Testprozesse. 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…

1
KI Einsatz für die Legacy-Modernisierung - Erik Dörnenburg 37:00

לפני 13 ימים37:00

37:00

Künstliche Intelligenz als Wegbereiter für Software-Modernisierung Deine Tests dauern ewig? 👉🏻 So bekommst Du trotzdem schnelles Feedback "Der Einsatz von Retrieval-Augmented Generation hilft ungemein beim Verständnis von Legacy-Software." - Erik Dörnenburg In dieser Episode spreche ich mit Erik Dörnenburg über die Herausforderungen und Möglichkeiten der Legacy-Modernisierung in der Softwareentwicklung. Wir schauen uns die komplexe Welt alter Systeme an, die häufig in Unternehmen vorherrschen, und diskutieren, wie sie in moderne Architekturen überführt werden können. Besonders spannend fand ich Eriks Ansatz, die Unterstützung von KI (RAGs) und spezifischen Tools zu nutzen. Mit diesen Mitteln lassen sich viele Erkenntnisse aus dem alten Code gewinnen, die bei der Modernisierung und Neutentwicklung helfen. Erik Dörnenburg ist Software Engineer und leidenschaftlicher Technologe. Auf seiner inzwischen langen Reise durch die Tech-Branche ist er vielen neuen Technologien begegnet. Es ist ihm immer wichtig deren Potenzial zu realisieren und dabei bewährte Praktiken zu adaptieren. Bei Thoughtworks hilft er Kunden ihre geschäftlichen Herausforderungen mit modernen Technologien, Plattformen und Praktiken zu lösen. Highlights: Legacy-Software ist in vielen Branchen, besonders Banken und Versicherungen, weit verbreitet. Der Mangel an Tests hindert Unternehmen am Modernisieren ihrer Legacy-Systeme. Microservices könnten in Zukunft auch zu neuen Legacy-Problemen führen. Retrieval Augmented Generation ermöglicht intelligentes Arbeiten mit Legacy-Daten und Code. Die schrittweise Modernisierung von Software reduziert Risiken und fördert Vertrauen bei Stakeholdern. 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…

1
HUSTEF 2025 - Tamas Stoeckert 21:35

לפני 17 ימים21:35

21:35

Gemeinschaft und Wissen - Der Spirit einer Test-Konferenz Deine Tests dauern ewig? 👉🏻 So bekommst Du trotzdem schnelles Feedback "Das ist ein Jubiläumsjahr, und wir legen noch eins drauf, um ein richtiges Highlight zu organisieren." - Tamas Stoeckert In dieser Folge spreche ich mit Tamas Stoeckert über die HUSTEF-Konferenz in Budapest. Sie entstand 2011 aus einer wachsenden Community heraus, die nach Vernetzungsmöglichkeiten suchte. Heute ist die HUSTEF eine der führenden Softwaretest- und Qualitätskonferenzen Europas. Im Podcast sprechen wir über die Entwicklungen der letzten Jahre, über Herausforderungen und die Rückkehr zu persönlichen Veranstaltungen. Ich selbst bin begeistert von der Qualität der Vorträge und dem internationalen Flair der Konferenz. Wenn auch du in die Welt des Softwaretestens eintauchen und dabei sein möchtest, nutze den Code HUSTEF25RS15 für 15% Rabatt auf deinen Ticketpreis! Tamas Stöckert ist nach seinem Wirtschaftsstudium direkt in die Softwaretest-Branche eingestiegen und hat dort mehr als 20 Jahre Erfahrung sammeln können. Tamas war selbst Tester gestartet und hat in verschiedenen Unternehmen (Lufthansa, R+V Versicherung, UNIQA) und Ländern (Ungarn, Deutschland, Indonesien, Österreich) gearbeitet, überwiegend in Management- und in Führungspositionen. Seit 2019 ist Tamas bei UNIQA Österreich Versicherungen AG als Leiter der Einheit Manuals & Test in der Personenversicherung tätig. Als aktives Mitglied von ISTQB hat er das Hungarian Testing Board gegründet, war lange Zeit selbst Präsident des Boards und ist aktuell als Vize-Präsident aktiv. Tamas ist der Initiator der HUSTEF Konferenz . Highlights: Was ist die HUSTEF-Konferenz? Mehr als 750 Teilnehmer aus 34 Ländern Jubiläum: Die 15. Ausgabe der HUSTEF steht bevor! Das sind die Speaker Raum für persönlichen Austausch Weitere Links zur Episode: HUSTEF Details Danke an die Community-Partner des Podcasts:…

1
Von der Testfactory zum QS-Coaching - Stephan Brehovsky, Christian Ulrich 18:18

לפני 20 ימים18:18

18:18

Tester und Entwickler: Synergien schaffen für bessere Ergebnisse Deine Tests dauern ewig? 👉🏻 So bekommst Du trotzdem schnelles Feedback "Wir müssen uns da irgendwie öffnen, haben geguckt, dass wir aus jedem Bereich vom IT-Systemhaus Leute gewinnen können für eine Community of Practice." - Stefan Brehovsky, Christian Ulrich In dieser Episode spreche ich mit Stefan und Christian vom IT-Systemhaus der Bundesagentur für Arbeit über ihren bemerkenswerten Wandel. Sie erzählen von der Transformation ihrer zentralen Testabteilung in ein agiles QS-Coaching-Angebot für Projekte. Die Testfactory hat sich von einer kontrollierenden Funktion zu einem beratenden Partner entwickelt, der aktiv in Projektphasen integriert ist. Es wird deutlich, wie wichtig der Austausch zwischen Testern und Entwicklern ist, um Qualität von Anfang an sicherzustellen. Ihr Ansatz, Feedback von den Nutzern zu integrieren, zeigt, dass technische Prozesse lebendig und anpassungsfähig sein müssen. Stephan Brehovsky studierte Werkstoffwissenschaften an der FAU Erlangen-Nürnberg und arbeitet seit 25 Jahren in der Softwareentwicklung und im Test. Seit 2009 ist er Mitarbeiter des IT-Systemhauses der Bundesagentur für Arbeit (BA). Als IT-Architekt ist er mit seinem Team für die Beratung und Unterstützung der Projekte und Verfahren im IT-Systemhaus hinsichtlich des Testprozesses zuständig. Christian Ulrich hat Wirtschaftsinformatik an der TH-Nürnberg studiert. Er ist seit 2008 im IT-Systemhaus der Bundesagentur für Arbeit in der Qualitätssicherung unterwegs. Seit 2016 coacht er auch agile Projekte hinsichtlich Qualitätssicherung. Darüber hinaus gestaltet er Workshops wie z.B. Testmethoden, risikoorientierte Tests oder explorative Tests und führt diese inhouse durch. Weiterhin leitet er eine CoP zur Weiterentwicklung der BA-Teststrategie. Highlights: Der Wandel von Kontrolle zu Coaching verbessert die Zusammenarbeit in Projekten. Testhandbücher wurden schlanker und agiler gestaltet, um Akzeptanz zu erhöhen. Frühe Einbindung von Qualitätssicherung ist entscheidend für Projekterfolg. Test- und Entwicklungsteams müssen stärker zusammenarbeiten, um Synergien zu nutzen. Regelmäßige Kommunikation mit Stakeholdern sichert Relevanz und Anpassung der Testkonzepte. 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…

1
Mit Nudging zu mehr Security - Dr. Erlijn van Genuchten 25:09

לפני 27 ימים25:09

25:09

Die unterschätzte Sicherheitslücke: Der Mensch Deine Tests dauern ewig? 👉🏻 So bekommst Du trotzdem schnelles Feedback „Die meisten erfolgreichen Angriffe fangen mit einem menschlichen Fehler an - nicht mit einer technischen Schwachstelle.“ - Erlijn van Genuchten In dieser Episode spreche ich mit Erlijn van Genuchten über die vergessene Schwachstelle in der IT-Security: den Menschen. Klar, technische Lücken patchen wir wie am Fließband. Aber viele Angriffe starten nicht mit Code, sondern mit einem Klick auf den falschen Link. Erlijn bringt frischen Wind ins Thema – mit Nudging. Also kleinen, smarten Schubsern in Richtung sicherer Entscheidungen. Zwei-Faktor standardmäßig aktiv, klare Warnhinweise statt Rätselraten. Spannend fand ich, wie sehr Usability und Sicherheit sich dabei die Hand geben können. Und: Das Ganze schon frühzeitig im Entwicklungsprozess mitzudenken, kann echte Wirkung zeigen. Dr. Erlijn van Genuchten ist eine Spezialistin für Cybersicherheit, die ihr Wissen als Lehrerin, Vortragende und Autorin mit anderen Experten und der Öffentlichkeit teilt. Außerdem hilft sie Unternehmen, ihre Webanwendungen sicherer zu machen, indem sie sie auf Schwachstellen testet. Darüber hinaus ist sie eine weltweit anerkannte Expertin für ökologische Nachhaltigkeit, die Wissenschaftler dabei unterstützt, ihre Forschungserkenntnisse zu Umweltfragen weiterzugeben, und uns alle dazu ermutigt, zu einem gesünderen Planeten beizutragen. Sie unterstützt die Vereinten Nationen mit ihrem Fachwissen in beiden Bereichen als Mitglied der Task Force für die Digitalisierung im Energiebereich. Highlights: Die meisten Cyber-Angriffe starten über menschliches Fehlverhalten, nicht technische Lücken Nudging hilft Menschen, unbewusst sicherere Entscheidungen im digitalen Alltag zu treffen Sicherheitsfunktionen sollten früh im Entwicklungsprozess durch "Security by Behavioral Design" mitgedacht werden Standardmäßige sichere Voreinstellungen erhöhen die IT-Sicherheit ohne Nutzer zu überfordern Einfaches Feedback wie Passworthinweise oder Warnungen macht sichere Nutzung wahrscheinlicher 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…

1
Gewaltfreie Kommunikation im Software Testing - Maroš Kutschy 21:39

לפני 5 weeks21:39

21:39

„Ich fühle mich frustriert“ statt „Du bist schuld“ Deine Tests dauern ewig? 👉🏻 So bekommst Du trotzdem schnelles Feedback "As testers we need to communicate a lot - with developers, with product owners, with architects. It never stops." – Maroš Kutschy In dieser Episode spreche ich mit Maroš Kutschy über gewaltfreie Kommunikation. Klingt erstmal nach Kuschelkurs - ist in Wirklichkeit aber ein ziemlich scharfes Werkzeug, wenn es darum geht, Konflikte konstruktiv anzugehen. Maroš erklärt, wie man mit Beobachtungen statt Bewertungen, echten Gefühlen, klaren Bedürfnissen und deutlichen Bitten besser durchs Projektchaos navigiert. Besonders spannend fand ich seine Beispiele aus dem Testing-Alltag - die kennt jede*r von uns. Für mich war’s ein echter Reminder: Technik ist wichtig, aber Kommunikation verändert Kultur. Und die brauchen wir dringend. Maroš is QA Technical Lead at Ness Košice, Slovakia. His hobby is automation testing. He likes leading and mentoring colleagues, learning new automation testing framework and helping people to enter the world of testing. In 2022 he was speaking at Testing United in Prague, Nordic Testing Days in Tallinn, Tacon in Leipzig, HUSTEF in Budapest, and ‚est Dive in Cracow. In 2023 he was speaking at Software Quality Days in Munich, HalfStack in Vienna, SEETEST in Bucharest and SANAE BEER.EX in Bratislava. He likes self-improvement and leadership books, stoic philosophy, and exercising in the gym. Highlights: Bewertungen durch beobachtbare Fakten ersetzen verbessert die Kommunikation Eigene Gefühle benennen statt Reaktionen anderer interpretieren Verantwortung für eigene Gefühle übernehmen und daraus Bedürfnisse ableiten Klare, konkrete Bitten äußern, statt vager Wünsche Zuhören ohne Unterbrechung stärkt empatisches Verständnis 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…

1
Geschäftsgetriebene Testautomatisierung - Jörg Sievers 27:46

לפני 6 weeks27:46

27:46

Wie Testautomatisierung gelingt, wenn Experten ihr Wissen einbringen Deine Tests dauern ewig? 👉🏻 So bekommst Du trotzdem schnelles Feedback "Wir fragen die Leute, die das Werkzeug nachher benutzen sollen. Nur so kannst du echte Akzeptanz schaffen." - Jörg Sievers In dieser Episode spreche ich mit Jörg „Jogi“ Sievers von der Signal Iduna über geschäftsgetriebene Testautomatisierung. Jogi zeigt uns, wie Fachabteilungen trotz ihrer Alltagspflichten effektiv in die Testautomatisierung eingebunden werden können. Mit viel Pragmatismus, einer guten Portion Humor und cleveren Ansätzen – etwa durch vertraute Metaphern wie den „Schienenersatzverkehr“ – schafft er es, Testen leichter zugänglich zu machen. Jogi ist seit über 25 Jahren Spezialist für Testautomatisierung und Software-Qualitätssicherung. Davor arbeitete er ein Jahrzehnt lang in der Lebensmittelindustrie, wo sein Auge für Qualität von Anfang an geschärft wurde. Privat hat er sich im Vor-Internet-Zeitalter auf die Datenfernübertragung spezialisiert (Bulletin Board Systems (BBS), auch Mailboxen genannt), bis er schließlich in der IT landete. Installationen, Migrationen, Support und Schulungen für Arztpraxissoftware, sowie der Verkauf und die Installation von PCs, NeXT-, Sun- und Apple-Computern verschafften ihm eine breite Basis an IT-Wissen. Es folgten die Oberflächentestautomatisierung von StarOffice und OpenOffice.org als Desktop-Anwendungen sowie Sun WebOffice in der Webwelt. Danach arbeitete er zehn Jahre für einen Softwarehersteller und -dienstleister in der Energiewirtschaft, bevor er vor vier Jahren zur SIGNAL IDUNA Gruppe kam. Highlights: Fachabteilungen wurden erfolgreich in die Testautomatisierung integriert Testmethodik basiert auf risikobasierten Szenarien statt historischer Datensätze Testsprache und Prinzipien wurden durch angepasste Metaphern leicht verständlich gemacht Coaching-Ansatz mit Ensemble-Testing sichert nachhaltige Testkompetenz Synthetische Testdatengenerierung und Contract-Testing sind zentrale Zukunftsziele 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…

1
Eine Referenzimplementierung als Testorakel - Stefanie Leitner 20:04

לפני 7 weeks20:04

20:04

Mehr Effizienz und bessere Fehlererkennung durch intelligente Testorakel Deine Tests dauern ewig? 👉🏻 So bekommst Du trotzdem schnelles Feedback "Wenn du bei 3000 Signalen die Sollwerte manuell berechnen musst, hast du keine Chance im Test." - Stefanie Leitner In dieser Episode spreche ich mit Stefanie Leitner über ein spannendes Thema: Wie testet man hochkomplexe Software in der Automobilindustrie effizient? Stefanie arbeitet bei VAIVA, einer Tochter des Volkswagen-Konzerns, und verrät, wie sie mit einer cleveren Idee den Testaufwand reduziert: Sie bauen eine eigene, unabhängige Referenzimplementierung für ihre Tests. Klingt erst mal eigenartig? Funktioniert aber erstaunlich gut und spart am Ende eine Menge Zeit und Nerven. Stefanie Leitner verfügt über mehr als 13 Jahre Erfahrung im Automotive Test Bereich. Seit 2011 ist Sie bei VAIVA GmbH in verschiedenen Rollen wie Softwaretesterin, Testmanagerin oder Test-Lead für Projekte im Bereich Advanced Driver Assistance Systems und Active Safety tätig. Aktuell ist Stefanie Leitner als Principal Software und Systemtest für die strategische Ausrichtung im Bereich Test bei VAIVA verantwortlich. Die Implementierung einheitlicher Testprozesse und -methoden gemäß ASPICE und ISO26262, aber auch die Entwicklung neuer, innovativer Testmethoden, gehören zu Ihren Aufgaben. Highlights: Eine Referenzimplementierung dient als automatisiertes Testorakel zur Verifikation komplexer Softwarefunktionen. Entwickler und Tester arbeiten parallel basierend auf denselben Anforderungen, aber unabhängig voneinander. Testfälle vergleichen Ausgaben der Originalsoftware mit der Referenzimplementierung im Back-to-Back-Test. Reviews der Referenzimplementierung sichern Qualität und Vertrauen in das Testorakel. Änderungen in Anforderungen lassen sich effizient in der Referenzimplementierung und Tests nachvollziehen. 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…

1
Lernen mit Simulationen - Andreas Wübbeke, Johanna Maduch 26:00

לפני 8 weeks26:00

26:00

Warum simulationsbasiertes Training Wissen nachhaltiger verankert Deine Tests dauern ewig? 👉🏻 So bekommst Du trotzdem schnelles Feedback "Wenn man die Mechanismen einmal selbst erlebt hat, ist das Wissen deutlich besser verankert." - Andreas Wübbeke, Johanna Maduch In dieser Episode spreche ich mit Andreas Wübbeke und Johanna Maduch über erfahrungsbasiertes Lernen durch Simulationen und Spiele. Statt grauer Theorie erleben Teams hier die Mechanismen agiler Arbeitsweise am eigenen Leib. Da wird nicht diskutiert, was ein WIP-Limit bringen könnte – man spürt es direkt im Spiel. Das gibt Aha-Momente, nicht nur bei Studierenden, sondern gerade auch im Management. Andreas Wübbeke ist seit Mitte 2022 bis heute Professor für Software Engineering am Fachbereich Elektrotechnik an der Fachhochschule Südwestfalen in Soest. Zuvor war er als Leiter des E/E-Segments Datenmanagement bei CLAAS E-Systems in Dissen a.T.w. und als Leiter der Qualitätssicherung F&E bei Wincor Nixdorf tätig. Als promovierter Informatiker am Lehrstuhl für Datenbanken und Informationssysteme gilt sein besonderes Interesse der agilen Transformation von Unternehmen und der Vermittlung agiler Methoden in diesem Kontext. Johanna Maduch hat 2024 ihren Master of Engineering in „Digitale Technologien“ in Soest abgeschlossen und ist nun als IT-Beraterin tätig. In ihrer Masterarbeit hat sie das Wissen aus ihrem Bachelorstudium „Designmanagement und Projektmanagement“ kombiniert und sich auf agiles Projektmanagement konzentriert. Highlights: Simulationen fördern intuitives Lernen statt rein kognitiver Theorieaufnahme Agile Prinzipien werden durch eigene Erfahrung statt Präsentationen verstanden Fehler und Experimente sind gewollt und Bestandteil des Lernprozesses Management profitiert besonders von erlebbaren Lernformaten Constraint-Led-Learning festigt Wissen nachhaltiger als klassische Vorlesungen 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…

1
Leichtgewichtige Testkonzepte im Bundesverwaltungsamt - Dr. Oliver Kortendick, Simone Mester 23:25

לפני 9 weeks23:25

23:25

Wie das Bundesverwaltungsamt alte Strukturen erfolgreich aufbricht Deine Tests dauern ewig? 👉🏻 So bekommst Du trotzdem schnelles Feedback "Wir haben uns irgendwann geweigert, schwergewichtige Konzepte zu schreiben, die in der Schublade landen." – Simone Mester, Oliver Kortendick In dieser Episode spreche ich mit Simone und Oliver vom Bundesverwaltungsamt über ein Thema, das sich trocken anhört, aber ordentlich Pfeffer hat: Testkonzepte. Wer jetzt an sinnfreie Textwüsten denkt, liegt falsch. Die beiden zeigen, wie man selbst in einem Behördenumfeld mit über 100 Fachverfahren und strengem Rahmen zu agilen, leichten Ansätzen findet. Ihr QS-Baukasten ist mehr Infopoint als Vorschriftenkatalog – modular, praxisnah und verständlich. Wissen teilen, Silos abbauen und echte Veränderung anschieben. Und das Ganze nun auch als Open Source. Dr. Oliver Kortendick studiert Ethnologie und Soziologie in Göttingen, Amsterdam und Köln. Promotion und anschließende mehrjährige Forschung über quantitative, computerunterstützte Inhaltsanalyse. Research Fellow beim Centre für Social Anthropology and Computing in Canterbury, Kent. Seit 25 Jahren als Softwareentwickler, Projektmanager und Test- und QS-Verantwortlicher in Großprojekten unterwegs. Seit 2015 beim Bundesverwaltungsamt in Köln Strategieberater „Softwaretest und -qualitätssicherung“. Simone Mester blickt auf langjährige Erfahrung als Softwareentwicklerin im Versicherungsumfeld zurück, in den letzten Jahren zog es sie jedoch auf die Seite „Test und QS“. Seit 2015 ist sie im öffentlichen Bereich tätig. Besonderes Interesse: Leichtgewichtige Prozesse um Teambildung und Gruppenkohärenz im agilen Vorgehen zu unterstützen. Co-Gründerin der Community of Practice "Forum für Test und Qualitätssicherung" im BVA, Co-Moderatorin der CoP "Test und QS" des Next-Netzwerkes des Bundes. Highlights: Agile Methoden helfen Behörden bei unklaren Anforderungen schnell zu reagieren Der QS-Baukasten ersetzt schwere Konzepte durch modular anwendbares Wissen Traceability muss früh eingerichtet werden, sonst wird sie später extrem aufwendig Eine Community of Practice fördert pragmatischen Wissenstransfer und Austausch Lernformate und Inhalte sind zielgruppengerecht und frei verfügbar über Open Source 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…

1
Robot Test Framework - René Rohner 31:58

לפני 10 weeks31:58

31:58

Wie ein generisches Framework verschiedenste Technologien verbindet – von Web bis Embedded Deine Tests dauern ewig? 👉🏻 So bekommst Du trotzdem schnelles Feedback "Wir sagen heute: Robot Framework ist ein generisches Automatisierungs-Framework – nicht mehr nur für Testing." – René Rohner In dieser Episode spreche ich mit René Rohner über das Robot Framework, ein erstaunlich vielseitiges Open-Source-Testautomatisierungs-Tool, das weit über Testing hinausdenkt. Was als schnödes Keyword-Driven Testing begann, hat sich heute zu einem generischen Automatisierungs-Framework entwickelt, das von RPA bis Mainframe-Tests alles kann. René, Vorstand der Robot Framework Foundation, nimmt uns mit in die Community, die mit tausenden Membern und Millionen von Downloads quicklebendig ist. Wir beleuchten technologische Kaskaden, Datenanbindung, nachhaltige Finanzierung – und warum Open Source mehr ist als gratis Code. 👉🏻 Hier geht es zur Verlosung René Rohner ist Product Owner des Value-Streams Testautomatisierung und Principal Consultant bei der imbus AG. Als Vorstandsvorsitzender der Robot Framework Foundation und Open-Source-Enthusiast setzt er sich aktiv für die Weiterentwicklung und Verbreitung von Open-Source-Lösungen ein. Er ist Entwickler im Kernteam der auf Playwright basierenden Keyword-Bibliothek „Robot Framework Browsers“ und Entwickler weiterer Open-Source-Bibliotheken für das Robot Framework. Er ist Trainer und Coach für Keyword-Driven Testing und Co-Autor des Buches „Keyword-Driven Testing“ Highlights: Das Robot Framework ist technologieunabhängig und unterstützt vielfältige Test- und Automatisierungsszenarien Keyword-Driven-Tests ermöglichen auch Fachexperten ohne Programmierkenntnisse eigenständig Tests zu erstellen Die Community des Robot Frameworks ist groß, aktiv und trägt maßgeblich zur Weiterentwicklung bei Datengetriebenes Testen wird durch eine eigene Open-Source-Bibliothek flexibel unterstützt Open Source lebt von Beteiligung – Feedback ist genauso wertvoll wie Code 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…

1
Software Testing Podcasts - Markus Thaler 46:29

לפני 10 weeks46:29

46:29

Einblicke in Podcasts rund um Software Qualität Deine Tests dauern ewig? 👉🏻 So bekommst Du trotzdem schnelles Feedback "Es geht darum, der Community ein passendes Lern- und Austauschmedium zu geben" - Richard Seidl, Markus Thaler In dieser Episode spreche ich mit Markus Thaler über Podcasts für Tester. Markus, Host des Qytera Podcasts Agile Testbar und ich plaudern über unsere Motivation, Zielgruppen, den Vergleich zu anderen Medien wie Blogbeiträge und Webinare und lassen mal hinter die Kulissen der Podcasterei blicken. Welche Tools und Vorgehen nutzen wir für die Vorbereitung und Produktion? Wie sind die Abläufe? - So geben sie einen Einblick in die Welt der beiden Podcasts. Diese Folge erscheint auch als Crossover-Episode im Podcast Agile Testbar. Markus Thaler war 22 Jahre in der Commerzbank tätig, wo er sich mehr als 10 Jahre um Teststandards, Testwerkzeuge und Testautomatisierung in einer zentralen Funktion gekümmert hat, bevor er nach einer Zwischenstation im Testinfrastrukturmanagement acht Jahre als Testmanager in der Risikofunktion der Commerzbank gewirkt hat. Vor der Commerzbank konnte er Testerfahrungen bei Lufthansa, Siemens, Nestle und der DZ-Bank gewinnen. Bei Qytera war er als Senior Testmanager, Testarchitekt und Trainer tätig. Zur Zeit arbeitet er in der Rolle Testmanager als Freelancer in einem agilen Projekt der Energiebranche. Highlights: Warum einen Podcast im Testing-Bereich starten? Zielgruppe und deren Interessen Vergleich von Podcasts mit anderen Medien (Blogbeiträge, Webinare) Vorteile und Nachteile von Podcasts als Kommunikationsmedium Themenvielfalt im Softwaretest Podcast (z.B. Testautomatisierung, Soft Skills) 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…

1
Enterprise Testing - Ursula Beiersdorf 30:03

לפני 11 weeks30:03

30:03

Die besten Strategien für erfolgreiches Testing in komplexen Enterprise-Umgebungen Deine Tests dauern ewig? 👉🏻 So bekommst Du trotzdem schnelles Feedback "Was ich so gespürt habe, ist, dass viele Leute das Konfigurieren gar nicht ernst nehmen, obwohl es ganz böse Nebeneffekte haben kann." - Ursula Beiersdorf In dieser Episode spreche ich mit Ursula Beiersdorf über die Herausforderungen und Methoden des Testens in großen Enterprise-Umgebungen, insbesondere im Kontext von SAP und anderen konfigurierbaren Systemen. Ursula teilt ihre Erfahrungen und erklärt, wie wichtig es ist, die Komplexität solcher Systeme zu verstehen. Sie spricht über die Integration von Testkriterien in User Stories, die Nutzung von Prozessmodellierung und die Förderung von Testautomatisierung. Außerdem zeigt sie, warum die Einbindung verschiedener Stakeholder und erfahrungsbasierte Techniken entscheidend für den Erfolg im Testen sind. Ursula Beiersdorf hat nach dem Studium der Wirtschaftsmathematik schon in ihrem ersten Projekt vor mehr als 30 Jahren festgestellt, wie wichtig gute Qualität bei der Softwareentwicklung ist. Seitdem ist sie als Beraterin für Testfragen mehrere Jahrzehnte vorwiegend im Großkundenbereich unterwegs gewesen. Parallel zu dieser Arbeit entdeckte sie die Hamburger Software Testing Community StugHH, deren Moderatorin sie bald wurde. In mehr als 12 Jahren hat sie gemeinsam mit den anderen Hamburger Qualitätsbesessenen eine Möglichkeit des Lernens und des Austausch geschaffen. Vor einigen Jahren nahm sie die Herausforderung an, ihr Testwissen in den SAP Bereich zu übertragen. Daraus entstand unter Anderem der Podcast "Testschnack", dem ersten deutschen Podcast über spannende Fragen im Test von hoch integrierten Systemen wie SAP. Vor 3 Jahren wechselte sie die Seiten zu einem Hersteller von Gabelstaplern, um als interne Test Service Mangerin den Test vor allem der Enterprise Software fit zu machen für anstehenden Änderungen. Highlights: Herausforderungen beim Testen in Enterprise-Umgebungen Bedeutung der Komplexität konfigurierbarer Systeme Unterschiede zwischen Enterprise Testing und agilem Testing Unterstützung von Anwendern und Fachleuten im Testprozess Integration von Testkriterien in User Stories 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…

1
Microservices testen - Michael Kutz 37:02

לפני 12 weeks37:02

37:02

Wie optimiert man die Teststrategie bei der Umstellung auf Microservices? Deine Tests dauern ewig? 👉🏻 So bekommst Du trotzdem schnelles Feedback "Ich kriege viel schneller Feedback. Da finde ich, macht es richtig Laune. Es geht alles schneller." - Michael Kutz In dieser Episode spreche ich mit mit Michael Kutz von REWE über die Herausforderungen und Lösungen bei der Umstellung von einem monolithischen System auf eine Microservice-Architektur. Michael teilt seine langjährige Erfahrung und erläutert, wie sein Team die Teststrategie optimiert hat, um Effizienz und Qualität der Software zu steigern. Wir besprechen die Bedeutung von End-to-End-Tests, Unit-Tests und organisatorischen Aspekten. Michael betont die Wichtigkeit kontinuierlicher Anpassungen und kritischer Überprüfung der Teststrategien. Michael Kutz ist seit 2009 als Softwareentwickler tätig. Sein Ziel ist es, qualitativ hochwertige und konstant funktionierende Software zu entwickeln, um aufwändige Fehleranalysen im Nachhinein zu vermeiden. Deshalb legt er großen Wert auf Testautomatisierung, Continuous Delivery/Deployment, DevOps, Lean und Agile Softwareentwicklung. In letzter Zeit beschäftigt er sich zudem mit den psychologischen Effekten, die das Schreiben von Code, die Analyse von Anforderungen und die Rekrutierung von Entwickler:innen beeinflussen. Seit 2014 arbeitet Michael bei REWE digital, wo er umfangreiche Erfahrung in der Entwicklung einer Microservice-basierten Produkt-Architektur gesammelt hat. Derzeit arbeitet er auch an der Entwicklung und Umsetzung gemeinsamer Standards der Qualitätssicherung für die gesamte REWE Group. Highlights: Herausforderungen bei der Umstellung von monolithischen Systemen auf Microservices Verbesserung der Teststrategie für Microservices Erfahrungen mit End-to-End-Tests und Unit-Tests Implementierung von Monitoring und Alerts für Produktionsprobleme Rollback-Management und Datenbankmigrationen in Microservice-Architekturen 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…

ברוכים הבאים אל Player FM!

Player FM סורק את האינטרנט עבור פודקאסטים באיכות גבוהה בשבילכם כדי שתהנו מהם כרגע. זה יישום הפודקאסט הטוב ביותר והוא עובד על אנדרואיד, iPhone ואינטרנט. הירשמו לסנכרון מנויים במכשירים שונים.