|
Tool specific news:
Company Conformiq Tool Suite Coverity CMT++/CMTJava CTC++/CTC for Java and C# DataDrill Express Elvior TestCast QMetry Software Diagnostics Seminars ALL NEWS
(San Francisco/USA, 17 April 2012)
Coverity, Inc., the leader in development testing, today announced the availability of the latest version of its development testing platform, Coverity 6.0.
Coverity 6.0 makes it faster and easier than ever to share defect information across geographically distributed development teams. New features available in Coverity 6.0 include:
- Improved Defect Management Collaboration:
Reduce the time and cost of identifying, researching and resolving defects across shared code branches through a simplified and centralized defect management database.
- Customized Defect Management Workflow:
Classify, prioritize, and report on defects aligned to the organization´s internal workflow, policies and standards.
- Enhanced Analysis Coverage:
Gain greater accuracy of results with over 40 new or enhanced quality and security checkers.
- Enhanced Java Quality Performance:
Accelerate defect identification and resolution with up to 2x Java analysis speed improvements.
|
(San Francisco/USA, 25 January 2012)
Wind River and Coverity have teamed to integrate development testing for embedded software security. With Coverity you can find and eliminate defects that may lead to security vulnerabilities during development, saving time, money and resources.
|
| Here the highlights of Coverity Static Analysis:
- Find and fix hard to spot defects in source code in your existing workflow
- Prioritize what to fix first and fix what matters
- Identify security vulnerabilities early in development as code is written
- Pre-configured for the Wind River platform and tools
| |
|
| London/United Kingdom, 7 December 2011
On 7th December 2011, Coverity held the first Coverity Exchange event in London, UK. The aim of the event was really to showcase the success that our clients have achieved in the area of development testing. Software development leaders came together to hear our clients´ presentations and to discuss industry best practices for software quality in development.
Fons Rademakers of CERN explained how Coverity is helping to ensure the accuracy of the Large Hadron Collider analysis software. Florian Moesch of Draeger Medical use Coverity to ensure the quality of a number of its devices. Frank Klosek of Schneider Electric did a brilliant presentation explaining how Coverity development testing has helped his organization drive significant improvements in quality and achieve Return on Investment in less than 9 months!
Click here to see a short overview video of the event. |
|
|
| (San Francisco, 20 October 2011)
Coverity, the development testing leader, today announced it ranked 351 on Deloitte´s Technology Fast 500™ for its 232 percent growth in revenue. The Deloitte Technology Fast 500™ is a ranking of the 500 fastest growing technology, media, telecommunications, life sciences and clean technology companies in North America.
| Anthony Bettencourt, Chief Executive Officer of Coverity, stated, "We are honored to be ranked in the Deloitte Technology Fast 500™ for the fifth consecutive year. Our continued success can be attributed to our market leadership and technology innovation in the emerging development testing category." |
|
| (San Francisco, Meyrin/Switzerland, 20 October 2011)
The European Organization for Nuclear Research (CERN), one of the world´s largest and most respected research institutions, has successfully deployed Coverity® Static Analysis to improve the integrity of the source code found across a number of projects analyzing data from CERN´s Large Hadron Collider (LHC).
Since integrating Coverity´s solution, CERN has eliminated more than 40,000 software defects that could otherwise impact the accuracy of its pioneering particle physics research.
Watch a brief video interview of Axel Naumann from CERN. |
|
(San Francisco, 14 October 2011)
Coverity Inc. today announced Coverity 5.5. with enhancements to analysis speed in its core technology, Coverity Static Analysis, and integrations with some of the most widely-used development technologies.
New features in Coverity 5.5 include:
- Enhanced Analysis Speed and Test Coverage.
- Over 20 new or enhanced checkers deliver greater accuracy of results.
- FindBugs™ Integration for Enhanced Java Analysis.
- Jenkins Continuous Integration Server Integration: Automatically test code for defects with every build as part of an Agile development workflow.
- Developer Workflow Integration: enhanced desktop analysis plug-in for Eclipse or Visual Studio IDE.
- Integrating of third party static analysis tools into the Coverity workflow.
- Import of third party data into Coverity Integrity Control for centralized policy management and measurement of code quality, security, technical debt, and developer efficiency.
- Compliance Policy Management: Coverity Integrity Control 2.0 includes pre-built policy templates for FDA and DISA STIG standards to ease the time and cost of software verification and validation.
- Integration with HP Application Lifecycle Management (ALM) to bring development testing into the application lifecycle.
Further information: Coverity Static Analysis.
|
|
(San Francisco, 3 October 2011)
Coverity announced the integration of its development testing platform with HP Application Lifecycle Management (ALM). Enterprise users leveraging the Coverity development testing platform with HP ALM or HP Quality Center will be able to surface code quality defects discovered by Coverity® Static Analysis and FindBugs™ directly into their existing ALM workflow. The integration connects code quality defects to code changes and business requirements for enhanced development traceability across the lifecycle, from requirements to release. Further information: Coverity Static Analysis.
|
| Development organizations that create safety-critical airborne software systems must have the systems approved for use. The Federal Aviation Administration (FAA) recognizes DO-178B as an acceptable means of compliance. DO-178B is one of the most stringent standards in use in the software development industry. It offers a strict certification requirement for software where anomalous behaviour could cause a catastrophic failure condition.
The standard is considered so thorough that it has been often used outside the aeronautics industry including Nuclear Power, Rail and Automotive, and Medical industries.
Coverity Inc. has now published a document discussing how the Coverity Integrity Center can help with specific software verification guidelines as outlined in DO-178B.
![[PDF]](icon-pdf-15x16.gif) Meeting DO-178B Software Verification Guidelines with Coverity Integrity Center. |
(San Francisco, 14 April 2009)
Coverity, Inc. today announced the availability of the Coverity® Integrity Center. This tool suite provides a full set of precision software analysis products in a single offer. This combination enables customers to identify and eliminate the root cause of problems during the design, code, build, and test phases of software development.
| Coverity Integrity Center deliveres the following core capabilities:
Architecture Analysis: Analyze software design to ensure changes can be made with less risk and components can be easily reused for maximum business agility. Use architectural visualization and enforcement to identify hidden security backdoors that can cause costly breaches and data losses.
Static Analysis: Analyze source code for defects that can cause product delays or recalls. Expose security flaws early in the lifecycle so security audit teams don´t slow developers with expensive rework or slow them from working on product innovation.
Build Analysis Analyze software builds to identify problems and inefficiencies in the assembly of software that can cause costly product delays. Ensure that all open source components in the final product are documented and secure.
Dynamic Analysis Analyze applications as they execute in test environments to identify complex concurrency defects in multi-threaded applications and other crash causing software problems that can cause major delays in testing and delivery.
Further information: Coverity Integrity Center |
(San Francisco, 2 April 2009)
Coverity, Inc. today announced the completion of its most successful quarter in company history.
For the firtst quarter 2009, Coverity revenue increased 47% compared to the same period in 2008.
This success is the result of new customer acquisition and ongoing enterprise-wide adoption by existing customers as more large development organizations standardize on Coverity software integrity products enterprise-wide to reduce product failures, enable software change and accelerate innovation.
Coverity technology continues to be adopted within software-intensive industries including medical devices, telecommunications and networking, military and aerospace, gaming, security and enterprise software.
Over 100,000 developers and 600 companies rely on Coverity to help them ensure the delivery of superior software.
| (San Francisco, 17 November 2008)
Coverity Architecture Analyzer automatically maps hierarchies and dependencies in C/C++ and Java code bases, providing the visibility and control development teams need to detect potential defects and ensure code modifications align with original design specifications.
The tool supports a web-based interface and IDE plug-in for Java, allowing teams to navigate code, check for architectural accuracy, correct dependency defects and set complexity limits.
Further information:
Coverity Architecture Analyzer for C/C++
Coverity Architecture Analyzer for Java
| |
|
(San Francisco, 11 November 2008)
Coverity is pleased to announce the availability of the newest version of their Software Integrity Suite. This release includes capability enhancements as well as performance and stability improvements to Prevent 4.2, Thread Analyzer 1.3 and Software Readiness Manager 1.2.
A couple of new checkers for the analysis of C/C++ and C# code has been added.
For further information or to get your free trial of Coverity Prevent™ please contact us.
Further information: Coverity Prevent free trial |
|
|
(San Francisco, 22 September 2008)
Coverity is pleased to announce the availability of a Software Integrity Suite, available for download.
This release includes capability enhancements as well as performance and stability improvements to Prevent 4.1, Architecture Analyzer 4.1, and Thread Analyzer 1.2.
Coverity Prevent for C/C++ is the most precise static source code analysis solution available today.
It automatically identifies and helps resolve the most critical quality defects, security vulnerabilities and concurrency defects at the earliest stage in the software development cycle.
further information about Coverity Prevent |
|
(9 July 2008)
Coverity Prevent for C# expands the language coverage of Coverity´s static analysis products, and brings the company´s proven expertise in automatic defect detection to developers programming in C#. It automatically analyzes large, complex C# code bases and detects critical, must-fix defects that could lead to system failures, memory corruption, unpredictable behavior, and performance degradation. learn more |
(22 May 2008)
Coverity, provider of the leading static analysis tool for C/C++ and Java, announced its acquisition of build management vendor Codefast. Technology and engineering talent acquired from Codefast will help developers accelerate the software build process.
Coverity CTO Ben Chelf presents on "Boolean Satisfiability" and "Multi-threaded Application Development" at Embedded World February 26 in Nuremberg, Germany.
Coverity´s static analysis tool Coverity Prevent uses the first software analysis engine based on Boolean satisfiability (SAT). Coverity Prevent identifies automatically complex defects in (multi threaded) source code with unmatched precision and accuracy.
Embedded World Nuremberg:
Coverity Inc.: hall 11 stand 11-426
Verifysoft Technology GmbH: hall 11 stand 112
(30 October 2007)
Coverity, Inc., the leader in improving software quality and security automatically, today announced it has been named a Rising Star in Deloitte & Touche USA LLP´s Technology Fast 50 program for Silicon Valley.
A special designation for fast-growth companies, the Rising Star award recognizes high-growth companies that have been in business a minimum of three years, but less than five.
With a growth rate of 537 percent over this period, Coverity was ranked the thirteenth fastest growing company in the Silicon Valley.
"Coverity is proud to be recognized for our significant and consistent growth by Deliotte´s veteran leadership team," said Seth Hallem, CEO of Coverity. "We also thank our fast growing group of over 300 customers for their important role in helping us attain this recognition. We look forward to continued success by developing technology that helps our customers manage the complexity of producing software in today´s highly competitive markets."
To qualify for the Technology Fast 50 Rising Star program, companies must have operating revenues of at least USD 50,000 in 2004 and USD 5 million in 2006.
(October 2007)
Coverity announced the first software analysis engine based on Boolean satisfiability (SAT). Coverity's SAT engine leverages a highly accurate representation of software, or Software DNA Map, to automatically identify complex defects in source code with unmatched precision and accuracy. By helping software development teams find and eliminate these potentially costly defects, Coverity Prevent SQS accelerate the ability of companies to deliver secure, high quality applications.
Available today, Coverity's False Path Pruning Solver is the first Solver to be released for Prevent SQS. Coverity plans to release two additional Solvers in early 2008 that allow customers to check code assertions statically and to detect critical bug categories including integer overflows.
After testing on over 2 million lines of code from multiple applications of open source software from Coverity's Scan project, the False Path Pruning Solver was found to reduce false positive results by an average of 30 percent.
Further information: Breakthrough Software Code Analysis Engine Coverity Prevent SQS
|
|
(1 August 2006) Verifysoft Technology and Coverity Inc. (San Francisco/USA) have signed an agreement for the distributionship of the static analysis tools Coverity Prevent and Coverity Extend for Germany, Austria and Switzerland.
| Coverity was founded in 2002 by leading Stanford University scientists.
Coverity Prevent™ is the world´s most advanced static software analysis tool. Coverity Extend™ enables developers to define and enforce unique coding rules, making audits a simple, routine practice.
Further informationen : Coverity Mainpage (Verifysoft) Coverity Inc.
last updated: 18 April 2012
© 2011-2012 Verifysoft Technology GmbH
Coverity Static Analysis is a product and a trademark of Coverity Inc., San Francisco (USA)
all other trademarks of this site are the property of their respective owners. |
![[Deutsch]](flaggeD.jpg){kind=small}