Artwork

İçerik Oscar Slotosch tarafından sağlanmıştır. Bölümler, grafikler ve podcast açıklamaları dahil tüm podcast içeriği doğrudan Oscar Slotosch veya podcast platform ortağı tarafından yüklenir ve sağlanır. Birinin telif hakkıyla korunan çalışmanızı izniniz olmadan kullandığını düşünüyorsanız burada https://tr.player.fm/legal özetlenen süreci takip edebilirsiniz.
Player FM - Podcast Uygulaması
Player FM uygulamasıyla çevrimdışı Player FM !

Episode 27: Compiler Qualification

32:44
 
Paylaş
 

Manage episode 311662286 series 3164291
İçerik Oscar Slotosch tarafından sağlanmıştır. Bölümler, grafikler ve podcast açıklamaları dahil tüm podcast içeriği doğrudan Oscar Slotosch veya podcast platform ortağı tarafından yüklenir ve sağlanır. Birinin telif hakkıyla korunan çalışmanızı izniniz olmadan kullandığını düşünüyorsanız burada https://tr.player.fm/legal özetlenen süreci takip edebilirsiniz.

After a crucial introduction to the role of code coverage in qualification, in our Episode 26, Dr. Oscar Slotosch gives an in-depth analysis of the methods, procedures, and pitfalls in the qualification of compilers. Join us to learn which properties of compilers make them so difficult to qualify, why source code coverage doesn’t provide a sufficient argument for qualification, where it is likely to find flows in existing test strategies for compiler qualification — and how Validas approaches these complex problems.

To hear Oscar’s conversation with Marcel Beemster about compiler qualification strategies, listen to Episode 20: SuperTest with Marcel Beemster (Solid Sands), for a refresher on qualification test strategies, join us in our Episode 12: Qualification Test Strategies, and to check out the Arm functional safety C library Oscar mentioned as a great example of a qualified library within a qualified compiler, click here.

If you are wondering whether non-deterministic compilers can also be qualified, we have answered that question for you in one of our short episodes: Question 02: Can a non-deterministic compiler be qualified?

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 bölüm

Artwork
iconPaylaş
 
Manage episode 311662286 series 3164291
İçerik Oscar Slotosch tarafından sağlanmıştır. Bölümler, grafikler ve podcast açıklamaları dahil tüm podcast içeriği doğrudan Oscar Slotosch veya podcast platform ortağı tarafından yüklenir ve sağlanır. Birinin telif hakkıyla korunan çalışmanızı izniniz olmadan kullandığını düşünüyorsanız burada https://tr.player.fm/legal özetlenen süreci takip edebilirsiniz.

After a crucial introduction to the role of code coverage in qualification, in our Episode 26, Dr. Oscar Slotosch gives an in-depth analysis of the methods, procedures, and pitfalls in the qualification of compilers. Join us to learn which properties of compilers make them so difficult to qualify, why source code coverage doesn’t provide a sufficient argument for qualification, where it is likely to find flows in existing test strategies for compiler qualification — and how Validas approaches these complex problems.

To hear Oscar’s conversation with Marcel Beemster about compiler qualification strategies, listen to Episode 20: SuperTest with Marcel Beemster (Solid Sands), for a refresher on qualification test strategies, join us in our Episode 12: Qualification Test Strategies, and to check out the Arm functional safety C library Oscar mentioned as a great example of a qualified library within a qualified compiler, click here.

If you are wondering whether non-deterministic compilers can also be qualified, we have answered that question for you in one of our short episodes: Question 02: Can a non-deterministic compiler be qualified?

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 bölüm

Tüm bölümler

×
 
Loading …

Player FM'e Hoş Geldiniz!

Player FM şu anda sizin için internetteki yüksek kalitedeki podcast'leri arıyor. En iyi podcast uygulaması ve Android, iPhone ve internet üzerinde çalışıyor. Aboneliklerinizi cihazlar arasında eş zamanlamak için üye olun.

 

Hızlı referans rehberi