comment on this article

Big Brother?

Static analysis tools provide someone to watch over your code development.

Writing software is a tricky business, particularly if the code being produced is intended for application in a safety critical environment. In these applications, you don’t want the code to crash when it encounters unexpected conditions.
So those companies developing software for safety critical and similar applications are increasing turning to tools which allow them to inspect the code closely.
One such company is LDRA, whose lead FAE Ian Harry explained: “We’re not in the development industry, we’re in the business of testing source code for safety critical applications.”
LDRA has been in existence since the mid 1970s, when it was involved in software for controlling nuclear power stations. Since then, said Harry, the company has developed an ‘end to end’ product line. “At the front end,” he noted, “there’s requirements tracking that allow people testing code or systems to track requirements right down to the tests they plan to run on that code.”
Harry says the company’s ‘engine’ is LDRA Testbed. “It’s a static analysis engine,” he continued, “that runs through the code and tells people what’s happening. They will often say they’re doing that already, but our tools do it better and to a much deeper level.”

Author
Chris Shaw

Related Downloads
16610\P27-28.pdf

Comment on this article


This material is protected by MA Business copyright See Terms and Conditions. One-off usage is permitted but bulk copying is not. For multiple copies contact the sales team.

What you think about this article:


Add your comments

Name
 
Email
 
Comments
 

Your comments/feedback may be edited prior to publishing. Not all entries will be published.
Please view our Terms and Conditions before leaving a comment.

Related Articles

Feabhas joins IoTSF

The independent provider of embedded software development training and ARM ...

MISRA C evolves

With the increased connectivity of applications and devices, OEMS are demanding ...

Change based testing

A major cause of software bugs is inefficient and incomplete testing. This ...

Secure Shell for MCUs

The emSSH software library launched by SEGGER is intended for creating secure ...

Development ecosystem

The development ecosystem from STMicroelectronics will support additions to its ...

Keeping standards high

Engineers – at least those who are worth their salt – ask questions. And those ...