Professional Press → Coverity Static Analysis

[Français][Deutsch]

Coverity in the News

Further news are available from the tool specific news pages:
Conformiq Tool Suite     Coverity     DataDrill Express     Elvior TestCast     Software Diagnostics     Testwell CMT++/CMTJava     Testwell CTC++     QMetry     Verifysoft/general     only latest news (all tools)    

 

Professional Tester 2/2012

Why testers should hate finding defects
Empirical testing should demonstrate correctness. If it does not, analytical testing has already failed.
Every defect detected in empirical testing, that is by executing code after integration, causes cost, delay and risk that could have been avoided. Even in the best case, where the fix is quite trivial, retesting and regression testing are necessitated. More complex rework often requires complex, extensive revision of test design and implementation which diminishes the value and effectiveness of testing already done. Doing these things is expensive and doing them thoroughly is difficult, but the alternatives are dangerous. ...
[PDF]  Professional Tester February 2012

 

cnet news Coverity: A new Mercury Interactive in the making?
Upon further review, Coverity´s new offering may go a long way to changing the software development equation: more investment up front in developing software right the first time could save 10 times the cost of fixing/supporting broken code later. Coverity calls it precision analysis software that stress-tests every component at every step (design, develop, build, test) before it hits the market.
That´s big.
It sounds a lot like the early promise of Rational Software (acquired by IBM) and Mercury Interactive (acquired by Hewlett-Packard). Intriguingly, I notice that Mercury´s last chief executive and chief marketing officer have both landed at Coverity. Are we seeing a replay of Mercury?
More: cnet news (April 2009)

 

ECE November 2007 Coverity: new technique of source code analysis
Coverity announces a software analysis engine based on Boolean satisfiability and will enable multiple solvers to identify software defects. This new technique of source code analysis is made possible by patent-pending technology from Coverity that creates a bit-accurate representation of a software system, where every relevant software operation is translated into Boolean values (true and false) and Boolean operators (such as and, not, or). This bit-accurate representation enables source code to be analyzed by SAT-based Solvers.
ECE Embedded Control Europe (November 2007)
Homepage ECE

 

ECE October 2007 About the developers´s dream to write the perfect piece of code
Don´t you love looking at a good piece of code? I´m talking about the kind of code where the design is so sound that it practically wrote itself, where there were no nasty surprises upon implementation, where it was 100% feature-complete and bug-free and you didn´t have to patch it up a bunch of times? Maybe I´m squarely in the land of Santa Claus ...
[PDF]   ECE Embedded Control Europe (October 2007)
Homepage ECE

 

Washington Technology Open-source software bug hunt results released
Washington Technology (June 2006)

 

Internet.com Coverity Study Ranks LAMP Code Quality
Internet.com (March 2006)

 

The Register Report tracks down rogue open source code
The Register (March 2006)

 

InfoWorld Software analysis tools will identify defects
InfoWorld (January 2006)

 

CIO Update Coverity awarded to help open source programs
CIO Update (January 2006)

 

 

News in other languages: German, French

Product page: Coverity Static Analysis

 

last updated: 1 Feb 2012

© 2011-2012 Verifysoft Technology GmbH
Coverity Static Analysis, Coverity Prevent and Extend are products and trademarks of Coverity, San Francisco (USA)
all other trademarks of this site are the property of their respective owners.