Coverity™ ライブラリ

静的解析ツールの配備及び管理のベストプラクティス

組織の開発方法がアジャイルであれウォーターフォールであれ、静的解析ツールの採用は、開発チームのソースコードに対する考え方に変化をもたらします。開発チームは、ソースコードの品質とセキュリティに関する情報を利用して、新たに見つかった多数の欠陥をどのように管理するかを事前に決定する必要があります。このホワイトペーパーでは、規模やキャパシティの異なる開発チームが、どのように静的解析の欠陥管理と統合戦略を成功させたかについて説明します。
文書のダウンロード （登録が必要）

静的解析による医療機器ソフトウェア欠陥診断

医療機器ソフトウェアの信頼性を向上させる手段として自動静的解析ツールがあります。このホワイトペーパーでは、静的解析ツールで検出できるさまざまなタイプの欠陥を挙げ静的解析ツールを選択するときに考慮すべき基準を明らかにします。
文書のダウンロード （登録が必要）

ビジネス アジリティを高めるためのソフトウェア品質の向上

IDC は 2008 年にアンケート調査を行い、現在のプラクティス、コスト、およびソフトウェアの品質に対する取り組みを分析しました。このホワイトペーパーを読むと、企業が今日の重大な開発課題にどのように対処しているか、チームがソフトウェアの機能を向上させ顧客の要求に応えようと努力するなかで何が功を奏し何が功を奏しないかが理解できます。このホワイトペーパーには、より安全かつ上手で、より良く管理されたソフトウェアの供給のための重要な推奨事項が記載されています。
文書のダウンロード （登録が必要）（英語）

Scan Open Source Report

この調査レポートは、米国国土安全保障省のサポートの下、Coverityスキャンサイトでの、2年間にわたる250以上のオープンソースプロジェクトのStatic Analysis解析データに基づくものです。このスキャンサイトでは、認定されたオープンソース開発者にStatic Analysisを提供し、不具合検知、修正に利用いただいています。このレポートでは、オープンソースプロジェクト全般の品質とセキュリティ向上、並びに、不具合の発生する率、複雑性マトリクス、その他コード関連の変数に関して考察しています。
文書のダウンロード （登録が必要）（英語）

ブール充足可能性: 次世代の静的解析

このホワイトペーパーでは、静的解析に初めてブール充足可能性（SAT）を導入したことが、業界最低の誤検知率で開発者がコードの重大な欠陥を検出するうえでいかに有益かを説明しています。
文書のダウンロード （登録が必要）（英語）

マルチスレッドアプリケーションのコード品質の保証

マルチスレッドアプリケーションを開発中ですか？ このホワイトペーパーでは、開発者が、特に注意すべき必要のある競合状態やデッドロックなどの危険な並列処理の不具合について解説します。
文書のダウンロード （登録が必要）

Controlling Source Code Complexity

複雑なソースコードの管理に静的解析を用いる方法を説明しています。
文書のダウンロード （登録が必要）（英語）

開発早期段階でのソフトウェア不具合の修正

開発の早期段階でバグを検出し、製品のライフタイム全体にわたって多大な時間、コスト、 およびリソースを節約できる、Coverity の静的ソースコード解析技術について解説します。
文書のダウンロード （登録が必要）

ソフトウェア開発のチャレンジ

ソフトウェアは、もはや開発者だけの関心事ではありません。このホワイトペーパーでは、高品質で、信頼できるソフトウェアを出荷したいと望んでいる企業が抱えている課題と技術革新、そして、より良い品質のコードを書くための具体的な方法を盛り込んでいます。
文書のダウンロード （登録が必要）（英語）

Coverity Architecture Analyzer

Coverity Architecture Analyzer で、ソフトウェアアーキテクチャの把握、定義、及び管理ができるため、複雑なソフトウェアの構築維持に生じる課題が解消し、開発サイクルの短縮、コストの削減が実現します。
文書のダウンロード

Coverity Static Analysis

Coverity Static Analysis は、C、C++、C#、および Java のソースコードの重大な欠陥を特定して解決するための、業界屈指の自動化されたアプローチです。
文書のダウンロード

Coverity Extend™

この製品は、Coverity Static Analysis のアドオンオプションですが、ほとんどの顧客が使用しています。コベリティが静的ソースコード解析を使用して C および C++ コード内のカスタム欠陥またはドメイン固有の欠陥をどのように検出できたかを説明しています。
文書のダウンロード （英語）

Coverity Dynamic Analyzer for Java

Coverity Dynamic Analyzer for Java は、競合状態やデッドロックを自動的に検出し、データ破壊やシステム障害の発生を防ぎます。
文書のダウンロード

ROI データシート（投資対効果データシート）

今まで、静的解析製品のROI（投資に対する効果）は、「より素早く、より多くの不具合を検知する」ということ以上に説明される機会はほとんどありませんでした。しかしながら、静的解析のインパクトを正しく理解することは、アカウントバイイング、配備、アダプション、メインテナンスという業務にも関連してきます。この文書では、Coverity製品のROI(投資対効果)について詳しく説明します。
文書のダウンロード （登録が必要）（英語）

株式会社リコー

Coverity Static Analysis導入後の比較指標が、マルチファンクションプリンタ開発工程の作業効率の向上を証明しています。
文書のダウンロード

ニフティ株式会社

コードレビューの作業負担軽減と、品質の確保が実現。開発者が安心して開発に専念でき、頼りになる自動化ツールとして活用しています。
文書のダウンロード

株式会社ニコンシステム

長年悩まされていたメモリ管理関連の不具合がCoverity Static Analysisの導入によって即座に検出され、コードレビューにおいて導入コストの数倍の人件費の削減につながっています。
文書のダウンロード

株式会社外為どっとコム

外貨ネクスト、FXトレードといった取引決済システムのアプリケーション開発にStatic Analysisが導入され、システムダウンなどの深刻なエラーを未然に防いでいます。
文書のダウンロード

株式会社コナミデジタルエンタテインメント

アミューズメント施設向け、コンテンツの基盤ライブラリの制作プロジェクトへのStatic Analysis採用により、開発管理効率が大幅に向上し、制作工程への負荷軽減を実現しています。
文書のダウンロード

株式会社シンプレクス・テクノロジー

金融機関のフロント業務分野のシステム開発におけるStatic Analysisの採用により、開発工程での品質管理が強化され、バグ修正で削減されたワークロードを、お客様の要件や仕様の充実化に振り向けています。
文書のダウンロード

株式会社セガ

セガでは、ゲームタイトル開発にStatic Analysisを採用。開発エンジニアはStatic Analysisの解析精度の高さに信頼をおいて、日々開発の現場で活用しています。
文書のダウンロード

三菱電機株式会社

三菱電機・設計システム技術センターでは、5つの組込み系ソフトウェア開発プロジェクトでStatic Analysisを採用。致命傷となる可能性のある見つけにくいバグを早期に検知でき、バグ修正にかかる手戻りの工数の大幅な削減が期待されています。
文書のダウンロード

Dash

Static Analysis によってレポートされた欠陥を Dash がどのようにして 7 か月以内で 100% 解決して終結し、リリース目標を果たしたかを説明しています。
文書のダウンロード（英語）

ip.access

ip.access は、Coverity Static Analysis を使用して、サードパーティ製コードのセキュリティおよび品質を向上させながら、アプリケーションの開発サイクルを 10 ～ 15% 加速します。
文書のダウンロード（英語）

ACCESS

ACCESSでは、携帯端末および情報家電向け組込型インターネットソフトウェア分野でのアプリケーション開発にStatic Analysisを採用。バグの調査作業に要する時間が約5分の1に短縮し、開発の効率化を達成しています。
文書のダウンロード

AudioCodes

AudioCodes は、コベリティの誤検知率がわずか 9% なので、品質を犠牲にすることなく業界最先端の電気通信ソフトウェアの供給が促進されることを確信しています。
文書のダウンロード（英語）

ARRIS

ARRIS は コベリティ製品を採用して、最高の可用性のシステムの供給を公約しています。
文書のダウンロード（英語）

Teradata

コベリティ製品は、Teradata の要求を満たすスケーラビリティを備えています。
文書のダウンロード（英語）

Palm, Inc.

コベリティは、欠陥ゼロを達成するという目標を掲げ、現行のすべての C および C++ 製品を検査します。
文書のダウンロード（英語）

Symbian

シンビアン OS が、コード全行の品質を保証するためになぜ コベリティを選んだのかを説明しています。
文書のダウンロード（英語）

Wind River

ウインドリバーは、Static Analysisの採用により、開発における生産性を30％上げ、さらに出荷までの期間を20％削減することが出来ました。
文書のダウンロード（英語）

Veritas

Static Analysisは、大規模で複雑なストレージソフトウェアの不具合の検知を可能にしました。
文書のダウンロード（英語）

Reducing Risk and Improving Software Quality in Continuous Integration Environments

(September 2008)
Featured speakers Anuj Goyal, Senior Product Manager, Coverity and Matt Laudato, Technical Marketing, AccuRev will present how organizations can leverage new code analysis techniques, SCM best practices, and continuous integration in order to improve the quality of delivered software without sacrificing time or features.
文書のダウンロード （登録が必要）（英語）

Controlling Source Code Complexity

(January 2008)
Anuj Goyal, senior product manager, provides a brief overview of the requirements for effective static analysis followed by a demonstration of Static Analysis's features and capabilities.
文書のダウンロード （登録が必要）（英語）

Controlling Complexity in Agile and Traditional Development

(November 2007)
Featured speaker Thomas Murphy, Gartner Research Director, and Ben Chelf, Coverity CTO review how traditional and agile development organizations are leveraging new analysis techniques to accelerate the delivery of secure, high quality applications in today's competitive software industry and the latest advances in static analysis and how these developments are having a significant impact on development teams today.
文書のダウンロード （登録が必要）（英語）

Static vs. Dynamic Analysis Tools - Finding the Right Bug Spray

(February 2007)
Coverity CTO, Ben Chelf reviews the world of dynamic and static development tools. This 45-minute session covers the evolution of source code analysis from Lint to the latest technologies of 2007.
文書のダウンロード （登録が必要）（英語）

スタンフォード大学がどのように静的解析を革新したか

(December 2006)
このウェブキャストでは、コベリティ共同創業者、並びにスタンフォード大学コンピュータサイエンス学部教授であるDawson Englerが、｢開発者が作成したコンパイラーエクステンションを用いての自動的な不具合の検知法｣について考察します。
文書のダウンロード （登録が必要）（英語）

ソフトウェアの品質向上方法 - Arris

(October 2006)
Arrisのソースコード開発工程の効率化と品質強化を可能にした製品選択と、技術革新について説明します。
文書のダウンロード （登録が必要）（英語）

Open Source Quality Report

(Posted March 2006)
コベリティは、米国国土安全保障省との契約により、オープンソースパッケージの解析を行っています。コベリティの自動不具合検知技術が、オープンソースパッケージの品質向上にどのように貢献しているかを説明します。
文書のダウンロード （登録が必要）（英語）

Linuxセキュリティレポート

(Posted September 2005)
Coverity製品の技術は、セキュリティの脆弱性を引き起こしかねない不具合も検知します。サンフランシスコで開催されたLinux World 2005 では、CEO、Seth HallemがLinux カーネルのセキュリティ解析結果を発表しました。このホワイトペーパーでは、Linux カーネルがなぜ安定性を保ち、セキュアなソフトウェアなのか詳細に解説します。
文書のダウンロード （登録が必要）（英語）

Linuxレポート

(Posted December 2004)
「これで正式に“バグフリー”（不具合０）だ」と、Linuxの最新版にコベリティの解析を行った後、Linuxカーネルの開発者であるLinus Torvaldsは述べました。コベリティはLinuxの品質とセキュリティ向上に非常に貢献しており、この4年間、コベリティはLinux のいくつかのセキュリティ警告を含む何千もの不具合を検知しています。このレポートでは、Linux全般の品質についてと、重大な不具合が見つかった場所、及びその不具合の種類について説明します。
文書のダウンロード （登録が必要）（英語）

MySQL レポート

(Posted February 2005)
「コベリティの細部にわたる解析はより信頼でき、セキュアだと保証されたソフトウェアの出荷を可能にしてくれます。」とMySQLのマーケティング VPのZack Urlockerは述べています。このレポートは、MySQLの開発工程でコベリティが検知した主なセキュリティ脆弱性を含むMySQLの全般の品質について説明します。
文書のダウンロード （登録が必要）（英語）

BerkeleyDB レポート

(Posted February 2005)
Berkeley DBのメーカーである、SleepycatソフトウェアはCoverity Inspectedプログラムに参加した初の企業でした。このホワイトペーパーでは、同社が、いかにコベリティが検知した不具合を修正したかを説明します。
文書のダウンロード （登録が必要）（英語）