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...

TestLink

TestLink 1.9.9

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

Acovea

Acovea 1.0.1

Acoveaは、GCCのCおよびC ++コンパイラでプログラムをコンパイルするための「最良」のオプションを見つけるための遺伝的アルゴリズムを実装しています。ACOVEA(進化的アルゴリズムを介して、コンパイラオプションの分析)は、GNUコンパイラコレクション(GCC)は、CおよびC...

crackerjack

crackerjack 2.0.0

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

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テスト・プロセスの一部、非常に低いプロファイルのオーバーヘッドなどの総合的なメモリテストを提供しています。 このの新機能解放します。...

Tcpreplay

Tcpreplay 4.1.1 更新

Tcpreplay(TCP(伝送制御プロトコル)リプレイ)オープンソースであり、フリーソフトウェアプロジェクトはCで実装され、* NIXのオペレーティングシステムのためのいくつかのユーティリティで構成コマンドラインツールとして機能するように設計され、ユーザーを許可しますlibpcapのライブラリを介してキャプチャされたトラフィックを使用して、ネットワークのさまざまなデバイスをテストします。プログラムは、Cプログラミング言語で書かれており、それが様々なGNU /...

pagerunit

pagerunit 0.0.3

pagerunitは、ユニットテストのように見えるように作られたシンプルなNagiosの代替手段です。開発者のコ​​メントこれはおそらく悪い考えですが、私は(それがあったように)紙に何かを取得したいので、私は戻って、実際の作業に得ることができます。利用それは/etc/pagerunit.cfgまたは〜/ .pagerunit.cfgに電子メールを送信できるようにPagerUnitを構成します。[メール]アドレス= recipient@example.com[SMTP]パスワード=パスワードポート=...

inFusion

inFusion 1.7.2

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