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

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

技術文書

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

静的解析技術をコード品質保証に役立てるためのノウハウ(シンプレクス・テクノロジー事例)

マルチコアの出現で開発の複雑性は増し、エンタープライズ系ソフトウェアでも競合状態やデッドロックなど重大な並列処理欠陥が多発している。開発の初期段階で静的解析を用い、その種の不具合をどう解決できるのか? シンプレクス・テクノロジーの事例とともに説明する。

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

技術文書

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

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