Ptolemy II Leverages Coverity Scan to Highlight the Importance of Software Quality

Free Development Testing Service for Open Source Community Helps the Next Generation of Java Developers Find and Fix Software Defects

Dec 11, 2013, 09:00 ET from Coverity, Inc.

SAN FRANCISCO, Dec. 11, 2013 /PRNewswire/ -- Coverity, Inc., the leader in development testing, today announced the results of its latest Coverity Scan® Project Spotlight, which analyzed Ptolemy II, an open source Java project that is being used by the University of California, Berkeley, to teach Electrical Engineering & Computer Sciences (EECS) students how to develop high-quality software.

The Ptolemy project studies modeling, simulation and design of concurrent, real-time embedded systems. Ptolemy II, which provides a Java-based software framework supporting experimentation with object-oriented design, joined the Coverity Scan service in September 2013. Since then, the Ptolemy II team has scanned more than 500,000 lines of code and identified more than 1,400 defects. The Scan Spotlight report highlights that, by leveraging the Coverity Scan service, the Ptolemy II team was able to find critical defects not identified by FindBugs, a free open source tool that finds lower-impact coding standard and styling issues in Java software code. Within their first two months in the Scan service, Ptolemy II has already fixed more than 220 high- and medium-impact defects.

"With software now driving so many critical applications that impact our daily lives, the quality of that software is more important than ever. We are proud to be part of U.C. Berkeley's Ptolemy II project, and to contribute to its mission to teach the next generation of electrical engineers how to develop high-quality code," said Jennifer Johnson, chief marketing officer for Coverity. "In the short time since Ptolemy II joined the Scan service, the team has fixed critical defects detected by the Coverity platform that other free tools missed. We look forward to working with them, and the Java development community at large, to help automate code testing and ensure higher software quality and security."

Coverity expanded its free Coverity Scan service to include Java projects in May 2013, to help drive higher levels of software quality and security within the open source community. In that time, Coverity has had more than 100 open source Java projects sign up for the service. The company has also joined the Eclipse Foundation and created a Coverity Scan Hudson plugin that integrates with the projects hosted by the Eclipse Foundation, making it easier for those projects to build development testing into their development workflow.

Online Resources

About Coverity Scan
In 2006, the Coverity Scan service was initiated with the U.S. Department of Homeland Security as the largest public-private sector research project in the world, focused on open source software quality and security. Coverity now manages the project, providing its development testing technology as a free service to the open source community to help them build quality and security into their software development process. Register your open source project for the Coverity Scan service, and follow us on Twitter to get the latest updates.

About Coverity
Coverity, Inc., (, the leader in development testing, is the trusted standard for companies that need to protect their brands and bottom lines from software failures. More than 1,100 Coverity customers use Coverity's development testing platform to automatically test source code for software defects that could lead to product crashes, unexpected behavior, security breaches, or catastrophic failure. Coverity is a privately held company headquartered in San Francisco. Coverity is funded by Foundation Capital and Benchmark Capital. Follow us on Twitter or check out our blog.

Coverity and Coverity Scan are registered trademarks of Coverity, Inc. All other marks are the property of their respective owners.

SOURCE Coverity, Inc.