Watch our educational videos and recorded webinars on compiler validation and library testing.
A Webinar co-hosted by Solid Sands’ CTO, Marcel Beemster, and Afuzion’s CTO, Vance Hilderman. Main Takeaways: C++ is not simply an extension of C. Requirements-based tests with traceability exist for parts of the C++ standard library. Worry about templates mostly if you try to analyze the standard library – normal code is not so weird. […]
Here is a list of talking points they want to discuss, but given that this is an unscripted conversation, they may never get to:
Compilers and libraries play a critical role in any software development process. That is why functional safety standards such as ISO 26262, IEC 61508, EN 50128, and IEC 62304 require that compilers and libraries are qualified. By integrating a proper validation process early, you can maintain full traceability and minimize risks towards product release. It will also ensure that your toolchain supports safety-critical application development in industries like automotive, medical, industrial, and rail.
Do you know how to identify and mitigate vulnerabilities in C and C++ libraries? Watch this joint webinar with TrustInSoft to find out.
SuperTest is the industry standard for C and C++ compiler testing and safety qualification. It is used worldwide by compiler developers for quality assurance and by safety-critical software developers to qualify third-party and open-source compilers.
SuperTest is a compiler test and validation suite for C and C++ compilers and its libraries. It offers hand-crafted and generated test files including millions of conformance tests. In addition, SuperTest includes many tests aimed at compiler internals such as analyses, transformations and optimizations and it comes with powerful and flexible test generators.
In this webinar, we present how to use SuperTest’s powerful depth suites to verify a compiler’s specific data model implementation, and how to simultaneously verify your compiler’s constant propagation optimizations as an additional benefit.
To request access to this recording, please leave your name and business email address.
The SuperTest Aelbert Cuyp 5.0 Release has added 1460 new tests in the C and C++ suites. It covers a variety of new or enhanced features. We will highlight some of these in this short webinar.
This webinar will demonstrate why SuperTest’s highly configurable Calling Convention Tester is an essential test generator to verify calling conventions within a compiler, verify that there are no ABI-breaking changes between different versions of a compiler, or even verify calling convention consistency between completely different compilers.
The evolution of languages and libraries does not only lead to extensions of our test suite, but also of our tooling. This webinar will highlight the newest item in our arsenal, the Tempest2 test generator.
This webinar will teach you how the integration of CerTran and SuperTest automates the analysis of the compiler’s use case and the compiler validation, as part of your qualification project.
Smart compilers keep us on our toes. That is why we are constantly extending SuperTest. This webinar will highlight a number of great new features in the SuperTest Vermeer Release Update #4. We are going to discuss the technical details and background of this new update.
The highly scriptable test driver in SuperTest has many configuration options. In this webinar, we will walk you through the most important options, show you how to script the test driver to run tests on any target platform, and demonstrate multiple methods to speed up your test runs.
Every compiler performs optimizations, even if you don’t ask for it. In this webinar we will present the importance of verifying the correctness of optimizations using SuperTest’s Loop Optimization Test Suite.
No matter what your library of choice is, it is good to understand what is required to verify that the standard library is safe to use. This webinar provided necessary details, tips, and best practices to safely and securely use your standard C Library.
Home / Knowledge / Categories / Video