PyUseCase

PyUseCase 3.5.1

PyUseCaseはPyGTKをするためのGUIのテストソフトウェアです。ユースケースレコーダーと保守性のGUIテスト力学ではなく、意図を記録しますユーザインタフェースを介してテストを作成するための最も自然な方法は、単にあなたがそれらを記録し、後で再生することができるツールを実行し、ご希望のアクションを実行することです。これは、GUIのテストを作成するための簡単​​かつ迅速な方法であり、これを行う多くのツールが存在します。ほとんどのツールのカップルGUIにしっかりとテストあなたはいくつかのテストとあなたのG...

KOJAK

KOJAK 3.3

コジャック(目的審判とパフォーマンスのボトルネックの知識ベースの検出のためのキット)は、並列アプリケーションのパフォーマンス分析のために設計された汎用的で相互運用可能なツールのためのコンポーネントのセットです。これらの機能は、計測、パフォーマンスデータの後処理、および結果のプレゼンテーションを含む全解析プロセスに対応しています。特に重要なのは、パフォーマンスの動作の高レベルのビューに収集されたデータを変換するために自動化技術に置かれます。ソフトウェアの重要な部分は、MPIとOpenMPのアプリケーションのた...

inFusion

inFusion 1.7.2

この注入は、開発者が完全にソフトウェアアーキテクチャの品質だけでなく、設計品質を制御することを可能にするJavaで書かれたコマーシャル、Eclipseベースのアプリケーションである。Javaの、C ++&NBSPを扱うことができること、およびCプロジェクト、点滴の主な目標は、これまで以上に簡単に複雑なLOCプロジェクトの品質保証をすることです。注入は、クロスプラットフォームのソフトウェアであり、それは、Linux、Mac OS XとWindowsプラットフォームで動作します。 の特長の:ます。 ...

YourKit Java Profiler

YourKit Java Profiler 2015 Build 15068 更新

YourKitのJavaプロファイラは、簡単にCPUとメモリ関連のパフォーマンスの問題の広い範囲を解決することができます商業CPUとメモリプロファイラソフトウェアです。YourKitのJavaプロファイラは、自動リーク検出、メモリ分布を分析するための強力なツール、オブジェクトヒープブラウザ、あなたのJUnitテスト・プロセスの一部、非常に低いプロファイルのオーバーヘッドなどの総合的なメモリテストを提供しています。 このの新機能解放します。...

Ahven

Ahven 2.3

Ahvenはエイダ95のプログラミング言語のためのシンプルなユニットテストライブラリ(またはフレームワーク)です。プロジェクトが緩くJUnitの後にモデル化され、いくつかのアイデアがAUnitから取られている。Ahvenはフリーソフトウェア寛容なISCライセンスの下で配布され、任意のエイダ95コンパイラで動作するはずです。 の特長の:ます。 シンプルなA​​PI 小型サイズ(Ahven 1.2は、2K SLOCがあり、636文、1074年宣言)します。...

HOL

HOL 7

このHOL短い高階論理の定理を証明し、証明ツールを実装することができるプログラミング環境である。内蔵の決定手順や定理証明は、自動的に多くの単純な定理を確立することができます。オラクルのメカニズムは、SATとBDDエンジンなどの外部プログラムへのアクセスを提供します。HOL 4は控除、実行とプロパティのチェックの組み合わせを実装するためのプラットフォームとして特に適している。 のこのリリースではの新機能:ます。 HolSmtLibは今も固定幅単語やSMT-LIB...