HOME > 検証サービス・ツール

検証サービス・ツール

PROVEQでは「エンドユーザーが満足する商品作りに貢献する」という考えを原点に、ユーザー視点でテストを行い、「検査」「検証」を両立した第三者検証サービスを提供しています。また、検証のプロが認めたすぐれた解析ツールを各種取り揃えています。

  • 検証サービスアイコン検証サービス:エンジニアによる人的サービス
  • 検証ツールアイコン検証ツール:各種検証用ツール

ソースコード検証すべての検証サービス・ツール

ソースコード検証の検証サービス

ソースコード検証の検証ツール

表示切替ボタン

簡易表示

詳細表示

仕様書・設計書検証

仕様書・設計書検証を非表示仕様書・設計書検証を表示

ドキュメント検証ドキュメント検証
ドキュメント検証

仕様書・設計書等の『誤理解、抜け/漏れ』等を改善、開発効率向上

仕様書・設計書などのドキュメントから読み手に誤解を与える箇所を抽出。誤理解・漏れによる認識不一致と手戻りを防止するサービスです。

PGReliefPGRelief
ClearDoc

テスト設計の観点から仕様書や設計書を精査。開発工程全体の改善に

テスト設計の観点から仕様書・設計書を精査。読み手に誤解を与えるあいまいな記述を自動検出。高品質なドキュメント作成を支援するツールです。ClearDoc

セキュリティ・コンプライアンス

セキュリティ・コンプライアンスを非表示セキュリティ・コンプライアンスを表示

スマートフォンアプリケーションセキュリティ診断スマートフォンアプリケーションセキュリティ診断
スマートフォンアプリケーションセキュリティ診断

iOS・Androidアプリ本体/サーバー側の脆弱性を検出、対応策もサポート

検出された脆弱性の発生原因、被害予測、具体的な対応策まできめ細やかにサポート。PROVEQならではのセキュリティ検査で、セキュアなスマホアプリ開発をバックアップします。

Androidアプリ不正改ざん検知ソリューションAndroidアプリ不正改ざん検知ソリューション
Androidアプリ不正改ざん検知ソリューション

Androidアプリの不正改竄・解析をブロック。万が一の改竄も起動抑制

Androidアプリの不正改竄・解析をブロックし、大切なアプリケーションを様々なリスクから守るセキュリティ対策サービスです。

OSS(オープンソースソフトウェア)診断OSS(オープンソースソフトウェア)診断
OSS(オープンソースソフトウェア)診断

ライセンスや脆弱性を明確に把握し、訴訟リスクを最小限に

把握しづらいオープンソースソフトウェアの利用状況やライセンス問題を可視化するサービスです。訴訟リスクを最小限に抑えます。

セキュリティガイドライン策定支援セキュリティガイドライン策定支援
セキュリティガイドライン策定支援

セキュリティ水準向上に不可欠なガイドラインの策定をサポート

セキュリティガイドラインの策定をサポートするサービスです。潜在的セキュリティホールの低減から品質向上が可能になります。

セキュリティ教育セキュリティ教育
セキュリティ教育

セキュアプログラミング・発注・運営に必要な基礎知識習得を支援

豊富なセキュリティ診断経験に基づくカリキュラムで、セキュアプログラミング・発注・運営に必要な基礎知識習得を支援します。

ネットワーク機器ロバストネス診断ネットワーク機器ロバストネス診断
ネットワーク機器ロバストネス診断

検証が困難な組み込み機器の脆弱性を検出、製品回収リスクを低減

様々なプロトコルのパケットを連続送付することで未知の脆弱性を発見、組み込み機器の品質向上に貢献するサービスです。

ネットワークセキュリティ診断ネットワークセキュリティ診断
ネットワークセキュリティ診断

サーバ・ネットワーク機器を検証、セキュアなネットワークを実現

ネットワーク上のサーバー、ファイアウォール等の機器を検査、脆弱性を最小限に抑えたセキュアなネットワーク構築をサポートします。

Webアプリケーションセキュリティ診断Webアプリケーションセキュリティ診断
Webアプリケーションセキュリティ診断

Webアプリ・サイトの脆弱性・セキュリティホールを検出、対応も支援

Webサイトで様々なサービス提供を実現するWebアプリケーションのセキュリティホールや脆弱性を検証、対応策を提示するサービスです。

Webサイトセキュリティ簡易診断Webサイトセキュリティ簡易診断
Webサイトセキュリティ簡易診断

インターネット公開中のWebサイトに対して、気になるセキュリティ脆弱性の可能性を簡易診断

敷居が高いセキュリティ診断を実施する前に、Webサイトを簡易診断。セキュリティ診断の要否を判断する資料として最適なサービスです。

VEXVEX
VEX

優れた脆弱性検出率と多彩なレポート機能。純国産脆弱性検査ツール

優れた脆弱性検出率と多彩なレポート機能で幅広い支持を得る純国産Webアプリケーション脆弱性検査ツール。スマホアプリにも対応。VEX

PalamidaPalamida
Palamida

OSS利用状況・ライセンスを可視化、訴訟リスクを低減

手作業では検出が困難なオープンソースソフトウェアの利用状況とライセンス、脆弱性を可視化、訴訟リスクを低減するOSS診断ツール。Palamida

FFR RavenFFR Raven
FFR Raven

未知の脆弱性を検出、組み込みシステムのセキュリティ強化に

異常データを連続送付するFuzzing Testで未知の脆弱性を発見。組み込みシステムのセキュリティ強化をサポートするツールです。FFR Raven

Tao RiskFinderTao RiskFinder
Tao RiskFinder

簡単にAndroidアプリの安全性をチェックできる診断サービス。

簡単にAndroidの脆弱性診断をすることが可能になり、アプリケーションの品質を一定に保つ事が可能になります。Tao RiskFinder

システム機能検証

システム機能検証を非表示システム機能検証を表示

医療機器ソフトウェアシステム検証サービス医療機器ソフトウェアシステム検証サービス
医療機器ソフトウェアシステム検証サービス

医療規格を考慮したテストプロセス、成果物の提供

IEC 62304等の医療規格を考慮したテストプロセスの構築を支援し、第三者の視点でテストを実行し、テスト工程全般の記録文書を提供するサービスです。

スマートフォン検証スマートフォン検証
スマートフォン検証

AndroidやiPhone等、モバイルデバイスの検証を検証項目からご提案

メーカー独自アプリ、プリインストールアプリ、互換性検証など、幅広いスマートフォンテストを計画から実施までサポートします。

モバイルコンテンツ検証モバイルコンテンツ検証
モバイルコンテンツ検証

スマホアプリ・Webアプリ・Webサイト等のコンテンツを幅広い環境で検証

スマホアプリ・Webアプリなどモバイルコンテンツを幅広い環境で検証。ユーザー視点のテストで品質向上をサポートするサービスです。

組込みシステム・デジタル機器検証組込みシステム・デジタル機器検証
組込みシステム・デジタル機器検証

モバイルデバイス等の組み込みソフトウェアを製品特性に応じて検証

モバイルデバイスに代表される組み込みソフトウェアや、バンドルソフトウェア等を規模や製品特性に応じて検証するサービスです。

接続性互換検証接続性互換検証
接続性互換検証

多様化の進むBluetooth、NFC、USB、Wi-Fi等の互換性テスト

豊富なテスト機材と実際の通信規格を用いてUSBやIEEE1394、IrDA、Wi-Fi、Bluetooth、NFC搭載機器の互換性を検証するサービスです。

PGReliefユーザビリティ診断
ユーザビリティ診断

ハードウェアからアプリまで、ユーザーの体感する操作性を診断

スマートフォン端末からスマホアプリ、ASPサービス、ECサイトまで、ユーザー視点のテストで課題点を検出するサービスです。

ローカライズ検証サービスローカライズ検証サービス
ローカライズ検証サービス

翻訳のみでは実現できない日本語表示で海外モデルの導入を支援

日本製品データを活用し、海外モデルの日導入に欠かせない違和感のない和訳を提供、ローカライズをサポートするサービスです。

Smart検証Smart検証
Smart検証

ECHONET Lite規格適合性認証取得から出荷前の接続確認までサポート

ECHONET/ECHONET Lite規格適合性認証取得に向けた認証支援から製品出荷前の接続確認まで幅広くサポートするサービスです。

機能テスト自動化機能テスト自動化
機能テスト自動化

安定的な稼働に不可欠な機能テストの負担を自動化によって軽減

アプリケーションの安定稼働に不可欠な機能テストを自動化。テストケースの設計から改善・管理までサポートするサービスです。

Silk TestSilk Test
Silk Test

広範囲なアプリケーションテストの自動化が可能

簡単な操作でテストスクリプトを作成、検証工程の負担を軽減する機能テストを自動化ツール。スクリプトの再利用や連続テストも可能。

テストプロセス改善

テストプロセス改善を非表示テストプロセス改善を表示

上流工程の品質強化支援サービス上流工程の品質強化支援サービス
上流工程の品質強化支援サービス

上流工程での検証によって、開発工程の中で発生するリスクと工数を削減

ソフトウェアの開発工程の中で発生するリスクを、上流工程(設計/製造フェーズ)での検証で軽減。上流工程で検知された不具合を下流工程であるシステム検証へ活かします。

プロセス検証プロセス検証
プロセス検証

統合リポジトリを活用した情報の可視化で開発プロセスを改善

統合リポジトリ活用で開発プロセスを改善。開発現場における様々な情報を可視化しするサービスです。

WモデルWモデル
Wモデル

開発工程と検証工程を並行して進めるWモデルの導入をサポート

経験豊富なエンジニアが開発工程と検証工程を並行して進めるWモデル導入をサポート。効率化と品質向上を支援するサービスです。

StarTeamStarTeam
StarTeam

開発プロジェクトの膨大な情報・タスクを一元化するプラットフォーム

ソフトウェアライフサイクルにおける情報・タスクを一元管理する強力なプラットフォーム。情報の可視化で効率向上を支援します。

agileagile
アジャイル開発におけるテストプロセス構築支援サービス

アジャイル開発プロジェクトひとつひとつに対応した、効果的なテストプロセスの構築を提案

アジャイル開発プロジェクトひとつひとつに対応した、効果的なテストプロセスの構築を提案

ソースコード検証

ソースコード検証を非表示ソースコード検証を表示

ソースコード検証ソースコード検証
ソースコード検証

専門エンジニアによるソースコード解析でコードレベルの品質向上

検証専門エンジニアによるソースコード解析で不良箇所を報告。開発者の負荷軽減とコードレベルでの品質向上を支援するサービスです。

PGReliefPGRelief
PGRelief

スキルの高い開発者がレビューで発見するような問題点を自動検出

ソースコードの静的解析で、プログラムの欠陥部分を指摘。スキルの高い開発者がレビューで発見するような問題点を自動的に検出。

KlocworkKlocwork
Klocwork®

C、C++、Java、C#開発用静的コード解析ツール群。大規模コードにも

コード記述中のリアルタイム解析、レポート機能などを併せ持つソースコード静的解析統合ソリューション。C、C++、Java、C#に対応。Klocwork

Klocwork Code ReviewKlocwork Code Review
Klocwork® Code Review

Webベースのコードレビューツール。C、C++、Java、C# 対応

シンプルなインターフェースで効果的なレビューを実現。ソフトウェア開発の品質管理にC++、Java、C# 対応のコードレビューツール。Klocwork Code Review

DevPartnerDevPartner
DevPartner

.NETアプリケーション開発の初期段階からデバッグやテストを強力に支援

静的ソースコード解析、パフォーマンス分析、メモリ分析、カバレッジ分析、実行時エラー検出、豊富な機能で上流から下流までサポート

システム負荷検証

システム負荷検証を非表示システム負荷検証を表示

システム負荷検証システム負荷検証
システム負荷検証

複数端末からのアクセスによる負荷テストでボトルネックを発見

システムの本番運用を想定した負荷テストを短期間で実施。パフォーマンスを計測し、ボトルネック検出を支援するサービスです。

Silk PerformerSilk Performer
Silk Performer

分かりやすい操作で効率的な性能テストを実現する負荷テストツール

特別な知識がなくても正確で効率的な性能テストを可能にする負荷テストツール。製品品質の維持向上を強力にバックアップします。

dynaTracedynaTrace
dynaTrace

全トランザクションを正確に可視化、ボトルネックをピンポイントで発見

ユーザーのクリックからデータベースのアクセスにいたるまで、すべてのトランザクションを可視化。ボトルネックをピンポイントで発見し、アプリケーションのメソッドレベルまで追跡できます。

測定サービス・ツール

測定サービス・ツールを非表示測定サービス・ツールを表示

HTML5 API差分情報提供HTML5 API差分情報提供
HTML5 API差分情報提供

HTML5で設定されているAPIの実装状況を端末機種ごとの一覧で提供

HTML5で設定されているAPIの実装状況をスマートフォン端末・携帯電話の端末機種ごとの一覧で提供するサービスです。

スマートフォン熱測定スマートフォン熱測定
スマートフォン熱測定

実際の使用環境をシミュレートし、発熱しやすい条件・環境・機能を特定

実際の使用環境をシミュレートし、スマートフォン本体の温度を計測。発熱しやすい条件・環境・機能を特定するサービスです。

TRYGLE POWER BENCHTRYGLE POWER BENCH
TRYGLE POWER BENCH

電力消費のタイミングを検出してアプリの省電力化と品質向上

スマートフォンのバッテリー消費を測定、電気を消費するタイミングを可視化するツールです。アプリの省電力化と品質向上に。

LAPLAP
LAP

Android端末標準ログから有用な情報をピックアップし分析・可視化

Android端末標準ログから有用な情報をピックアップし分析・可視化。、不具合・ボトルネックなどの課題を解析するログアナライザー。

検証機(テスト機材)

検証機(テスト機材)を非表示検証機(テスト機材)を表示

検証機(テスト機材)検証機(テスト機材)
検証機(テスト機材)

過去に販売された機種から最新機種まで、各種検証機で実機検証

スマートフォン、携帯電話、PCなど過去に販売された機種から最新機種まで、豊富な検証機で実機テストをサポートするサービスです。

管理・監視・運用

管理・監視・運用を非表示管理・監視・運用を表示

Silk CentralSilk Central
Silk Central

テスト結果や改修状況など検証にまつわる様々な情報を一元管理

テスト結果や改修状況など検証にまつわる様々な情報を一元管理。開発の進捗状況を可視化して製品の品質向上を可能にします。

CaliberCaliber
Caliber

適切な要件定義で、プロジェクト関係者全員の認識一致を促進

適切な要件定義を行うことで、ソフトウェアの明確な完成像を構築し、プロジェクト関係者全員の認識一致を促進するツールです。

TRYGLE POWER BENCHTRYGLE POWER BENCH
cloudappbase

会社支給でもBYODでも万全なセキュリティ体制で業務活用

モバイルデバイスの業務活用にセキュアな環境を提供するスマートデバイス専用プラットフォーム。会社支給でもBYODでも利用可能。cloudappbase

csqompasscsqompass
CS Qompass

様々な品質分析を実現するソリューション-品質マネジメントプラットフォーム

従来型のプロジェクト管理ツールでは満たせない、品質管理への要求に応えた、品質マネジメントプラットフォーム

開発者支援

開発者支援を非表示開発者支援を表示

VectorCASTVectorCAST
VectorCAST

動的テストの自動化とカバレッジ分析で品質向上をサポート

MC/DC(修正条件/判定カバレッジ)を満たすテスト項目を自動生成。高度な安全性・信頼性を要求される開発現場をサポートします。

 IoT開発ソリューション IoT開発ソリューション
IoT開発ソリューション

組込みソフトウェア~アプリケーションまであらゆるレイヤーの開発を支援します

組込みソフトウェア、ネットワーク関連、クラウド基盤、ネットワーク機器制御アプリケーションに関する各種プロダクトの開発実績を多数保有しています

認証審査

認証審査を非表示認証審査を表示

医療機器ソフトウェア認証取得支援医療機器ソフトウェア認証取得支援
医療機器ソフトウェア認証取得支援

国際標準IEC 62304認証取得のためのコンサルティングサービス

医療用ソフトウェア業界の緊急課題となっている国際標準IEC 62304。品質マネジメント・認証取得のためのコンサルティングサービスです。

ECHONET認証ECHONET認証
ECHONET認証

認証機関ならではの多角的な視点でECHONET Lite規格認証取得をサポート

認証機関ならではの多角的な視点で、スマートハウス・家電向け通信規格ECHONET及びECHONET Lite規格認証取得をサポートします。ECHONET認証

ECHONET Lite AIF 認証/試験サービス ECHONET Lite AIF 認証/試験サービス
ECHONET Lite AIF 認証/試験サービス

ECHONET Lite AIF認証審査合格まで完全サポートいたします

ECHONET Lite認証、AIF認証試験、AIF認証審査をワンストップで実施。AIF認証審査合格までの間、シーイーシーが窓口となり完全サポートいたします

IrDA/IrSimple認証についてIrDA/IrSimple認証について
IrDA/IrSimple認証について

国内唯一のIrDA/IrSimpleの認証テスト機関としてテストプランを提供

国内唯一のIrDA/IrSimpleの認証テスト機関として、認証取得から相互接続の確認までの様々な課題をサポートします。IrDA/IrSimple認証について