Case Study: Frequentis achieves greater product safety and code quality with Synopsys Coverity Static Analysis

Frequentis Standardizes on Coverity® Static Analysis for Development Testing

Frequentis is a provider of highly reliable communication and information systems for safety-critical fields such as air traffic control, emergency services and railways, where "freedom from failure" is essential. With a centralized software quality organization overseeing seven development teams, the company needed an automated, multi-language static analysis solution that would find hard-to-detect defects during development and be readily adopted by developers—previous tools only produced abstract metrics and low adoption.

After evaluating multiple vendors on 350,000 lines of code, Frequentis standardized on Coverity Static Analysis for its low false positive rate (~10%) and actionable defect reports. Coverity uncovered 80 critical/high defects in a single project (overall defect density 1 per 3,000 LOC), was integrated into IDEs and nightly builds, and rolled out to five of seven teams; benefits reported include stronger product safety assurance, faster time to value, improved developer efficiency and coding practices, and use of Coverity reports in audits and internal supply-chain acceptance.

Frequentis

Andreas Gerstinger

Software Quality and Software Safety Engineer