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

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

TestManagerには、テストケースを作成し、カタログでそれらを整理し、テスト計画を生成し、その実行状況や成果を追跡するTracのプラグインです。と異なり、テストケースホルダとしてチケットを使用Tracのための他のテスト管理プラグインから、これはテストケースを保存するためにWikiページと追加の独自のデータモデルを使用しています。これは、チケットではない何かであなたのチケット一覧のリストを汚染しないことを可能にすると同時に、Wikiページ用のTracの検索エ​​ンジンと書式構文によって供給されています。...

EXQUIRES - 評価測光で拡張可能な定量的画像再拡大Suiteののドキュメント＆取扱説明書のご覧ください：http://exquires.rivetsforbreakfast.comの基本的なインストール手順のEXQUIRESはピップを使用してPyPIのからインストールすることができます。ピップの-U exquiresをインストールまたはアーカイブ解除PyPIの、からのソース配布をダウンロードし、実行します。Pythonはsetup.py...

Py.Saunterは現在、鼻に基づくプロジェクトです＆NBSP;それは本当にすぐPy.Testに基づいて行われます。インストールのセレンおよびPythonを最大限にするためには、と、ここでのサンプルコードを使用するために、次のことを行う必要があり＆NBSP; sudoのピップ鼻をインストール＆NBSP; sudoのPIP unittest2インストール＆NBSP; sudoのピップスフィンクスをインストール＆NBSP;...

noseOfYeti PythonのテストのためのRSpecのスタイルBDDのDSLを提供するために、コーデックのスタイルを使用している、http://github.com/fmeyer/yetiに触発され、鼻のためのプラグインです。 の要件の ...

溶岩-ダッシュボードには、テスト結果のリポジトリです。パッケージのドキュメント の要件の ...

ノーズのソケット·ホワイトリストを使用すると、すべての出現を記録したり、問題のあるテストが失敗する原因とするかできるように、非ローカルソケット用socket.getaddrinfoパッチ鼻のプラグインです。socketwhitelist.plugins.LoggingSocketWhitelistPlugin＆NBSPは、ソケットはすべてのテストの実行が完了したときにsys.stderrにsummarayレポートを印刷し、開かれているテスト（複数可）を記録しますsocketwhitelist.plugins...

eutesterはAWS互換性のある雲のためのテストフレームワークです。パッケージのドキュメント の要件の のPythonます。アマゾンカワイルカます。...

jstestnetlibは、JavaScript TestNetサーバーに対してJavaScriptのテストを実行するように設計されたPythonモジュールです。ののインストール実行ピップ使用：//github.com/kumar303/jstestnetlib.git#egg=jstestnetlib：gitの+のgitをインストールピップのテストの実行のJavaScriptの試験は、鼻を使用して実行することができる。例えば：--with-jstests nosetests \＆NBSP; - ...

pyfixは特にテスト機能を記述するために設計されたPythonモジュールです。ののインストール＆NBSP; pyfixをインストールピップの使用法のここで重要な例です：pyfixインポートテストから、主pyassert輸入assert_thatから@TestDEF ensure_that_two_plus_two_equals_four（）：とをタップ; assert_that（2 +...