Static Analysis & Development Testing for Embedded Devices
by Jason Schadewald (Product Manager)
Many developers are overwhelmed by static analysis & other development testing practices. Here are some tips to help you manage the validity and quantity of results with minimal human intervention.
Blog
|
 |
Blog
|
 |
The Static Analysis Spectrum: 5 Types of Static Code Analysis
by Arthur Hicken (Evangelist), Wayne Ariola (Chief Strategy Officer), Adam Trujillo (Technical Writer)
Different types of static analysis serve different purposes. Choosing the right one makes the difference between wasting time & money and developing better software faster.
Blog
|
 |
Getting Down to Business: Leveraging the Right Static Analysis
, Embedded Computing Design by Arthur Hicken (Evangelist), Wayne Ariola (Chief Strategy Officer), Adam Trujillo (Technical Writer)
There are different implementations of static analysis that serve different purposes in the development process. The proper implementation of the right technologies is the difference between wasting time and money and reaching new software development heights.
Article
|
 |
False Positives in Static Code Analysis
by Arthur Hicken (Evangelist), Cynthia Dunlop (Lead Technical Writer)
"Too many false positives" is one the most common excuses for avoiding static analysis. This blog explores what "false positives" really are gives tips on how to manage them.
Blog
|
 |
Blog
|
 |
Blog
|
 |
Static Analysis Tools: When Less is More
by Arthur Hicken (Evangelist), Cynthia Dunlop (Lead Technical Writer)
Is your static analysis tool reporting an overwhelming number of violations? Try these 2 tips for slimming down your static analysis tools violation reports.
Blog
|
 |
How the Grinch Stole Testing
Learn why static analysis and other development testing practices are so noisy & get tips for cutting back on all that noise, noise, noise!
Video
|
 |
Article
|
 |
Static Analysis: The Top 10 Mistakes
, Parasoft White Paper by Arthur Hicken (Evangelist), Wayne Ariola (Chief Strategy Officer), Cynthia Dunlop (Lead Technical Writer)
See the top 10 reasons why static analysis initiatives dont deliver real valueand get some tips for avoiding these common pitfalls.
White Paper
|
 |
Video
|
 |
Video
|
 |
Video
|
 |
Video
|
 |
Video
|
 |
Video
|
 |
Video
|
 |
Video
|
 |
Video
|
 |
Video
|
 |
Integrated Error-Detection Techniques Find More Bugs in Embedded C Software
, Parasoft White Paper by Marek Kucharski (President Parasoft SA, VP of Dev), Cynthia Dunlop (Lead Technical Writer)
Demonstrates how to automate and synchronize error-detection techniquesincluding static code analysis, data flow analysis, unit testing, and runtime error detectionto more effectively find defects in embedded C applications.
White Paper
|
 |
Static Analysis Spring Cleaning
by Cynthia Dunlop (Lead Technical Writer), Arthur Hicken (Evangelist)
Get 10 tips for revitalizing your existing static analysis implementationno matter what static analysis tool you're using.
White Paper
|
 |
Static Analysis and Dynamic Analysis
by Boguslaw Czwartkowski (Professional Services Manager), Cynthia Dunlop (Lead Technical Writer)
Explains how dynamic analysis complements static analysis.
Blog
|
 |
Blog
|
 |
SELEX Case Study
- 553 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.
TAGS: Case Study, C/C++test, Insure++, Jtest, C and C++, Java, Automated Defect Prevention, Development Testing, Embedded, Safety-Critical, Static Analysis
Case Study
|
 |
Thales Case Study
- 555 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.
Case Study
|
 |
IMA Case Study
- 561 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.
Case Study
|
 |
Static Analysis Tool Evaluation Guide
by Arthur Hicken (Evangelist), Cynthia Dunlop (Lead Technical Writer)
Follow these 6 steps to choose a static analysis tool that your team will actually usenow & in the future.
White Paper
|
 |
Integrating Error-Detection Techniques to Find More Bugs in Embedded C Software
, Embedded Computing Design by Marek Kucharski (President Parasoft SA, VP of Dev), Miroslaw Zielinski (C++test Development Mgr), Cynthia Dunlop (Lead Technical Writer)
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.
Article
|
 |
.NET Static Analysis and Parasoft dotTEST
, InfoQ by Arthur Hicken (Evangelist), Cynthia Dunlop (Lead Technical Writer)
Provides practical tips for using static analysis to prevent defects in .NET and other programming languages (C, C++, Java, etc.).
Article
|
 |
Input Validation: Immunity Against Web Attacks
by Arthur Hicken (Evangelist), Cynthia Dunlop (Lead Technical Writer)
Explains how to prevent injection attacks by using input validation and static analysis to build security into your application.
Blog
|
 |
Data Sheet
|
 |
C/C++test: C/C++ Static Analysis, Code Review, Unit Testing, Security
- 1,108 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.
Data Sheet
|
 |
Static Analysis for FDA Software Validation Compliance eBook
by Wayne Ariola (Chief Strategy Officer), Cynthia Dunlop (Lead Technical Writer)
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.
White Paper
|
 |
Blog
|
 |
Inomed Case Study
- 568 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 automationand also achieved full requirements traceability.
TAGS: Case Study, Concerto, C/C++test, dotTest, C and C++, .NET, Software Development Management, Development Testing, Embedded, FDA & Medical Devices, Safety-Critical, Static Analysis, Unit Testing
Case Study
|
 |
Data Sheet
|
 |
Static Code Analysis Best Practices
, Parasoft White Paper by Adam Kolawa (CEO and co-founder), Wayne Ariola (Chief Strategy Officer), Cynthia Dunlop (Lead Technical Writer)
Explains how static analysis (static code analysis, data flow analysis, and metrics) can help your team improve code security, reliability, performance, and maintainabilityand how to get started as painlessly as possible.
White Paper
|
 |
Static Analysis Starter Kit
This 20-page eKit explains how to get started with static analysis (coding standards/static code analysis, data flow & metrics) as painlessly as possible.
Guide/Kit
|
 |
Java Testing & Java Analysis Starter Kit
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.
Guide/Kit
|
 |
Samsung Electronics Case Study
- 553 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.
Case Study
|
 |
Blog
|
 |
Blog
|
 |
White Paper
|
 |
Blog
|
 |
Blog
|
 |
Wipro Case Study
- 625 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%.
TAGS: Case Study, C/C++test, Jtest, dotTest, C and C++, Java, Automated Infrastructure, Code Review, Coverage Analysis, Development Testing, Geographically-Distributed, Static Analysis, Unit Testing
Case Study
|
 |
White Paper
|
 |
Video
|
 |
White Paper
|
 |
Cisco Case Study
- 550 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.
Case Study
|
 |
Trane Case Study
- 549 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.
TAGS: Case Study, C/C++test, dotTest, C and C++, .NET, Code Review, Coverage Analysis, Development Testing, Geographically-Distributed, Static Analysis, Unit Testing
Case Study
|
 |
C and C++ Data Flow Static Analysis
, Parasoft White Paper
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
White Paper
|
 |
White Paper
|
 |
Bovie Medical Case Study
- 565 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-housecutting costs approximately in half and getting to market 6 months sooner.
TAGS: Case Study, C/C++test, dotTest, C and C++, .NET, Development Testing, Embedded, FDA & Medical Devices, Safety-Critical, Static Analysis, Unit Testing
Case Study
|
 |
NEC Telecom Software Philippines Case Study
- 561 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.
Case Study
|
 |
Security Code Audits: One Size Does Not Fit All
, Software Test & Performance - 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.
Article
|
 |
White Paper
|
 |
Article
|
 |
Intermoco Case Study
- 1,244 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.
Case Study
|
 |
Review
|
 |
Best Practices for Bulletproofing C/C++ Code
, Parasoft White Paper
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.
White Paper
|
 |
The Yin and Yang of Software Development: 5 Best Practices that Allow Efficiency and Creativity to Productively Coexist
, Parasoft White Paper
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.
TAGS: White Paper, C/C++test, Jtest, dotTest, C and C++, Java, .NET, Automated Infrastructure, Code Review, Development Testing, Static Analysis, Unit Testing
White Paper
|
 |
Article
|
 |
White Paper
|
 |
Establishing an Infrastructure for Productive Development
, Java Developer's Journal
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.
Article
|
 |
Video
|
 |
Article
|
 |
Flow Analysis: Static Analysis on Steroids
, Java Developer's Journal
Introduces the general concept and benefits of flow analysis, then demonstrates how flow analysis helps you find critical runtime bugs without executing code.
Article
|
 |
Article
|
 |
Bulletproofing C++ Code
, Dr.Dobb's Journal
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.
Article
|
 |
Article
|
 |
JDJ Product Review Parasoft Jtest 8.0
, Java Developer's Journal
"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."
Review
|
 |
Article
|
 |
Jtest Aids Process
, eWeek
"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."
Review
|
 |
Jtest continues its trek toward code-testing supremacy
, InfoWorld
"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."
Review
|
 |
White Paper
|
 |
Bulletproof .NET Code
, .NET Developer's Journal
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.
Article
|
 |
A Small Shop's View of Jtest 8.0
, DevSource
"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."
Review
|
 |
Video
|
 |
Code Quality Improvement
, Dr. Dobb's Journal
Samsung Electronics writes how C/C++test helped them improve code readability, produce consistent code, and prevent error-prone coding styles...
Review
|
 |
TransCore Case Study
- 563 KB PDF
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.
Case Study
|
 |
Enventive Case Study
- 554 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 codeand also implemented best practices that enable them to spend more time creating new capabilities.
Case Study
|
 |
United Guaranty Case Study
- 580 KB PDF
Software defects were resulting in sporadic downtime for United 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.
Case Study
|
 |
Implementing .NET Coding Standards
, Windows IT Pro
How .NET coding standards can prevent security gaps, functionality lapses, maintenance problems, and other quality issues.
Article
|
 |
Article
|
 |
Article
|
 |
Article
|
 |
Video
|
 |
Jtest 7.0 passes with honors
, InfoWorld
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.
Review
|
 |
Product Review: Jtest 7.0 From Parasoft
, Java Developer's Journal
"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."
Review
|
 |
Video
|
 |
Transcore: Reducing Risk in the Development Process
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.
Video
|
 |
Lehman Brothers: Outsourcing & Code Quality Management
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.
Video
|
 |
Prevention's the Cure
, Software Development
Explains how static analysis can help you shift focus from finding bugs to building quality into the code.
Article
|
 |
Cleaning Up XML
, XML Journal
Explains how to prevent poorly-written XML from slowing down an integration projector causing it to collapse.
Article
|
 |
Article
|
 |
Article
|
 |
Article
|
 |
Article
|
 |
Verifying Web Site Accessibility
, WebSphere Developer's Journal
Explains how to comply with Section 508 and W3C WAI mandates for making Web sites accessible to people with disabilities.
Article
|
 |
Article
|
 |
Bulletproofing Web Applications
"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.
Book
|
 |
Article
|
|
|