ソースプログラム検証

ソースプログラム検証サービスはソフトウェア開発現場で C、C++、Javaで作られたプログラムに対して、お客様のソースプログラムをお預かりして静的に解析することで、「システムダウンや情報漏洩などの重要障害につながる不良箇所」を報告するサービスです。

【信頼性検証サービス】

システムダウンなどの重要障害につながる原因を摘出して、お客様のソフトウェア品質向上に貢献します。

• プログラムテスト、統合テストでは究明しにくい不良原因を摘出します。
• 関数内を全パス組み合わせで検証して、重症障害につながる不良原因を摘出します。
• 不良を容易に修正できるような必要情報を提示することで、開発者は少ない工数で不良を修正できます。

• ソフトウェア開発のテスト期間を短縮でき、コストを縮減します。
• 出荷時品質を向上できるため、出荷後の不良対策コストを縮減できます。
• 原因究明に高い技術を要する不良を摘出できるので、高スキルの技術者をデバッグ作業から解放して、より創造的作業に集約できます。

セキュリティ脆弱性を迅速に摘出することで、お客様のセキュアなプログラムとシステムの実現に貢献します。

• 通常の機能テストでは発見できないセキュリティ脆弱性をソースプログラムレベルで摘出します。
• 関数内を全パス組み合わせで、脆弱性を検証します。

• ソフトウェア脆弱性の検証作業を軽減でき、その対応コストを縮減できます。
• セキュアなプログラムを提供できるので、エンドユーザ様の信頼を獲得できます。

初めてソースプログラム検証サービスを適用したときに、ソースプログラム全体を検証します。

ベースライン検証を実施したあと、改造されるソースプログラムを検証します。

• 母体品質向上：改造着手前に本サービスを実施して、事前に潜在不良を修正。
• 受入検査費用の軽減：社外委託開発品の受入検査作業での適用。委託先の能力評価も可能。
• リリース後品質確保による不良対策コスト削減。
• 社会的信用の維持・向上。

ツールによる一次解析で不良原因箇所の候補を摘出後、専門のアナリストによる二次解析で過剰指摘を排除

不良の原因となる問題箇所について、行番号・変数名・理由・発生条件と、着目するべきコードを記載

ソースプログラム検証サービス 二段階検証

製品の詳細は、下記までお問い合わせください。