Vector Software founder responds to article, discusses software code testing and analysis

EAST GREENWICH, R.I., 27 Aug. 2012. The founder and chief operating officer (COO) of Vector Software Inc., a provider of dynamic automated test tools for embedded software applications headquartered in East Greenwich, R.I., objects to recent article and clarifies the difference between “testing” and static analysis, as well as the value of finding errors and defects in software code

Read the original article, "Coverity tests 2 million lines of mission-critical flight software for defects on Curiosity Mars Rover," here: http://www.avionics-intelligence.com/articles/2012/08/coverity-test.html

The Letter to the Editor reads as follows:

I didn't see a place under the article to comment but I think the word “test” is very misleading. Static analysis tools do not really test software. They analyze software to see if there are any coding errors and adherence to coding standards like MISRA. They also help with code reviews, buffer overflows, and memory leaks. Tools that test software are considered “dynamic test tools”. They actually stimulate the code with input data, usually based on requirements, and check the associated expected result. Static analysis tools do not do this.

Static analysis tools, while very valuable, are really only a small part of the overall verification and validation effort that should be performed to ensure that safety critical code is properly tested.

The next question to ask is: Did the contractor do full unit testing and achieve 100% code coverage on the target platform prior to declaring this 2.5 million lines of code tested?

Another question is: Would a static analysis tool have caught the Mars Climate Orbiter unit of measure conversion problem (one team used English units, the other metric units) back in 1999? This problem may have easily been uncovered during unit and integration dynamic testing.

Thanks,
Bill McCaffrey
Founder and COO
Vector Software Inc.

Follow Avionics Intelligence news updates on Twitter.

Easily post a comment below using your Linkedin, Twitter, Google or Facebook account.

Aerospace Image of the Day

Related Products

RR2P Removable Canister RAID System

Transportable data storage for mobile field use aboard planes, ships and ground transpo...

API DC Link Power Film Capacitors

High reliability DC link capacitors for power inverter applications which require super...

Silicones

Master Bond’s silicones are available in both one part and two part versions that offer...

Related Companies

Innovative Integration

  Since 1988, Innovative Integration has grown to become one of the world's leading supplier...

Winchester Systems Inc

At its founding in 1981, Winchester Systems introduced its first 5 MB disk system for Intel devel...

API Technologies Corp

Who We Are API Technologies is a dominant technology provider of RF/microwave, microelectronics, ...

Most Popular Articles


From the Wires

There is no current content available.
Wire News provided by   

 

All Access Sponsors


Follow Us On...