ソースプログラム検証サービス InspectPro
ソフトウェア品質向上サービス InspectPro
ソースプログラム検証サービスInspectProはソフトウェア開発現場で C、C++、Javaで作られたプログラムに対して、お客様のソースプログラムをお預かりして静的に解析することで、「システムダウンや情報漏洩などの重要障害につながる不良箇所」を報告するサービスです。
InspectPro 概要
【信頼性検証サービス】
検証概要
システムダウンなどの重要障害につながる原因を摘出して、お客様のソフトウェア品質向上に貢献します。
- プログラムテスト、統合テストでは究明しにくい不良原因を摘出します。
- 関数内を全パス組み合わせで検証して、重症障害につながる不良原因を摘出します。
- 不良を容易に修正できるような必要情報を提示することで、開発者は少ない工数で不良を修正できます。
導入効果
- ソフトウェア開発のテスト期間を短縮でき、コストを縮減します。
- 出荷時品質を向上できるため、出荷後の不良対策コストを縮減できます。
- 原因究明に高い技術を要する不良を摘出できるので、高スキルの技術者をデバッグ作業から解放して、より創造的作業に集約できます。
対象言語及び検証項目
| C/C++ |
|
| Java |
|
【セキュリティ検証サービス】
検証概要
セキュリティ脆弱性を迅速に摘出することで、お客様のセキュアなプログラムとシステムの実現に貢献します。
- 通常の機能テストでは発見できないセキュリティ脆弱性をソースプログラムレベルで摘出します。
- 関数内を全パス組み合わせで、脆弱性を検証します。
導入効果
- ソフトウェア脆弱性の検証作業を軽減でき、その対応コストを縮減できます。
- セキュアなプログラムを提供できるので、エンドユーザ様の信頼を獲得できます。
対象言語及び検証項目
| C/C++ |
|
| Java |
|
InspectPro サービス 提供メニュー
- ベースライン検証
- 初めてInspectProサービスを適用したときに、ソースプログラム全体を検証します。
- 再検証
- ベースライン検証を実施したあと、改造されるソースプログラムを検証します。
InspectPro サービス その他効果
- 母体品質向上：改造着手前に本サービスを実施して、事前に潜在不良を修正。
- 受入検査費用の軽減：社外委託開発品の受入検査作業での適用。委託先の能力評価も可能。
- リリース後品質確保による不良対策コスト削減。
- 社会的信用の維持・向上。
InspectPro サービスの特徴
- 過剰指摘が無いレポート
- ツールによる一次解析で不良原因箇所の候補を摘出後、専門のアナリストによる二次解析で過剰指摘を排除
- 不良原因箇所を詳細に報告
- 不良の原因となる問題箇所について、行番号・変数名・理由・発生条件と、着目するべきコードを記載
InspectPro二段階検証
InspectPro サービスサイト
| スタンダードサービス | 弊社解析センターでソースコード解析を実施 |
| オンサイトサービス | お客様オフィス内のプロテクテッドエリアでソースコード解析を実施 (お客様の重要なデータを外部に持ち出すことなく、サービスの提供が可能です) |
製品の詳細は、下記までお問い合わせください。
InspectPro お問い合わせ先
InspectPro営業担当者までお送りください。
株式会社日立システムアンドサービス
オープンソリューション営業部
担当者：寺田、中村
Email：inspectpro_os_dm@hitachi-system.co.jp
TEL：03-6718-5819
FAX：03-6718-5843
オープンソリューション営業部
担当者：寺田、中村
Email：inspectpro_os_dm@hitachi-system.co.jp
TEL：03-6718-5819
FAX：03-6718-5843
製品の詳細は、下記までお問い合わせください。
その他の詳しい情報、ご相談、資料請求
|
 |
|
