Explore our comprehensive collection of whitepapers, technical information and expert insights to help you get the most out of our solutions.
In-depth technical papers on compiler validation, library testing, and safety-critical software
In safety-critical software development, qualification is not a one-time event. Yet in practice, compiler and library qualification is often treated as something that happens once, at the beginning of a project, and is disconnected from future project development. It is then archived as a PDF that everyone hopes will remain valid forever. This approach does not align with the realities of modern software development and internal safety standards, nor with the expectations of functional safety standards, regulators, or auditors. What is needed instead is a new mindset: Continuous Qualification.
One of the great aspects of functional safety standards is that they do not care about the origin of a tool that is used for a safety critical application. Focusing on compilers in particular, it does not matter if it is bought from a reputable supplier or downloaded from GitHub. What does matter is that the process for qualification as described in the functional safety standard is followed.
Code coverage analysis improves confidence in a test suite. It demonstrates which parts of the source code are actively used as a result of test execution. We run our test suite for the implementation of the C and C++ standard. Code coverage analysis tells us which lines of the library implementation are “stimulated” by the tests.
ABIX is tasked with upgrading and improving the GCC compiler for the Belgian company Melexis, a global supplier of microelectronic semiconductor solutions. With the ABIX staff having successfully used SuperTest for proprietary compiler developments and for compiler testing as a service for many years, using SuperTest is the natural choice here.
The starting point for developing a requirements-based test suite for the Cand C++ standard libraries is the library specification in the ISO language standard. The specification describes the behavior of library functions from the library user’s perspective.
If you think advanced compiler optimizations are robust and well-tested, you are wrong. Our recent experiments with optimization testing have uncovered errors in every compiler technology that we got our hands on. Our conclusion is that advanced optimization testing is currently an underdeveloped skill of compiler developers and that action is required.
Watch our educational videos and recorded webinars on compiler validation and library testing.
Imagine a self-driving car navigating a busy city street. It detects pedestrians, reacts to sudden obstacles, and ensures passenger safety – all in milliseconds. But behind the scenes, hidden from view, lies an invisible force that makes it all possible: the C and C++ compilers and libraries that transform complex ADAS software into machine-executable code. […]
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.
Explore our technical resources to help you get the most out of SuperTest.
SuperTest has two kinds of tests, positive and negative.
Explore our comprehensive documentation on supported compiler toolchains and target platforms for SuperTest, including configuration guides and best practices.
Contact us today to learn how our solutions can help you achieve compliance with absolute confidence.
Request a demo Contact Us
Home / Knowledge