AceUnit

AceUnit 0.7.0

AceUnit(詳細CおよびEmbedded単位):快適なCコードのユニットテストフレームワーク。 AceUnitはJUnitの4.xのスタイル、簡単に、モジュール式で柔軟性があります。このプロジェクトは、リソース制約環境などで使用することができ組込みソフトウェア開発 この何は、このリリースで新しく追加されました:...

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

DREAM Tool

DREAM Tool 0.7 Beta

DREAMツールは、いくつかの(リアルタイム、消費電力、リソース)の制約を表現することができる一般的な意味領域を提供することを目的とする一般的なフレームワークです。意味領域は、意味的にハイブリッドオートマトンの形式主義に固定されている実行可能なC...

Sahi

Sahi 20110719

Sahiを記録する機能と再生スクリプトで、Webアプリケーションの自動化とテストツールです。JavaとJavaScriptで開発されたこのツールは、ブラウザ上のイベントを実行するために簡単なJav​​aScriptを使用しています。Sahiの機能は、ブラウザ内のコントロール、テキストベースのスクリプト、テストスイートの再生のためのアリサポート、マルチスレッド再生を含む。...

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

ESC/Java2

ESC/Java2 2.0 Beta 5

ESC / Java2のは、Javaの拡張静的チェッカーです。それは自動的に、静的、およびモジュール方式一般的なプログラミングエラーを検出します。 JMLで記述されます(オプション)アノテーションを持つJavaプログラムについてのESC / Java2の上の理由から このリリースの新機能:ます。...