Software verification techniques such as static code analysis, runtime memory analysis, unit testing, and data flow analysis can each prevent and detect specific types of defects. Development teams can apply all of these complementary techniques in concert, dramatically reducing the risk of going to market with the defects and security vulnerabilities that commonly evade traditional fragmented testing efforts.

Runtime memory analysis identifies serious runtime defects, such as memory leaks, null pointers, uninitialized memory, and buffer overflows, during execution. It operates at both the unit level and application level. Since the instrumentation used for this analysis is lightweight, it can be run on the target board, simulator, or host for embedded testing.

Concerto Task Assistant brings change-based testing and automated task management directly to the developers' familiar work environment. Concerto interacts seamlessly with Visual Studio and Eclipse-based IDEs to distribute, manage, and monitor each team member's assigned tasks. The correlation of requirements, tasks, test cases, and artifacts not only establishes a flawless audit trail, but also provides the base correlations for change impact analysis.

C++Test offers extended environment and compiler support for ARM, Keil, IAR, Texas Instruments, QNX, AIX, and Eclipse 3.5.

An upcoming Parasoft C and C++ webinar series is designed to help C and C++ development teams reduce the time, effort, and cost of testing applications through integrated, automated analysis and testing. This webinar series will kick off with a two-part program, beginning February 11 with Introduction to Parasoft C and C++ Solutions, followed by Introduction to Runtime Memory Analysis for C and C++ Development on February 12.

For more information visit parasoft.com.