Software Verifyとは

Software Verify

Software Verifyは、ソフトウェア開発者がコードの品質を向上させるのに役立つツールのレンジを提供します。

Coverage Validator

コードカバレッジを測定するのに役立つツール

Coverage Validatorは、開発者がアプリケーションのコードカバレッジを測定するのに役立つツールです。

x64およびx86アーキテクチャ

x64およびx86アーキテクチャの両方をサポートし、テスト中に実行されたコードの行に関する詳細な情報を提供します。

適切にテストされていない可能性のあるコード領域を特定

この情報は、適切にテストされていない可能性のあるコード領域を特定し、アプリケーション全体の品質を向上させるために使用できます。

Memory Validator

メモリリークやその他のメモリ関連の問題を検出して修正するのに役立つツール

Memory Validatorは、開発者がアプリケーション内のメモリリークやその他のメモリ関連の問題を検出して修正するのに役立つツールです。

x64およびx86アーキテクチャ

x64およびx86アーキテクチャの両方をサポートし、メモリ使用量に関する詳細な情報を提供します。これには、呼び出しスタックとソースコード参照が含まれます。

メモリリークを特定して修正

この情報は、メモリリークを特定して修正し、クラッシュのリスクを減らし、アプリケーションのパフォーマンスを向上させるために使用できます。

Performance Validator

パフォーマンス問題を特定して修正するのに役立つツール

Performance Validatorは、開発者がアプリケーション内のパフォーマンス問題を特定して修正するのに役立つツールです。

x64およびx86アーキテクチャ

x64およびx86アーキテクチャの両方をサポートし、CPU使用量に関する詳細な情報を提供します。これには呼び出しスタックとソースコード参照が含まれます。

パフォーマンスボトルネックを特定

この情報はパフォーマンスボトルネックを特定し、より良いパフォーマンスのためにアプリケーションを最適化するために使用できます。

Thread Validator

スレッド問題を検出して修正するのに役立つツール

Thread Validatorは、開発者がアプリケーション内のスレッド問題を検出して修正するのに役立つツールです。

x64およびx86アーキテクチャ

x64およびx86アーキテクチャの両方をサポートし、スレッド使用量に関する詳細な情報を提供します。これには呼び出しスタックとソースコード参照が含まれます。

スレッド問題を特定して修正

この情報はスレッド問題を特定して修正し、クラッシュのリスクを減らし、マルチスレッドアプリケーションのパフォーマンスを向上させるために使用できます。

Suite

開発者、QAおよびサポートチーム向けのSuite

これらの個々のツールに加えて、Software Verifyは開発者、QAおよびサポートチーム向けのSuiteも提供しています。

Developer Suite

Developer Suiteには上記すべてのツールとデバッグおよびプロファイリング用の追加ツールが含まれています。

QA Suite

QA Suiteにはアプリケーション品質テストおよび検証用ツールが含まれています。

Support Suite

Support Suiteにはデプロイされたアプリケーション内で問題診断用ツールが含まれています。