第三者検証・システム検証・インターフェース検証・プロセス検証・各種認証サービスをプロフェッショナルな技術でトータルサポート
 |
 |
 |
 |
 |
PROVEQは、第三者の視点から検証をおこなうサービスブランドです。
製品やシステムのライフサイクルにおいて、
安心・安全な魅力品質の追求と開発生産性の向上を支援します。
製品やシステムのライフサイクルにおいて、
安心・安全な魅力品質の追求と開発生産性の向上を支援します。
ツール一覧
PROVEQでは各社の優れた検証ツールを使用し、様々なサービスをご提供しております。こちらよりお気軽にお問い合わせください。
PROVEQでは、日々テストツールの比較評価を実施しております。40種以上の取り扱いツールから代表的なカテゴリを下図に示しております。
■お客様のメリット
1. ツール選定の期間短縮
内部に評価シートを持っておりますので、お客さまが各種ツールを比較評価する手間を省くことができます。
2. 課題に応じた最適なツールの選定
お客様の課題に応じた最適なツールを提案申し上げます。
例えば、ソースコードの検証ツールでは、コーディング規約チェックに力点をおいたツール、セキュリティを主観点としたツール、バグ検出に重みを置いた
ツールなど、課題によって選定すべきツールが異なります。PROVEQは、お客さまの求める要件をお聞きした上で最適なツールをご提案します。
3. 運用サポート
せっかくのツールも適切な運用無しには効果は見込めません。PROVEQでは、数多くのお客さまの運用例をもとに貴社に最適な運用方法のご提案を申し
上げます。
■PROVEQツールマップ内部に評価シートを持っておりますので、お客さまが各種ツールを比較評価する手間を省くことができます。
2. 課題に応じた最適なツールの選定
お客様の課題に応じた最適なツールを提案申し上げます。
例えば、ソースコードの検証ツールでは、コーディング規約チェックに力点をおいたツール、セキュリティを主観点としたツール、バグ検出に重みを置いた
ツールなど、課題によって選定すべきツールが異なります。PROVEQは、お客さまの求める要件をお聞きした上で最適なツールをご提案します。
3. 運用サポート
せっかくのツールも適切な運用無しには効果は見込めません。PROVEQでは、数多くのお客さまの運用例をもとに貴社に最適な運用方法のご提案を申し
上げます。
PROVEQでは、日々テストツールの比較評価を実施しております。40種以上の取り扱いツールから代表的なカテゴリを下図に示しております。
基盤検証サービス
ソースコードの規約適合性、冗長性、構造複雑性等を検証するサービス
| 製品名 | 種別 | 特徴 | 開発元 |
|---|---|---|---|
ChangeMiner |
リソース分析ツール C/C++/Java/COBOL/ .Net/PL1/JCL他 |
レガシーからオープンまで幅広く対応 アプリケーション構造・DB構造・相関関係を可視化 IT資産の総合的な変更影響分析により品質を管理 |
Gtone |
ソースコードの規約適合性、冗長性、構造複雑性等を検証するサービス
| 製品名 | 種別 | 特徴 | 開発元 |
|---|---|---|---|
PGRelief |
静的ソースコード 検証ツール C/C++/Java |
コーディング規約に即してソースプログラムを静的に解析しプログラムの欠陥を指摘、解決策を開発者に提示す開発支援ツール また、ソースプログラム集約サーバ上で一括解析する「品質監視オプション」により、組織的な品質の管理・把握が可能 |
FST |
C++test |
C/C++プログラムの品質向上を支援する開発支援ツール C/C++ |
ソースコード静的解析 ⇒業界標準ルールに反するコードを検出 ホワイトボックステスト ⇒テスト用データを自動生成し実行時例外を検出 ブラックボックステスト ⇒仕様と異なるアウトプットデータを検出 回帰テスト ⇒前回のテスト結果と異なるアウトプットデータを検出 フロー解析 ⇒処理フローを静的に解析してエラーを検出 |
Parasoft |
Jtest |
Javaアプリケーションの品質向上を支援する開発支援ツール Java |
ソースコード静的解析 ⇒Javaコーティングルールに反するコードを検出 ホワイトボックステスト ⇒テスト用データを自動生成し実行時例外を検出 ブラックボックステスト ⇒仕様と異なるアウトプットデータを検出 回帰テスト ⇒前回のテスト結果と異なるアウトプットデータを検出 フロー解析 ⇒処理フローを静的に解析してエラーを検出 |
Parasoft |
.TEST |
.NETアプリケーション品質向上を支援する開発支援ツール VB/VB.Net |
ソースコード静的解析 ⇒業界標準ルールに反するコードを検出 ホワイトボックステスト ⇒テスト用データを自動生成し実行時例外を検出 ブラックボックステスト ⇒仕様と異なるアウトプットデータを検出 回帰テスト ⇒前回のテスト結果と異なるアウトプットデータを検出 フロー解析 ⇒処理フローを静的に解析してエラーを検出 |
Parasoft |
Klocwork Insight |
静的ソースコード検証ツール C/C++/Java |
一つのエンジンでC,C++,Javaの3つの言語に対応。 コード内の全てのパスを解析します。 高速な静的解析を行い、高いスケーラビリティをもっています。 |
Klocwork |
システムのボトルネック（レスポンス、トランザクション処理、システムリソース等）を検証するサービス
| 製品名 | 種別 | 特徴 | 開発元 |
|---|---|---|---|
SilkPerformer |
システム負荷検証ツール Web/.Net/Oracle/SAP他 |
スクリプトの作成・カスタマイズ 容易にパワフルなテストスクリプトが作成可能 | Micro Focus |
SOATest |
SOA・Webシステム開発向けテストツール | WSDLの検証からWebサービスやXMLの相互運用性、クライアント／サーバーの単体テスト、機能テスト、パフォーマンステスト、セキュリティ検証等、さまざまな角度からSOAシステムやWebアプリケーションを検証 | Parasoft |
WebシステムにおけるSQLインジェクション、クロスサイトスクリプティング等の脆弱性を検証するサービス
| 製品名 | 種別 | 特徴 | 開発元 |
|---|---|---|---|
VEX |
Web脆弱性検証ツール |
高いWeb脆弱性検出率。目的別のレポート出力をサポート 信頼性の高い負荷シミュレーションを実現 |
ユービーセキュア |
ドキュメントに書かれた日本語文の「あいまいさ」を計測し、誤理解のない文にするためのサービス
| 製品名 | 種別 | 特徴 | 開発元 |
|---|---|---|---|
ClearDoc |
ドキュメントあいまい度診断ツール |
日本語文の「あいまいさ」を計測し、指数で示す 診断結果の分析 |
CEC |
プロセス検証サービス
開発・運用・保守におけるリソース・情報等の管理の適切性を検証するサービス
| 製品名 | 種別 | 特徴 | 開発元 |
|---|---|---|---|
CaliberRM |
要件管理ツール |
要件をデータとして管理 要件と成果物の一元管理 要件変更に伴う影響分析をサポート |
Micro Focus |
Star Team |
構成・変更管理、 障害管理、タスク管理ツール |
ファイル管理（ソースコード、仕様書etc.） 障害・変更要求管理 タスク管理、トピック管理、ワークフロー |
Micro Focus |
SilkCentral |
テスト管理ツール |
要件との連携、テストの一元管理 （スケジュール、結果） 各種レポート生成、SCMとの連携 |
Micro Focus |
SilkTest |
テスト自動実行ツール | 機能テスト | Micro Focus |
Accelwork |
構成管理ツール | インシデント管理 | CEC |
MetaMiner |
メタデータ管理ツール | 全社統合メタデータ管理 | Gtone |
DQMiner |
データ品質管理ツール | 全社データ品質管理 | Gtone |
ChangeFlow |
アプリケーション変更管理 変更管理ワークフロー バージョン／ビルド管理ツール |
ChangeMinerと連携しアプリケーション変更管理に伴う承認機能（ワークフロー）を実現 | Gtone |
