Artwork

Nội dung được cung cấp bởi Oscar Slotosch. Tất cả nội dung podcast bao gồm các tập, đồ họa và mô tả podcast đều được Oscar Slotosch hoặc đối tác nền tảng podcast của họ tải lên và cung cấp trực tiếp. Nếu bạn cho rằng ai đó đang sử dụng tác phẩm có bản quyền của bạn mà không có sự cho phép của bạn, bạn có thể làm theo quy trình được nêu ở đây https://vi.player.fm/legal.
Player FM - Ứng dụng Podcast
Chuyển sang chế độ ngoại tuyến với ứng dụng Player FM !

Episode 28: ForeC++ — Test Case Generator

31:00
 
Chia sẻ
 

Manage episode 311662285 series 3164291
Nội dung được cung cấp bởi Oscar Slotosch. Tất cả nội dung podcast bao gồm các tập, đồ họa và mô tả podcast đều được Oscar Slotosch hoặc đối tác nền tảng podcast của họ tải lên và cung cấp trực tiếp. Nếu bạn cho rằng ai đó đang sử dụng tác phẩm có bản quyền của bạn mà không có sự cho phép của bạn, bạn có thể làm theo quy trình được nêu ở đây https://vi.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

70 tập

Artwork
iconChia sẻ
 
Manage episode 311662285 series 3164291
Nội dung được cung cấp bởi Oscar Slotosch. Tất cả nội dung podcast bao gồm các tập, đồ họa và mô tả podcast đều được Oscar Slotosch hoặc đối tác nền tảng podcast của họ tải lên và cung cấp trực tiếp. Nếu bạn cho rằng ai đó đang sử dụng tác phẩm có bản quyền của bạn mà không có sự cho phép của bạn, bạn có thể làm theo quy trình được nêu ở đây https://vi.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

70 tập

Tất cả các tập

×
 
Loading …

Chào mừng bạn đến với Player FM!

Player FM đang quét trang web để tìm các podcast chất lượng cao cho bạn thưởng thức ngay bây giờ. Đây là ứng dụng podcast tốt nhất và hoạt động trên Android, iPhone và web. Đăng ký để đồng bộ các theo dõi trên tất cả thiết bị.

 

Hướng dẫn sử dụng nhanh

Nghe chương trình này trong khi bạn khám phá
Nghe