Top Quality Assurance and Testing Software for Linux

HOL short from Higher Order Logic is a programming environment in which theorems can be proved and proof tools implemented.Built-in decision procedures and theorem provers can automatically establish many simple theorems. An oracle mechanism gives access...

TestManager is a Trac plugin to create Test Cases, organize them in catalogs, generate Test Plans and track their execution status and outcome.Differently from other test management plugins for Trac that use Tickets as test case holders, this one uses...

EXQUIRES - Evaluative and eXtensible QUantitative Image Re-Enlargement SuiteDocumentation & InstructionsPlease visit: http://exquires.rivetsforbreakfast.comBasic Installation InstructionsEXQUIRES can be installed from PyPI using pip:pip install -U...

Py.Saunter is a project currently based on Nose. It will be based on Py.Test really soon.InstallationIn order to make the most out of Selenium and Python; and to use the example code here, you need to sudo pip install nose sudo pip install...

noseOfYeti is a plugin for nose, inspired by http://github.com/fmeyer/yeti, which uses a codec style to provide an RSpec style BDD dsl for Python...

lava-dashboard is a repository for test results.Package...

nose-socket-whitelist is a nose plugin that patches socket.getaddrinfo for non-local sockets, allowing you to either log all occurrences or cause the offending test to fail.socketwhitelist.plugins.LoggingSocketWhitelistPlugin logs the test(s) where...

eutester is a test framework for AWS compatible clouds.Package...

jstestnetlib is a Python module designed to execute JavaScript tests against a JavaScript TestNet server.InstallUsing pip execute:pip install git+git://github.com/kumar303/jstestnetlib.git#egg=jstestnetlibRunning TestsJavaScript tests can be executed...

pyfix is a Python module designed especially for writing test functions.Install pip install pyfixUsageHere's an important example:from pyfix import test, mainfrom pyassert import assert_that@testdef ensure_that_two_plus_two_equals_four...