Artwork

Oscar Slotosch에서 제공하는 콘텐츠입니다. 에피소드, 그래픽, 팟캐스트 설명을 포함한 모든 팟캐스트 콘텐츠는 Oscar Slotosch 또는 해당 팟캐스트 플랫폼 파트너가 직접 업로드하고 제공합니다. 누군가가 귀하의 허락 없이 귀하의 저작물을 사용하고 있다고 생각되는 경우 여기에 설명된 절차를 따르실 수 있습니다 https://ko.player.fm/legal.
Player FM -팟 캐스트 앱
Player FM 앱으로 오프라인으로 전환하세요!

Episode 28: ForeC++ — Test Case Generator

31:00
 
공유
 

Manage episode 311662285 series 3164291
Oscar Slotosch에서 제공하는 콘텐츠입니다. 에피소드, 그래픽, 팟캐스트 설명을 포함한 모든 팟캐스트 콘텐츠는 Oscar Slotosch 또는 해당 팟캐스트 플랫폼 파트너가 직접 업로드하고 제공합니다. 누군가가 귀하의 허락 없이 귀하의 저작물을 사용하고 있다고 생각되는 경우 여기에 설명된 절차를 따르실 수 있습니다 https://ko.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

68 에피소드

Artwork
icon공유
 
Manage episode 311662285 series 3164291
Oscar Slotosch에서 제공하는 콘텐츠입니다. 에피소드, 그래픽, 팟캐스트 설명을 포함한 모든 팟캐스트 콘텐츠는 Oscar Slotosch 또는 해당 팟캐스트 플랫폼 파트너가 직접 업로드하고 제공합니다. 누군가가 귀하의 허락 없이 귀하의 저작물을 사용하고 있다고 생각되는 경우 여기에 설명된 절차를 따르실 수 있습니다 https://ko.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

68 에피소드

모든 에피소드

×
 
Loading …

플레이어 FM에 오신것을 환영합니다!

플레이어 FM은 웹에서 고품질 팟캐스트를 검색하여 지금 바로 즐길 수 있도록 합니다. 최고의 팟캐스트 앱이며 Android, iPhone 및 웹에서도 작동합니다. 장치 간 구독 동기화를 위해 가입하세요.

 

빠른 참조 가이드