Search Results for "java operating system"

Automation of Unit and System Tests. Tests can be implemented in any language and on many platforms. The flexible approach enables the inclusion of many types of tests, such as memory leak checks (using valgrind), coding rule checks, complexity checks, etc. Tests are run by a simple call to hwut in a base directory of a project. In particular for C, HWUT supports make file generation using 'sos' and 'sols' modes. Remote control-able function stubs may be generated using the 'stub' mode...

BugUnit extends JUnit with the concept of a 'bug'. Multiple tests test one bug, if one test fails the bug is open. Methods like assertEquals("PRJ-123",i,10) will flag bug PRJ-123 as open or closed in Jira and a bug-centric HTML summary.

ESpin, a SPIN-based model checking plugin upon Eclipse. The editor has full support of the syntax rules of Promela, and also provides the function of real-time syntax feedback, keywords highlight, outline view, code folding, hinting and completion, greatly improving the modeling efficiency of complex models. Additionally, ESpin provides multiple operation mode and unique configuration interfaces, which simplifies the operation process of SPIN.

CUBRID QA project contains a test-automation tool and many kinds of test cases for CUBRID database.

Tired of bogging down your machine to RUN all the TESTS, having to WAIT for the CruiseControl build to be green, or causing other developers HEARTACHE by skipping these steps when checking in your changes to source control? The Patch Process Is for YOU!

Test Case Web (TCW) is an online test case management (TCM) and test-tracking system built with PHP and a SQL backend.