コードジンのヘッダーが入ります
<title>Developers Summit 2009</title>
<link href="//cz-cdn.shoeisha.jp/static/devsumi/2009/css/special.css" rel="stylesheet" type="text/css" />
<div class="wrapper">
<div class="title">
				<img src="//cz-cdn.shoeisha.jp/static/devsumi/2009/image/special/title.gif" />
  </div>

			<h1><span>コベリティ日本支社</span></h1>
            <h2>【13-E-6】Coverityの提供する「Coverity Inegrity Suite」によるソフトウェアテストプロセス/ソフトウェア開発ライフサイクル改善と品質の向上
              <div class="name">リージョナルセールスマネージャー
              <strong>丸山智樹</strong></div>
			</h2>
            
            
<div class="read">
				<img class="image" src="//cz-cdn.shoeisha.jp/static/devsumi/2009/image/report/20.jpg" />現代のソフトウェア開発では、アプリケーションの機能が増大し、ソースコードは複雑化している。定期的にソフトウェアを更新することもあれば、あるいはイレギュラーな修正が突然入ってくることもある。リソースへの制限は厳しくなる一方もかかわらず、機能への要求は高まるばかりだ。
<br />
そういった要求すべてにすばやく対応することがデベロッパーに求められているが、ソースコードの可読性が問題となり、開発の大きな負担になっている。ある調査結果によれば、プロジェクトの予算の少なくとも約25％、多いところでは50％がテスト、あるいはテストに基づいたバグフィックスに費やされているという。
<br />
コベリティ日本支社の丸山智樹氏（リージョナルセールスマネージャー）による「『Coverity Integrity Suite』によるソフトウェアテストプロセス／ソフトウェア開発ライフサイクル改善と品質の向上」と題したプレゼンでは、コベリティが提供するソースコードの静的解析ツールを利用して、テスト効率を改善し、ソフトウェア開発上の問題を解決する手法が示された。
<br />
コベリティは、スタンフォードのコンピュータラボで研究されてきたソースコード静的解析ツールの提供をメイン事業として、2003年に設立された。C/C++、Java、C#の静的解析ツールのソリューションを提供し、併せてテストツールなども提供している。
</div>
                
<div class="clear"><hr />
  </div>
            <div class="block">
			
			
			  <h3>求められる解決策</h3>

              <p>テストに起因する問題を解決するためには、マネージャにとっては、評価のための何らかの手段があればよい。コード品質、複雑度、リスクを迅速に評価するツールがあれば、バグ修正やリファクタリングのうち重要課題は何かという優先順位付けができ、それぞれに投入するリソースの効率を向上できる。</p>
              <p>一方、開発者にとっては、複雑で大規模になったソースコードを迅速に理解することが求められる。またソースコードにバグがなく、リポジトリにチェックイン可能な状態であることを確認できなければならない。</p>
              <p>アーキテクト（ソフトウェアの構造設計者）にとっては、潜在的な変更およびリファクタリング時の影響を確認することが必要で、仕様を変更をしたときにもソフトウェア全体にどのような影響を及ぼすかを迅速に確認したい。</p>
              <p>こういった目的に合致するソリューションが、コベリティの提供する「Coverity Integrity Suite」である。高度に統合されたソフトウェア開発ソリューションで、開発ライフサイクル全体を通して、信頼性の高いコードを提供する。「Coverity Integrity Suite」では、以下の3つがテストツールと1つのマネージャツールが統合されている。</p>
              <ul>
                <li>Coverity Prevent<br />
                  ソースの堅牢性・セキュリティ・並列処理に関して、クリティカルな問題点を検出する。コンポーネント間・関数間の依存関係を認識しつつ、ソフトウェアの振舞いを検証する。</li>
                <li>Architecture Analyzer<br />
                  開発したソースコードから構造を抜き出して、グラフィカルに表示する。</li>
                <li>Thread Analyzer<br />
                  並列性の問題点を動的に解析する。コベリティが提供する唯一の動的解析ツール。対応言語はJavaのみで、動かして初めてわかるデッドロックなどを解析する。</li>
                <li>Readiness Manager<br />
                  複数のデータソースを総合的管理し、開発マネージャーがリリースなどの判断に利用する。</li>
              </ul>
              <h3>大規模な開発環境でも利用されるCoverity Prevent</h3>
              <p>実際のセッションでは、その場でのデモと事例紹介が行われ、例えば人の手ではチェックできなくなるほど深い呼び出しを確認できるPreventの優位性などが紹介された。デモに使用されたコードでは、関数が呼ばれた先でNULLのまま参照されて落ちる可能性であるとか、NULLチェックが抜けている箇所のリスティング、循環参照が起きている構造上の欠点などが実際に発見されていた。</p>
              <p>また、ユーザー事例としてユニークだったのは、株式会社セガが数十億かけたゲーム開発のプロジェクトに導入しているという。大規模な開発環境での活用により、全開発工程の生産性が約20%向上している。Preventによる日次解析結果を、各開発者にレポートとして配布している。また、低誤検知率も5％以下と優れた解析精度を見せ、後工程が格段に楽になっているという。</p>
              <p>テストシナリオの負荷を軽減するコベリティのソリューションにより、テストにかかる費用と時間を最適化できている様子がありありと理解できた。</p>
              <div class="centerimg">
<div class="caption">図1：Coverity Software Integrity Suite</div>

<img border="0" src="//cz-cdn.shoeisha.jp/static/devsumi/2009/image/report/13-E-6.gif"/>
</div>              </div>
            <div class="inquiry"><strong>問い合わせ先</strong><br />
           コベリティ日本支社<br />
〒163-0532<br />
東京都新宿区西新宿1-26-2　新宿野村ビル32階<br />
URL:     http://www.coverity.com/html_ja/<br />
E-mail:  kwatanabe@coverity.com</div>
            <div class="bo"><a href="/devsumi/2009/report/"><img alt="戻る" border="0" src="//cz-cdn.shoeisha.jp/static/devsumi/2009/image/special/bo.gif" /></a></div>
 <div class="bo"><a href="/devsumi/2009/" target="_blank"><img border="0" src="//cz-cdn.shoeisha.jp/static/devsumi/2009/image/special/bo_devsum.gif" /></a></div>
</div>
コードジンのフッターが入ります