Synopsys
239 Case Studies
A Synopsys Case Study
SmartFocus, a provider of real-time interaction management and creator of The Message Cloud (handling about 5 billion emails per month for ~1,500 clients), needed to move faster while maintaining high quality. Their semi-annual release cadence and existing static-analysis tooling generated too many false positives and slowed developers, so they sought a more efficient static-analysis and testing-coverage solution to support more frequent, reliable releases.
After a short pilot, SmartFocus deployed Synopsys Coverity and Test Advisor (installed and integrated in days), which automated code analysis, reduced false positives, and enforced targeted unit testing in the developer workflow. The tools improved productivity and code quality, reclaimed roughly 5% of the development budget previously spent on false-positive investigation, and helped SmartFocus transition from semi-annual to monthly releases.
Christophe Charlet
R&D Manager