持つ必要があります 品質保証とテストソフトウェア のために Linux

GARコンテキスト固有のテストをもたらす鼻のプラグインです この要件：ます。 ...

ワニ-テストはリナロ上のワニモジュールゲイターデーモンリリースをチェックするためのテストを提供しますアプリです。 の要件の：ます。 ...

GCViewerは、IBMとSunのJava VM（：GC / -Xloggc：-flags -verbose）によって生成された詳細なガベージコレクション出力を可視化するSwingベースのアプリケーションです。データはまた、スプレッドシートアプリケーションでforther処理用CSVとしてエクスポートすることができます。...

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

おばあちゃんは、組み合わせテストのためのユーティリティのセットです。開発者のコ​​メント私は今、5年以上のテストソフトウェアのみに取り組んできました...現在、私は、ベストエフォート方式でサポートを提供してみてください。あなたが質問、バグ報告、機能のリクエスト等：http://groups.google.com/group/testing-software-orgを持っている場合のディスカッション·フォーラムに対処すべきですエマツールキットやテストの自動化へのヒッチハイカーガイドの詳細については、次のURL...

GUnitはJUnitをの精神でCユニットテストフレームワークです。 GUnitフレームワークは、使いやすいGNOMEライブラリベースのGUI、ならびにHildon UI（maemo.org）のサポートが組み込まれています。インストール：'パッケージのソースコードおよびタイプ `は./configureを含むディレクトリへの' 1 'のCDは、システムのパッケージを設定します。あなたは `cshを使っている場合は、それ自体...

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

HOL-TestGenは（HOL）1は、高次ロジックのテスト仕様書を書くことができます。これは、（半）自動的に抽象テストケースで、その結果、入力空間を分割し、自動的に具体的なテストデータを選択することができる。（SML）のテストハーネスの自動生成がサポートされており、外国語のインタフェースを使用して、任意の言語（例えばC）での実装を試験することができる。HOL-OCLはフリーソフトウェアです。あなたはそれを再配布および/またはGPLの条件で修正することができます。...

importcheckerはPythonモジュールで使用されていない輸入を見つけるためのコマンドラインユーティリティです。その出力が...

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