Episode 28: ForeC++ — Test Case Generator

To successfully test a tool or a library, especially in safety-relevant projects, it is crucial to test for all important cases; in some situations, this can become increasingly difficult to do without automation. In this episode Dr. Oscar Slotosch discusses the usage and purpose of test case generators with Jakob Riedle, who has spent the past two years developing ForeC++ — Validas’s own test case generator. Join us to learn about the biggest challenges in creating a test case generator, how these tools can help you comply with safety standards, and what Jakob has done to develop ForeC++ to its current form. If you would like to learn more about the intricacies of test strategies, listen to our Episode 12: Qualification Test Strategies, to hear Jakob and Oscar continue their discussion of C++ in safety-relevant projects, listen to Episode 31: Safety of C++ Exceptions — Deep Dive with Mapless AI, and to explore more exciting projects at Validas, listen to Episode 22: Validas — a Conversation between Dr. Oscar Slotosch and Dr. Peter Braun and Episode 38: Validas’s Process Modeling Technology — PMT. Your producer and friendly representative of the audience in this episode has been Ivana Kurecic. We can be reached through [email protected] and all information about Validas can be found on our website, validas.de.

Om Podcasten

As experts in the creation of safe software systems, in this podcast we answer all the questions about tool and library qualification. Each episode guides you through a crucial topic via discussions, interpretations, and examples given by safety professionals in Validas and beyond, and there’s something for everyone — from specialists to beginners! Our podcast spans the gap between the basic safety standards and new safety products on the market; we’ve created it for you, so contact us at [email protected] with comments, questions, or suggestions of topics you’d like to learn about.