ソースコード検証サービス
ＴＯＰ >> ソフトウェア基盤検証サービス >>ソースコード検証サービス
ソースコード検証サービスとは
お客様のソースプログラムをお預かりし、専門のアナリストによる解析を行い不良箇所を報告するサービスです。本サービスの適用により、開発者の負荷軽減とソースプログラムレベルでの品質向上を実現します。
① 高精度なツールによる１次解析で不良箇所を摘出します。
② 専門のトレーニングを終了したアナリストによる２次解析で、過剰指摘を排除します。
③ 信頼性に関わる不良箇所だけをレポート形式で報告します。
ソースコード検証サービスの内容
サービス内容
- 対象言語： C、C++、JAVA、C#
- 対象ツール：お客様の指定、または所有のツール、当社推薦のツール
- アウトプット：障害レポート、品質傾向分析レポート
- サービス種別：オンサイト・オフサイト
検査方法
- 静的解析
- パターンマッチングやルールベース
- 制御フロー・データフロー
- バリューレンジ伝搬
導入効果
- 不具合箇所の早期検出
- 開発者の負荷軽減
- 検証工程の工数削減
- 効果的なツール運用
検証結果レポート
検証結果全般についてサマリーレポートとして報告します。また、指摘行単位でアナリストによる「判定｣「判定理由」を記入して報告します。
主な検証結果の事例
PROVEQのセキュリティ検証サービスの事例
| 業種 | 時期 | 言語 | ソース行 | 期間 | １次解析結果 | ２次解析結果 | １K当りの 障害件数 |
| 電気 | 稼動後 | C | ３０K | １ヶ月 | ７００件 | ４４０件（重大エラー；１４０件、エラー３００件） | １４．６件 |
|---|---|---|---|---|---|---|---|
| 製造 | 稼動後 | C | １８０K | １ヶ月 | ５００件 | ２５２件（重大エラー；２３件、エラー２２９件） | １．４０件 |
| 製造 | 稼動後 | C | ４００K | ２ヶ月 | １，５００件 | １，２９０件（重大エラー；１０件、エラー１，２８０件） | ３．２３件 |
| 製造 | 稼動前 | C | ３，４００K | 毎週（※） | ８，５００件 | ８１００件（重大エラー；２５００件、エラー５，６００件） | ２．３８件 |
| 製造 | 稼動前 | C | ４，０００K | 毎週（※） | １２，５００件 | １０，７００件（重大エラー；３、６００件、エラー７，１００件） | ２．６８件 |
| 通信 | 稼動後 | C++ | ８K | １ヶ月 | １８０件 | １０４件（重大エラー；２０件、エラー８４件） | １３．０件 |
| 電気 | 稼動後 | C++ | ７０K | ２ヶ月 | ５００件 | ２４６件（重大エラー；１５件、エラー２３１件） | ３．５１件 |
| 通信 | 稼動後 | JAVA | ２３K | ２ヶ月 | １，１５０件 | ４８９件（重大エラー；４３件、エラー４４６件） | ２１．３件 |
| 社内 | 稼動前 | JAVA | ４０K | ２ヶ月 | ６００件 | １７５件（重大エラー；２０件、エラー１５５件） | ４．３８件 |
関連するサービス
 |
Klocwork® Insight™ |
ソフトウェア基盤検証サービスへ