IT製品導入に関する技術資料を多数掲載 ホワイトペーパーダウンロードセンター
  • @IT
  • ITmedia エンタープライズ
  • ITmedia マーケティング
  • TechTarget
  • キーマンズネット

コベリティジャパン株式会社

技術文書

コベリティジャパン株式会社

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

マルチコアの出現で開発の複雑性は増し、競合状態やデッドロックなど重大な並列処理欠陥が多発している。開発の初期段階で静的解析を用い、その種の不具合をどう解決できるのか? 三菱電機の事例とともに説明する。

コンテンツ情報
公開日 2008/08/05 フォーマット PDF 種類

技術文書

ページ数・視聴時間 15 ファイルサイズ 874KB
要約
 マルチコアの出現によって、ソフトウェア開発業界は今、新たな問題に直面している。

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

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