Testing, Preconditions, Coverage and Templates in Safety-Critical C++ Code

Learn advanced testing strategies for safety-critical C++ applications in this comprehensive conference talk from ACCU 2025. Explore the unique challenges of achieving thorough code coverage in safety-critical environments, where extensive testing is mandatory to verify correct functionality. Discover specialized approaches for testing code with preconditions, including techniques to verify that precondition checks trigger appropriate violation handlers. Examine the complexities of testing template code, where each instantiation represents a distinct entity requiring separate validation due to potential template specializations and varying overload resolution behaviors. Gain practical insights from real-world experience as the speaker shares specific solutions and methodologies developed by their team to address these critical testing challenges in automotive software development.