静的解析ツールをコード品質保証に役立てるためのノウハウ（三菱電機事例）

　マルチコアの出現によって、ソフトウェア開発業界は今、新たな問題に直面している。

　マルチコアデバイス開発はより複雑で、マルチスレッド固有の競合状態やデッドロックなどの並列処理欠陥が多発しやすい。こういった欠陥は複雑で検出が難しく、ソフトウェアプロジェクトに即座に不具合を生じさせる可能性がある。こういった致命的な不具合の発生を防ぐために、ソフトウェア開発会社はアプリケーション開発ライフサイクルの初期段階で、重大な問題をどう特定し解消するかを把握することが急務である。

　このホワイトペーパーでは、三菱電機の導入事例を交え開発の初期段階でバグを検出し製品のライフタイム全体にわたって多大な時間、コスト、およびリソースを節約できるCoverityの革新的技術について解説する。