Parasoft Logo Contact us   |   Blog   |   Support   |   Downloads   |   info@parasoft.com   |   888-305-0041   |   Language »
Parasoft Resources Center: Static Analysis

Agile Quality Practices that Save Time

This 12-page eBook aggregates 10 tips for ensuring that each new feature is truly "done"...and defects don't derail your Agile project. read more >>

Parasoft Advances Static Analysis for Security, Accelerates Desktop Analysis

Parasoft Jtest's expanded software security assurance, paired with workflow optimization, helps developers find and fix critical defects faster. read more >>

SELEX Case Study

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. read more >>

Parasoft Advances Static Analysis for Security, Accelerates Desktop Analysis , January 2012

Parasoft Jtest's expanded software security assurance, paired with workflow optimization, helps developers find and fix critical defects faster.

Logo
Press Release
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.

Logo
Case Study
Thales Case Study , January 2012 - 696 KB PDF

By applying Parasoft solutions to its Integrated Tramway Management Solutions project—then later deploying it across the entire Automatic Vehicle Location System division—Thales Italia reduced its rate of defective components by 30% and significantly increased application performance.

Logo
Case Study
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.

Logo
Case Study
Static Analysis Tool Evaluation Guide , December 2011

Follow these 6 steps to choose a static analysis tool that your team will actually use—now & in the future.

Logo
White Paper
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.

Logo
Article
.NET Static Analysis and Parasoft dotTEST , InfoQ, October 2011

Provides practical tips for using static analysis to prevent defects in .NET and other programming languages (C, C++, Java, etc.).

Logo
Article
Input Validation: Immunity Against Web Attacks , September 2011

Explains how to prevent injection attacks by using input validation and static analysis to build security into your application.

Logo
Blog
dotTEST: .NET Static Analysis, Code Review, Unit Testing, Security , September 2011 - 286 KB PDF

This data sheet introduces Parasoft dotTEST, an integrated .NET language testing toolkit for static code analysis, code review, automated unit and component testing, coverage analysis, and regression testing.

Logo
Data Sheet
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.

Logo
Data Sheet
Static Analysis for FDA Software Validation Compliance eBook , July 2011

To assist organizations that are exploring static analysis for FDA compliance, this 12-page guide describes Parasoft's static analysis capabilities in the context of FDA compliance.

Logo
White Paper
What Do Developers Hate Most About Static Analysis? , July 2011

Presents results from a recent survey on what developers hate most about static analysis.

Logo
Blog
Static Analysis for Secure Application Development , July 2011

Introduces Parasoft's static analysis capabilities for secure application development.

Logo
Web Page
Static Analysis for Safety-Critical Development , July 2011

Introduces Parasoft's static analysis capabilties for safety-critical development (MISRA, ISO 26262, JSF, more)

Logo
Web Page
Static Analysis for FDA and Medical Device Development , July 2011

Introduces Parasoft's static analysis capabilties for FDA / IEC 62304 / medical device development.

Logo
Web Page
Static Analysis for .NET , July 2011

Introduces Parasoft's static analysis capabilities for .NET (C#, VB.NET, IL, etc.)

Logo
Web Page
Static Analysis for Java , July 2011

Introduces Parasoft's static analysis capabilities for Java, including Google Android, Spring, Hibernate, Eclipse plug-ins, TDD, JSF, Struts, JDBC, EJBs, JSPs, servlets, mobile, more.

Logo
Web Page
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.

Logo
Web Page
Static Analysis , July 2011

Introduces Parasoft's static analysis capabilities, including static code analysis, data flow static analysis, and code metrics analysis.

Logo
Web Page
Inomed Case Study , May 2011 - 152 KB PDF

Inomed wanted to streamline the risk management processes they established for IEC 62304 medical device software certification. Learn how they increased efficiency through automation—and also achieved full requirements traceability.

Logo
Case Study
dotTEST: .NET Testing and Analysis , May 2011

Introduces how dotTEST simplifies static analysis, code review, unit testing for languages that target the Microsoft .NET Framework and .NET Compact Framework, including C#, VB.NET, and MC++ (Managed C++).

Logo
Web Page
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.

Logo
Web Page
Jtest: Java Testing and Analysis , May 2011

Introduces how Parasoft Jtest simplifies Java static analysis, code review, unit testing, and runtime error detection.

Logo
Web Page
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.

Logo
Video
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.

Logo
Guide/Kit
Java Testing & Java Analysis Starter Kit , March 2011

This 25 page eKit explains how Parasoft Jtest simplifies Java unit testing (including JUnit test generation & TDD), static analysis (code analysis, data flow, metrics), runtime error detection, and code review.

Logo
Guide/Kit
Jtest: Java Static Analysis, Code Review, Unit Testing, Security , March 2011 - 727 KB PDF

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

Logo
Data Sheet
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.

Logo
Case Study
Static Code Analysis Rule Set Optimization Can Uncover More Defects , December 2010

Shows how static analysis--specifically, fine-tuning a team's static code analysis rule set--helped Parasoft's development team eliminate defects.

Logo
Blog
Static Analysis Finds Software Defects that Functional Tests Miss , December 2010

Provides an example of how static analysis exposes software defects that functional testing would miss.

Logo
Blog
Integrated Error-Detection Techniques Find More Bugs in .NET Applications , Parasoft White Paper, October 2010

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

Logo
White Paper
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.

Logo
Blog
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

Logo
Blog
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%.

Logo
Case Study
Success with Static Analysis for Security: Why Code Audits Fail , Parasoft White Paper, August 2010

Explains why and how to apply static analysis tools in the context of a policy-based security process that not only prevents security vulnerabilities, but also focuses on SDLC productivity.

Logo
White Paper
Expose Concurrency Defects in Java , June 2010

Learn how to expose and prevent concurrency defects that cause deadlocks, performance degradation, data corruption, and more.

Logo
Video
Cisco Case Study , April 2010 - 459 KB PDF

To comply with corporate quality and security initiatives, Cisco Systems adopted static analysis, unit testing and code review. Learn how they automated these practices and seamlessly integrated them into their existing processes to deliver compliant code without impeding productivity.

Logo
Case Study
Trane Case Study , February 2010 - 86 KB PDF

Trane decided to migrate their legacy systems to C++ and .NET to enable more rapid and agile responses to business demands. Discover how Parasoft reduced the learning curve, helped them ensure code met uniform expectations around reliability, performance, and maintainability, and helped them achieve nearly 100% coverage on unit tests.

Logo
Case Study
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

Logo
White Paper
Integrated Error-Detection Techniques Find More Bugs in Java Applications , Parasoft White Paper, October 2009

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 Java applications.

Logo
White Paper
Integrated Error-Detection Techniques Find More Bugs in Embedded C Software , Parasoft White Paper, July 2009

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.

Logo
White Paper
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.

Logo
White Paper
Bovie Medical Case Study , June 2009 - 162 KB PDF

Bovie Medical had been using an outside vendor to perform the software validation required for FDA compliance, but they wanted to improve the effectiveness of testing while at the same time reduce testing costs. Learn how Parasoft helped them move verification and validation testing in-house—cutting costs approximately in half and getting to market 6 months sooner.

Logo
Case Study
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.

Logo
Case Study
Security Code Audits: One Size Does Not Fit All , Software Test & Performance, April 2009 - 628 KB PDF

Introduces best practices for applying security static analysis, data flow analysis, penetration testing, and workflow optimization to bake security into the application development process.

Logo
Article
Data Flow Static Analysis: Static Analysis on Steroids , Parasoft White Paper, March 2009

Explains how data flow analysis can be applied to bolster both your static analysis and unit testing efforts.

Logo
White Paper
Static Analysis, Security Failure , Software Test & Performance, October 2008

Discusses why a policy-based approach is the secret to success with static analysis.

Logo
Article
Intermoco Case Study , September 2008 - 721 KB PDF

Intermoco's engineering organization is responsible for both the "server side" (or database) activities associated with its network operations center as well as "embedded" solutions associated with metering and communication units in the field. Learn how Parasoft helped them double testing coverage, reducing the risk of inaccurate reporting and unit failures in the field.

Logo
Case Study
Parasoft .TEST 4.0: How to Best Combat Errors in .NET Applications , Software Developer's Journal, May 2008 - 867 KB PDF

Parasoft .TEST 4.0: How to Best Combat Errors in .NET Applications

Logo
Review
Best Practices for Bulletproofing C/C++ Code , Parasoft White Paper, April 2008

Examines several techniques that reduce the risks of errors when extending an existing code base, as well as improve the stability and quality of the project's evolving code base.

Logo
White Paper
Automating .NET Development Best Practices: The Fast Track to Reliable .NET Software , Parasoft White Paper, February 2008 - 627 KB PDF

Introduces the best practices shown to have the greatest impact on .NET code's reliability, agility, and maintainability, then explains how automation can help your team take advantage of these best practices without disrupting or slowing your normal processes.

Logo
White Paper
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.

Logo
White Paper
Building Security into Software with Security Policies & Static Analysis , Java Developer's Journal, February 2008

Discusses why the most effective security efforts define a policy that details security requirements, then use static analysis to verify that the policy is implemented in the code.

Logo
Article
Validate Section 508 and WAI WCAG Web Accessibility Compliance , Parasoft White Paper, February 2008 - 477 KB PDF

Explains how Parasoft facilitates compliance with Section 508 and WAI WCAG web accessibility guidelines.

Logo
White Paper
Establishing an Infrastructure for Productive Development , Java Developer's Journal, September 2007

This article explains how five industry-standard practices reduce the amount of avoidable waste in the software development process, enabling developers to satisfy business goals without compromising their craft.

Logo
Article
Quality Meets Speed - Producing Superior .NET Applications Fast , July 2007

Learn how to prevent important classes of bugs with minimal effort, save time designing and writing unit tests, and streamline your code review process.

Logo
Video
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.

Logo
Video
SOA Best Practices - Four Steps to Securing Your Web Services , SOA World Magazine, May 2007

Details practices for ensuring Web service security throughout the SDLC.

Logo
Article
Flow Analysis: Static Analysis on Steroids , Java Developer's Journal, May 2007

Introduces the general concept and benefits of flow analysis, then demonstrates how flow analysis helps you find critical runtime bugs without executing code.

Logo
Article
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.

Logo
Article
Bulletproofing C++ Code , Dr.Dobb's Journal, January 2007

Examines techniques that reduce the risks of errors when extending an existing code base, as well as improve the stability and quality of the project's evolving code base.

Logo
Article
Is It Done Yet? Three steps to checking in your code with confidence , SOA World, December 2006

Presents three steps to checking in your code with confidence.

Logo
Article
JDJ Product Review — Parasoft Jtest 8.0 , Java Developer's Journal, November 2006

"Jtest has matured with age and is getting like a fine wine now. There are facets that I discover every day that make me open my eyes and go, 'Wow!' It's a large complicated product, but for a large team it's essential."

Logo
Review
Jtest Aids Process , eWeek, October 2006

"Developers, like astronauts, want to get quickly to the point of knowing whats really wrong with rapid further progress toward getting it fixed. Jtest 8 makes significant progress on both fronts. It offers more comprehensive tools for following a fault across the boundaries of a multimodule application, and it integrates useful aids to the process of code review and repair."

Logo
Review
Jtest continues its trek toward code-testing supremacy , InfoWorld, October 2006

"Jtest was already a great Java testing tool; now it's even better. Version 8 adds more pre-loaded rules and the new BugDetective analysis module for locating problems and identifying their origin. It takes on everything from unit tests to functional tests, and it does not limit your testing of any particular Java component."

Logo
Review
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.

Logo
White Paper
Bulletproof .NET Code , .NET Developer's Journal, September 2006

Introduces a simple four-step strategy that has been proven to make .NET code more reliable, more secure, and easier to maintain - as well as less likely to experience functionality problems.

Logo
Article
A Small Shop's View of Jtest 8.0 , DevSource, September 2006

"You don't need a large corporate development team to appreciate Parasoft's Jtest. Just a real application that needs to be debugged, that needs test cases generated, or needs a code review. Find out why our reviewer fell in love."

Logo
Review
How to Implement and Automate Trolltech Qt Best Coding Practices with Parasoft C++test , August 2006

Gain an introduction to the Qt framework and learn strategies for preventing and eliminating errors while developing on it.

Logo
Video
TransCore Case Study , January 2006

TransCore needed a cost-effective way to ensure the reliability of their Java-based toll-road payment collection systems. Learn how static analysis and unit testing helped them achieve this by exposing defects early when they could be resolved with minimal rework and added costs.

Logo
Case Study
Enventive Case Study , January 2006 - 665 KB PDF

Most of Enventive's products must comply with a design for Six Sigma development process and meet a five nines (99.999%) reliability standard. Discover how Parasoft helped them move towards their goal of 100% crash-free code—and also implemented best practices that enable them to spend more time creating new capabilities.

Logo
Case Study
AIG - United Guaranty Case Study , January 2006 - 1,179 KB PDF

Software defects were resulting in sporadic downtime for AIG Guaranty's applications, disrupting the business processes that relied on them. Learn how they established a continuous quality process that not only addressed these availability problems, but also saves them more than $400,000 annually.

Logo
Case Study
Implementing .NET Coding Standards , Windows IT Pro, January 2006

How .NET coding standards can prevent security gaps, functionality lapses, maintenance problems, and other quality issues.

Logo
Article
Automated Coding Standards Analysis , Wrox Press, November 2005

Provides a concise introduction to static code analysis for checking compliance to coding standards.

Logo
Article
Hold the Line Against Application Attacks , Software Test & Performance, November 2005

Presents the security best practices that should be integrated throughout the SDLC in order to "bake in" application security.

Logo
Article
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.

Logo
Article
Insurance Services Office: QA Experience with Security Solutions , September 2005

ISO QA manager Maria Conway shares her views on new technology and demonstrates leading edge solutions for ensuring application security, reliability, and compliance.

Logo
Video
Jtest 7.0 passes with honors , InfoWorld, September 2005

Parasoft Jtest 7.0 is like a Java code development assistant on a SoBe Adrenaline Rush intravenous drip. Not only does it do source analysis, perform coverage analysis, and manage unit test production, execution, and tracking, but now it provides on-the-fly generation of functional tests for everything from stand-alone applications to container-supported servlets and EJBs. In short, Jtest is becoming a one-stop-shopping Java-testing supercenter that copes with just about every Java component you might develop, regardless of its run-time requirements.

Logo
Review
Product Review: Jtest 7.0 From Parasoft , Java Developer's Journal, June 2005

"Jtest makes static code analysis a breeze and it should be easy for even beginners to analyze their code for compliance to standards as well as to generate unit tests."

Logo
Review
BNSF Railway: Managing Change to Ensure Quality Software , June 2005

Learn practices for maximizing change management techniques to produce reliable and robust applications.

Logo
Video
Transcore: Reducing Risk in the Development Process , April 2005

The leader in automated open road toll collection systems describes how they improved time to market predictability and contractual service level metric satisfaction by integrating unit testing and automated static code analysis into their Java development practice.

Logo
Video
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.

Logo
Video
Prevention's the Cure , Software Development, August 2004

Explains how static analysis can help you shift focus from finding bugs to building quality into the code.

Logo
Article
Cleaning Up XML , XML Journal, March 2004

Explains how to prevent poorly-written XML from slowing down an integration project–or causing it to collapse.

Logo
Article
The Strange Inconsistency of Developers , SD Times, December 2003

Argues that while love their code improvement books, they don't see any real reason to worry about the rules when coding.

Logo
Article
Cutting the Crap: 7 Keys to Clean Up XML , Integration Developer News, August 2003

Provides a checklist for cleaning up code that may have been auto-generated by a variety of tools.

Logo
Article
Automated Error Prevention; Preventing Errors in Business Systems , WebSphere Journal, July 2003

Explains how to prevent errors in business systems built upon WebSphere.

Logo
Article
JUnit + Jtest = Automated Test Case Design and Static Analysis , DevX.com, May 2003

Outlines how Jtest, an automated unit testing and static analysis tool, extends JUnit to provide automatic test case generation and static analysis functionality.

Logo
Article
Verifying Web site Accessibility , WebSphere Developer's Journal, January 2003

Explains how to comply with Section 508 and W3C WAI mandates for making Web sites accessible to people with disabilities.

Logo
Article
Techniques for Testing Your JavaServer Pages , EbizQ.net, July 2002

Provides a handful of testing tips that should help you improve the reliability of your applications that use JSP.

Logo
Article
Bulletproofing Web Applications , December 2001

"Bulletproofing" is a road map for how to integrate error prevention and detection into the development process to ensure that Web applications are robust, scalable, efficient and reliable.

Logo
Book
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.

Logo
Article
Clean and Protect a Large .NET Code Base with Coding Standards and Unit Testing , .NET Developer's Journal, November 0200

Explains a simple strategy that has proven to deliver fast and significant improvements to large and complex .NET code bases.

Logo
Article
 
 
RSSTwitterFacebookWikipediaLinked In Copyright © 1996-2012 Parasoft   |  Privacy Policy |  Site Map