In the latest episode of the Software Testing Podcast, Richard Seidl celebrates World Quality Week. He talks to Bianca Lutz and Lars Heupel about how error-free software can be proven mathematically and what tools can help.
Advertisement
Insights from practice
Bianca LutzSoftware architects at Active Group GmbH use examples from the financial and automotive industries to explain why some systems require complete freedom from errors. lars heupelGiesecke+Diverient’s chief evangelist completes the conversation with insights into formal methods and how they are used in practice. One particularly interesting topic is how AI can support evidence.
Game development: Unreal Engine 5.5 brings new features for animation and rendering
This podcast is about software quality. Whether test automation, quality in agile projects, test data, or test teams – Richard Seidl and his guests take a look at the things that drive greater quality in software development.
world quality week
Since 2008, World Quality Day is held on the second Thursday of November to raise awareness about quality. For several years now, this has resulted in World Quality Week, which we celebrate in a special way: every day this week there is a new episode of the podcast about quality, testing and automation – based on the motto: Let’s Software Celebrate quality!
The current version of the podcast is also available on Richard Seidl’s blog: Improvement through formal methods – Bianca Lutz, Lars Heupelstands in addition The episode is available on YouTube,
(MDO)
The best alternative to X, Elon Musk’s old Twitter
