Feature: Software and tools
Software testing matures as memory safety takes centre stage
By Caroline Guillaume, CEO, TrustInSoft S
oſtware testing is changing – and fast. TrustInSoſt’s first soſtware assurance survey, called ‘2025 State of Soſtware Assurance Report’ and conducted in conjunction
with Ferrous Systems and Hitex, shows that teams building critical systems are moving away from reactive testing and to something far more deliberate – to prove that bugs can’t happen at all. Te report provides a closer look at
how engineering team leaders across automotive, aerospace and embedded systems are adjusting their approach to risk, compliance and soſtware correctness. And while every team’s journey is different, the direction is unmistakable.
Memory safety is no longer optional Engineers are signalling a shiſt in priorities: memory safety is now viewed as a pre-
requisite for mission-critical systems. Whether it’s protecting a powertrain controller or a flight system, development teams are designing in safety from the start rather than bolting it on later. Traditional tools have shown their
limits, with static analysers indicating false alarms, and bugs escaping undetected during runtime testing, all adding to developers’ frustrations. What’s increasingly required today is greater certainty, which can only come from tools providing exhaustive coverage, path sensitivity and formal guarantees, not just spot checks and heuristics. We are increasingly seeing formal methods – once considered niche – moving in. Methodologies like exhaustive static analysis and mathematical verification aren’t just for academia anymore. As regulatory pressure grows and system complexity soars, teams are increasingly evaluating formal methods.
14 September 2025
www.electronicsworld.co.uk
System developers today are moving from traditional testing
Page 1 |
Page 2 |
Page 3 |
Page 4 |
Page 5 |
Page 6 |
Page 7 |
Page 8 |
Page 9 |
Page 10 |
Page 11 |
Page 12 |
Page 13 |
Page 14 |
Page 15 |
Page 16 |
Page 17 |
Page 18 |
Page 19 |
Page 20 |
Page 21 |
Page 22 |
Page 23 |
Page 24 |
Page 25 |
Page 26 |
Page 27 |
Page 28 |
Page 29 |
Page 30 |
Page 31 |
Page 32 |
Page 33 |
Page 34 |
Page 35 |
Page 36 |
Page 37 |
Page 38 |
Page 39 |
Page 40 |
Page 41 |
Page 42 |
Page 43 |
Page 44
