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にはデプロイされたアプリケーション内で問題診断用ツールが含まれています。
試用版ダウンロードはこちら
メーカーの製品サイト
https://www.softwareverify.com/
【種別】シェアウェア
【言語】英語
【動作環境】Windows