Integrated Error-Detection Techniques Find More Bugs in Embedded C Software , Parasoft White Paper, May 2012

Demonstrates how to automate and synchronize error-detection techniques—including static code analysis, data flow analysis, unit testing, and runtime error detection—to more effectively find defects in embedded C applications.

Insure++: Runtime Error Detection and Memory Error Detection , April 2012 - 492 KB PDF

This data sheet introduces Parasoft Insure++, a C/C++ runtime memory analysis and error detection tool that automatically identifies a variety of difficult-to-track programming and memory-access errors, along with potential defects and inefficiencies in memory usage.

Embedded Testing eKit , March 2012

This 30-page eKit explains how Parasoft can help you reduce the time, cost, and effort of embedded testing.

C++test for Lauterbach TRACE32 , February 2012 - 2,892 KB PDF

This data sheet introduces how C++test works with the Lauterbach TRACE32 debugger.

Satisfying EN 50128 Railway Software Requirements , February 2012 - 1,039 KB PDF

Outlines how Parasoft C/C++test helps organizations satisfy the requirements for particular SIL levels as defined by the EN 50128 standard (for railway software).

SELEX Case Study , January 2012 - 714 KB PDF

SELEX wanted to eliminate software defects early in the SDLC. Learn how Parasoft static analysis helped them increase reliability while reducing reduced development time, costs, and resources.

IMA Case Study , January 2012 - 477 KB PDF

By working with Parasoft , IMA significantly increased the efficiency and auditability of the strict quality process they adopted to comply with pharmaceutical industry regulations.

Making Unit Testing Practical for Embedded Development , Electronic Design, November 2011

Explains how to start verifying code as soon as it is completed—even if the target hardware is not yet built or available for testing. With this strategy, the majority of the problems with the application logic are exposed early and target testing can focus on verifying the interface between the hardware and the software.

Integrating Error-Detection Techniques to Find More Bugs in Embedded C Software , Embedded Computing Design, November 2011

Demonstrates how automated techniques such as pattern-based static code analysis, runtime memory monitoring, unit testing, and flow analysis can be used together to find bugs in a sample embedded C application.

Parasoft C/C++test Supports Texas Instruments Code Composer Studio™ IDE v5 , November 2011

With Parasoft's comprehensive C/C++ testing solution integrated in TI's Code Composer Studio IDE v5, developers of TI's embedded devices can efficiently create quality, leading-edge software.

Parasoft C/C++test integrates with Lauterbach TRACE32® debugger , October 2011

With C/C++test's support for the TRACE32 debugger, users can easily achieve full automation of the testing process.

C/C++test: C/C++ Static Analysis, Code Review, Unit Testing, Security , September 2011 - 883 KB PDF

This data sheet introduces Parasoft C/C++test, an integrated C and C++ testing toolkit for static code analysis, code review, automated unit and component testing, coverage analysis, runtime error detection, and regression testing.

Static Analysis for C and C++ , July 2011

Introduces Parasoft's static analysis capabilities for C and C++, including built-in support for FDA, MISRA, JSF, ISO 26262, and other safety-critical and embedded development standards.

Insure++ Runtime Memory Error Detection for C++ and C , May 2011

Introduces Insure++, a runtime memory analysis and error detection tool for C and C++ that automatically identifies a variety of difficult-to-track programming and memory-access errors, along with potential defects and inefficiencies in memory usage.

C/C++test: C/C++ Testing and Analysis , May 2011

Introduces how C/C++test simplifies static analysis, code review, unit testing, and runtime error detection for embedded and enterprise development.

Introduction to Parasoft C/C++test , April 2011

This webinar introduces Parasoft C/C++test, a broadly-featured language tool for testing C and C++ applications.

Runtime Error Detection Starter Kit , March 2011

This 30-page eKit explains how runtime error detection helps you expose defects such as race conditions, exceptions, resource & memory leaks & security attack vulnerabilities.

Code Review Starter Kit , March 2011

This 20-page eKit explains how to obtain real value from code review—so it's not a burden on developers & a waste for management.

Unit Testing Starter Kit , March 2011

This 20-page eKit provides practical tips on how adopt unit testing without all the traditional hassles—so you can obtain real value from unit testing.

Static Analysis Starter Kit , March 2011

This 20-page eKit explains how to get started with static analysis (coding standards/static code analysis, data flow & metrics) as painlessly as possible.

Samsung Electronics Case Study , February 2011 - 130 KB PDF

To deliver more and more complex functionality in less time than ever before, Samsung turned to static analysis. Learn how they accelerated development while maintaining stringent quality standards.

Memory Error Detection , January 2011

Introduces Parasoft's C++/C memory error detection capabilities, which uncover memory corruption, memory leaks, pointer errors, more.

Safety-Critical Development Starter Kit , December 2010

This 18 page eKit introduces proven strategies for controlling safety risks and complying with DO-178B, MISRA, JSF, ISO 26262, IEC 61508 or other guidelines.

Parasoft Insure++ Starter Kit , December 2010

This 21-page PDF guide explains the challenges associated with C++ and C development and offers tips on how to address them with Parasoft Insure++.

Understand and Optimize Code Coverage eBook , December 2010

This 20-page Code Coverage Guide introduces common pitfalls and misconceptions regarding code coverage granularity, coverage criteria, coverage density, and test overlap, then it explains what you need to know to choose the best coverage metric for your goals.

Static Analysis and Run Time Error Detection on 64-Bit Platforms , October 2010

Introduces a strategy for identifying run time memory errors and other defects after porting software code to 64-bit processors or platforms.

Static Analysis for Porting Code to 64-Bit Platforms , October 2010

Introduces static analysis rules that help you remove memory errors and other defects when porting code to 64-bit platforms

Automating C/C++ Runtime Error Detection with Parasoft Insure++ , Parasoft White Paper, October 2010

Discusses the challenges associated with C and C++ development— including memory corruption, memory leaks, pointer errors, I/O errors, and more— and explains how Parasoft helps developers eliminate those problems.

Satisfying SIL Requirements: Ensure Functional Safety of E/E/PE Safety-Related Systems , Parasoft White Paper, September 2010

Outlines how Parasoft addresses the requirements for achieving each SIL safety integrity level as defined by the IEC 61508 standard.

Satisfying ASIL Requirements: Ensure the Functional Safety of Automotive Software , Parasoft White Paper, September 2010

Outlines how Parasoft addresses the requirements for achieving each ASIL safety integrity level as defined by the ISO/DIS 26262 standard.

Porting to 64-Bit Platforms: Why Is it So Challenging? , September 2010

Introduces the potential problems that could occur when you port applications to 64-bit processors.

ISO 26262 Software Compliance: Achieving Functional Safety in the Automotive Industry , Parasoft White Paper, September 2010

Outlines how Parasoft addresses the development process functional safety aspects that are outlined in ISO/DIS 26262.

Wipro Case Study , September 2010 - 575 KB PDF

To remain competitive, Wipro needed a more efficient and cost-effective way to maintain the exceptional quality standards that they pride themselves on. Find out how an automated testing infrastructure helped them achieve their quality objectives while reducing testing time and effort by 25%.

Expose Hidden C and C++ Defects Automatically , August 2010

This 40-minute video explains how Insure++'s runtime memory error detection exposes memory corruption, memory leaks, access outside of array bounds, invalid pointers, and other defects.

Integrating Parasoft C++test and MDK-ARM for Achieving Higher Quality and Safety Verification , July 2010

This paper introduces C++test integration with MDK-ARM

Practical Unit Testing for Embedded Systems - Part 2 of 2 , July 2010

Demonstrates how to prepare, maintain, and benefit from setting up unit tests for a simplified simulated ASR module. Learn how to achieve particular goals with unit testing (like a certain level of code coverage) and explore the safety relevance of unit testing.

Practical Unit Testing for Embedded Systems - Part 1 of 2 , July 2010

Demonstrates how to prepare, maintain, and benefit from setting up unit tests for a simplified simulated ASR module. Learn how using tight IDE/Test Framework integration and the test-tool-dedicated host communication channel through ULINK Pro simplifies the initial set up and extends testing capabilities.

C++test for ARM RVDS , February 2010

This data sheet introduces the C++test plugin for the ARM RealView Development Suite environment.

C++test for Keil µVision , February 2010

This data sheet introduces the C++test plugin for the Keil µVision environment.

C++test for Wind River Workbench , February 2010

This data sheet introduces the C++test plugin for the Wind River Workbench environment.

C++test for TI Code Composer , February 2010

This data sheet introduces the C++test plugin for the Texas Instruments (TI) Code Composer environment.

C++test User Testimonials , February 2010

Read what customers had to say about C++test's static analysis, unit testing, code review, and runtime error detection capabilities.

C and C++ Data Flow Static Analysis , Parasoft White Paper, January 2010

Demonstrates how Parasoft's data flow analysis for C and C++ provides automated detection of runtime errors such as memory and resource management problems, buffer overruns, thread management errors, dead code, exceptions, and security vulnerabilities

Techniques for Unit Testing Embedded Systems Software , Parasoft White Paper, July 2009

Explains how unit testing can help developers start verifying code as soon as it is completed—even if the target hardware is not yet built or available for testing—so target testing can focus on verifying the interface between the hardware and the software.

Code Review Best Practices , Parasoft White Paper, July 2009

Explains how process automation plus a focus on requirements can help your team uncover more complex defects during peer code review—without impeding project progress.

Static Analysis Best Practices , Parasoft White Paper, July 2009

Explains how coding standards analysis (static code analysis), data flow analysis, and metrics can help your team improve code security, reliability, performance, and maintainability—and how to get started as painlessly as possible.

Unit Testing Best Practices , July 2009

Explains how unit testing can help your team rapidly modify code with confidence—and how to get started as painlessly as possible.

NEC Telecom Software Philippines Case Study , April 2009 - 381 KB PDF

NEC Telecom Software Philippines (NSP) needed an alternative to manual code review and unit testing in order to comply with internal quality initiatives while working under a tight schedule. Find out how Parasoft helped them streamline their internal quality processes to more efficiently satisfy quality initiatives.

BITTT Enterprises Case Study , February 2009 - 101 KB PDF

A show-stopping error suddenly emerged from a new build of a stable project. Learn how Parasoft helped BITTT resolve this issue as well as increase code quality, stability, and compliance.

Parasoft Secure Application Development Solution Sheet , January 2009

This solution sheet introduces Parasoft's Secure Application Development solution, which establishes a continuous process that ensures security verification and remediation tasks are not only deployed across every stage of the SDLC, but also ingrained into the team's workflow.

C/C++ Runtime Memory Analysis and Error Detection , March 2008

This 12-minute video demonstrates how Parasoft Insure++ automatically identifies programming and memory-access errors, along with potential defects and inefficiencies in memory usage.

Guest View: Will C and C++ Survive? , SD Times, February 2008

Several years ago, many people were declaring that C and C++ were dead, and Java would soon take over the world. It seems that the C/C++ doomsayers vastly underestimated the languages’ role in meeting the increasing demands for embedded software.

The Yin and Yang of Software Development: 5 Best Practices that Allow Efficiency and Creativity to Productively Coexist , Parasoft White Paper, February 2008

Explains how 5 best practices reduce the amount of avoidable waste in the software development process, enabling developers to satisfy business goals without compromising their craft.

Parasoft Insure++: Before You Get Started , Parasoft White Paper, July 2007 - 38 KB PDF

Helps you understand why Insure++ reports compiler errors under certain conditions...and what to do if it reports one for your code.

Infrastructure for Productive Development , July 2007

Learn how to reduce the amount of avoidable waste in the software development process, enabling developers to satisfy business goals without compromising their craft.

Strategies for Overlapping the Development of Embedded Systems Software and Hardware , ECN Magazine, April 2007

Explores how to resolve most issues in the software's logic during desktop testing, significantly reducing the amount of time you need to spend testing the code on the target device.

Early Testing Benefits Consumer Electronics , ECN Magazine, November 2006

Explains how running unit tests (or API tests) on the host system or on a simulator lets testing begin earlier in a design cycle, often concurrent with target-hardware development.

The Challenges of Developing Games & Other High-Resolution Graphics , Enterprise Open Source Magazine, November 2006

Explores the challenges of developing software for the game development industry, and describes the strategies used to overcome them. The challenges and strategies discussed apply not only to game development, but also to most high-resolution graphic development, which is increasingly being performed on Linux.

Reducing the Risks of 64-bit Application Porting With Parasoft C++test and Parasoft Insure++ , Parasoft White Paper, September 2006

Introduces the potential problems that could occur when you port applications to 64-bit processors and describes a practical strategy for preventing them.

"Inside View: Parasoft Insure++ 7.0 for Linux" , Linux World, June 2006

Parasoft's Sergei Sokolov provides an inside view on how Parasoft Insure++ helps developers perform runtime memory analysis and debugging.

Removing Memory Errors from 64-Bit Platforms , Dr. Dobb's Journal, October 2005

Explains why and how to address potential memory errors before porting to 64-bit platforms.

Avoiding C/C++ Dynamic Memory Problems with Parasoft Insure++ , Parasoft White Paper, September 2005

Discusses the challenges associated with C and C++ development— including memory corruption, memory leaks, pointer errors, I/O errors, and more— and explains how Parasoft Insure++ helps developers eliminate those problems.

Reducing Software Security Vulnerabilities through Unit Testing , Military & Aerospace Electronics, July 2005

Explains how best practices like unit testing and coverage analysis can help prevent buffer overflow security vulnerabilities.

Lehman Brothers: Outsourcing & Code Quality Management , November 2004

Learn how the adoption of unit testing and static code analysis allowed Lehman to control the quality of code delivered by outsourcers, enhance the productivity of its development staff, improve the overall reliability of its applications, and create consistent predictability of project release dates.

How and Why to buy a Runtime Debugger , Parasoft White Paper, October 2002

Explains why to buy a runtime debugger and what questions to ask as you are selecting one.

"Divide and conquer" Prevents Errors on Hosts and Targets , EE Times, August 2002

Introduces a a two-stage, "divide and conquer" strategy that prevents errors on both the host and target systems.

Techniques for Preventing and Detecting Errors in Embedded Systems , Dedicated Systems Magazine, March 2001

Explains how error detection, and debugging techniques can dramatically improve embedded software quality and reduce the time and money spent on debugging.

Insure++ Review , LINUX Journal, July 1998

"I think Insure++ is a great product. It finds programming errors better than any other product I have used, it runs under my favorite operating system, and Parasoft's technical support is excellent."

Memory Error Detection When Porting to 64-Bit Platforms: Preparing for Porting , September 0201

Introduces a process to prepare the application for the porting process: 1. Perform mutation testing via runtime memory error detection; 2. Use static analysis to identify error-prone and non-portable code; 3. Repeat runtime memory error detection; 4. Perform unit testing (Optional)