スポンサーリンク:

UPPAAL

UPPAAL 4.0.6

UPPAALは、モデリング、検証およびデータ型で拡張時間オートマトンのネットワーク、(有界整数、アレイなど)としてモデル化リアルタイムシステムの検証のための統合ツール環境です。UPPAAL CORAは、VHSやAMETISTプロジェクトの一部としてUPPAALチームによって開発コスト最適到達可能AnslysisためUPPAALのブランチです。 UPPAALは時間オートマトンのモデル検査をサポートし、一方、UPPAAL CORAはLPTAと呼ばれる時間オートマトンの拡張機能を使用しています。...

rgf

rgf 0.2.0.1

RGFは、Python用のRSpecの風のBDDテストフレームワークでは、現在、実験的な試みである。基本的には、これらの線に沿って構文を目指している:RGFのインポートから、それを記述(「その事」)を記述すると:  @it(「試験DESC...

crackerjack

crackerjack 2.0.0

極上品は、Linuxカーネルの回帰を見つけるための体系的な方法を提供するLinuxカーネルのリグレッション·テスト·フレームワークを提供します。Linuxカーネルは、Unixライクなオペレーティングシステムのカーネルです。これは、オペレーティングシステム、Linuxのファミリーの同名です。 GNU General Public...

TestLink

TestLink 1.9.9

TestLinkのは、PHP、MySQLは、および他のいくつかのオープンソース技術を使用して作成されたオープンソースのWebベースのテストケース管理と実行追跡システムです。楽々管理し、それらのテストケースを作成するだけでなく、チームメンバーはテストケースを実行し、動的テスト結果を追跡することを可能にするテスト計画、にそれらを整理するために(品質保証)チームは、TestLinkのは、Q&A&NBSPを可能にします。その機能の中で、私たちは、要件管理、テスト仕様、テスト実行の割り当て、テスト実行、テストレポート...

スポンサーリンク:

JProfiler

JProfiler 8.0.3

JProfilerを、商用およびクロスプラットフォームの賞を受賞したオールインワンのJavaプロファイラです。X&NBSP;それはJavaで書かれているので、JProfilerのは、Linux、Mac OSの&NBSPで使用することができますし、Windowsプラットフォーム の特長の:ます。 < LI>ローカル·セッションのライブプロファイリングます。リモートセッションのライブプロファイリングします。オフラインプロファイリングします。スナップショット比較します。 ...

YourKit Java Profiler

YourKit Java Profiler 2015 Build 15068 更新

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

SLAMD

SLAMD 1.8.2

SLAMD分散負荷生成エンジン(SLAMD)は、ストレステスト、およびネットワークベースのアプリケーションのパフォーマンス分析のために設計されたJavaベースのアプリケーションです。もともとは米国Sun Microsystems、Inc.によって開発されましたが、それは、OSIが承認したオープンソースライセンスであるSun Public...

スポンサーリンク:

AutobahnTestSuiteはツイステッド·ベースのWebSocket / WAMPプロトコルの実装·テスト·スイートです。AutobahnTestSuiteはWebSocketのプロトコルのクライアントとサーバーの実装を検証するための完全に自動化されたテストスイートを提供しています。テストスイートは、基本的なWebSocketの会話、大規模なプロトコル準拠の検証と性能と制限のテストを実行して、実装をチェックします。カバーする約300のテストケースが含まれています - フレーミング - ...

gprof2dot.pyスクリプトはドットグラフにgprofの出力を変換することができます。それは正しく、C ++テンプレート関数名を解析することができますが、ある閾値以下のノードとエッジを整理することができ、特別な表記gprofのは相互再帰関数のために使用する解析でき、ホットスポットに注意を引くために効率的に色を使用し、どこで、どのプラットフォームでも動作しますGNU...