Software Testing Matures as Memory Safety Takes Center Stage

Paris, France — August 5, 2025 — Software testing is changing—and fast. Today, TrustInSoft released its inaugural 2025 State of Software Assurance Report, conducted with Ferrous Systems and Hitex. The findings show that teams building critical systems are moving away from reactive testing and toward something far more deliberate: proving that bugs can’t happen at all.

This first edition offers a close look at how engineering leaders across automotive, aerospace, and embedded systems are recalibrating their approach to risk, compliance, and software correctness. And while every team’s journey is different, the direction is unmistakable.

Memory Safety Isn’t Optional Anymore

Forget best practice—it’s becoming table stakes. Engineers are signaling a shift in priorities: memory safety is now viewed as a prerequisite for mission-critical systems. Whether it’s protecting a powertrain controller or a flight system, development teams are building safety in from the start rather than bolting it on later.

Precision Is the New Gold Standard

Let’s be honest: traditional tools have limits. False alarms from static analyzers and missed bugs in runtime testing still frustrate developers. What teams want now is certainty. The kind that comes from tools with exhaustive coverage, path sensitivity, and formal guarantees—not just spot checks and hopeful heuristics.

Formal Methods, Once Niche, Are Moving Into View

Techniques like exhaustive static analysis and mathematical verification aren’t just for academia anymore. As regulatory pressure increases and system complexity soars, more teams are evaluating formal methods not just to meet standards, but to own them.

Hybrid Codebases Are Exposing Blind Spots

Rust is gaining traction—especially where safety and performance intersect. But it’s rarely used alone. Legacy C and C++ aren’t going away anytime soon, and combining them introduces new risks. The report captures developer concern around these mixed-language projects, where existing test pipelines often fall short.

Compliance Is Driving the Pace

New industry standards are pushing software teams toward traceable, auditable testing processes. This is more than a paperwork problem—it’s a technical one. And it’s making tools that offer mathematical assurance more relevant than ever.

“This year’s report sets a baseline,” said Caroline Guillaume, CEO of TrustInSoft. “We’re seeing a pivot from detection to prevention. Teams aren’t just asking if software works—they’re asking whether it can fail at all. That mindset shift will define the next decade of software assurance.”

Download the complete 2025 State of Software Assurance Report to see how your peers are evolving their approach—and where you stand. Visit our page to download your copy.

About TrustInSoft

TrustInSoft is a leader in advanced software analysis tools and services that specializes in formal verification of C and C++ source code to ensure safety, security and reliability. Recognized by the US National Institute of Standards and Technology (NIST) for leveraging advanced formal methods, including abstract interpretation, TrustInSoft can mathematically guarantee analyzed software is free of critical runtime errors and vulnerabilities. TrustInSoft serves a diverse range of industries including automotive, aerospace, defense, consumer electronics, and IoT industries.