フリー 品質保証とテストソフトウェア のために Linux

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

openstack.nose_pluginはOpenStackののrun_tests.pyの出力を模倣するnosetests出力を提供鼻のプラグインです。インストールの＆NBSP; openstack.nose_pluginをインストールピップの使用法の以下のオプションがフィットネスエクササイズです。＆NBSP; - と、OpenStackは＆NBSP; OpenStackのプラグインの有効化：ノヴァスタイルの出力ジェネレータ[NOSE_WITH_OPENSTACK]＆NBSP; - ...

expecterでは、アサーションを記述するのに役立ちます。二度とあなたが期待されていると実際であることを忘れます！基本的な期待は簡単です：＆NBSP; >>> expecterのインポートから期待＆NBSP; >>>（ '一部' + 'もの'）== '何か'を期待する＆NBSP;（ '何か'）を期待とをタップ; >>>（1）> 100を期待＆NBSP;トレースバック（最新の呼び出し最後）：＆NBSP; ...＆NBSP;...

noseenvフォーム」--env ENVIRONMENT_VARIABLE = VALUE」のオプションを追加するために鼻のプラグインです。 - PyPIの：http://pypi.python.org/pypi/noseenv - トラビスCI：...

口吻は、より高いレベルのテストを容易に鼻の拡張機能です。テストクラスは、このような基は、彼らが他のテストに依存している、と彼らは無視されるべきであるかどうかどうか、であるものとして有用なメタデータが含まれてデコレータを経由して登録するためにそれらを強制することで発見される方法を変更。テングザルは、それが鼻に渡すテストスイートを構築する目的の実行順序に、登録されたすべてのテストをソートします。それはあなたが正確なテストクラスに渡さずに実行したいテストのグループを指定することは可能ですように、それはまた、このリ...

パルスプロジェクトは、コードの整合性を確保するためにあなたと一緒に動作するように設計され、サーバ自動ビルド（または継続的インテグレーション）です。Pulseは、定期的にプロジェクトを作成します、あなたのSCMからソースコードをチェックし、その結果を通知します。 の特長の：ます。 ...

証言Pythonのunittestのモジュールと鼻の代替である。証言はunittestの後にモデル化され、unittestのために書かれたテストでは、調整を最小限の証言の下で実行されますが、それはunittestの枠を越えて、更に上の特徴があります。＆NBSP; *テストメソッドのセット全体に対して一度各経営されてクラスレベルのセットアップとティアダウンフィクス方法。＆NBSP; *スーパー（）呼び出しの必要性を排除フィクスメソッドのデコレータベースのアプローチを、。＆NBSP;...

pytestマーカー-BugzillaはBugzillaの統合のためのpy.testプラグインです＆NBSP;このプラグインは現在、次のワークフローを想定しています。：でbug_statusバグが知られており、作業中ですので、テストがスキップされるべきとなることを意味[、「ASSIGNED '' ON_DEV '' NEW ']。bug_statusに['NEW'、 'ON_DEV'、...

マラソンは、標準的なスクリプト言語＆ndashに含め、すべてのJava / Swingコンポーネントのサポートを提供するフレームワークです。 RubyやPythonの。マラソンには、スクリプトを記録し、テストするために使用され、コンポーネントではなく、生のアクションのセマンティックアクションを記録することができます。 の特長の：ます。 ...

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