Artwork

Konten disediakan oleh Oscar Slotosch. Semua konten podcast termasuk episode, grafik, dan deskripsi podcast diunggah dan disediakan langsung oleh Oscar Slotosch atau mitra platform podcast mereka. Jika Anda yakin seseorang menggunakan karya berhak cipta Anda tanpa izin, Anda dapat mengikuti proses yang dijelaskan di sini https://id.player.fm/legal.
Player FM - Aplikasi Podcast
Offline dengan aplikasi Player FM !

Episode 28: ForeC++ — Test Case Generator

31:00
 
Bagikan
 

Manage episode 311662285 series 3164291
Konten disediakan oleh Oscar Slotosch. Semua konten podcast termasuk episode, grafik, dan deskripsi podcast diunggah dan disediakan langsung oleh Oscar Slotosch atau mitra platform podcast mereka. Jika Anda yakin seseorang menggunakan karya berhak cipta Anda tanpa izin, Anda dapat mengikuti proses yang dijelaskan di sini https://id.player.fm/legal.

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 podcast@validas.de and all information about Validas can be found on our website, validas.de.

  continue reading

67 episode

Artwork
iconBagikan
 
Manage episode 311662285 series 3164291
Konten disediakan oleh Oscar Slotosch. Semua konten podcast termasuk episode, grafik, dan deskripsi podcast diunggah dan disediakan langsung oleh Oscar Slotosch atau mitra platform podcast mereka. Jika Anda yakin seseorang menggunakan karya berhak cipta Anda tanpa izin, Anda dapat mengikuti proses yang dijelaskan di sini https://id.player.fm/legal.

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 podcast@validas.de and all information about Validas can be found on our website, validas.de.

  continue reading

67 episode

Все серии

×
 
Loading …

Selamat datang di Player FM!

Player FM memindai web untuk mencari podcast berkualitas tinggi untuk Anda nikmati saat ini. Ini adalah aplikasi podcast terbaik dan bekerja untuk Android, iPhone, dan web. Daftar untuk menyinkronkan langganan di seluruh perangkat.

 

Panduan Referensi Cepat