Test Case Template

HOL-TestGen allows one to write test specifications in Higher-order logics (HOL). It can (semi-) automatically partition the input space, resulting in abstract test cases, and automatically select concrete test data. Automatic generation of test harnesses (in SML) is supported, and using a...

TestGen4J automatically generates JUnit test cases from your own Java class files or source files. Its primary focus is to exercise boundary value testing of the arguments passed to the method. It uses rules, written in a user-configurable XML file, that define boundary conditions for the data...

FREE DiceLock Security libDiceChecker-x .so shared Library. If in your process or software applications you have need for random number streams and you want to check that the input or output random stream is really at random, you can incorporate DiceChecker-x library in your applications to be...


Platforms: *nix

TestifIE is an open-source based UI test automation offering for Microsoft Internet Explorer, offering record-and-playback functionality. Testcases can be recorded using testifIERecorder, or manually developed in simple XML, or in Java. Testcase operations include execution of user actions, page...


Platforms: Windows, Mac, *nix, Java, BSD Solaris

Testing Anywhere MOBILE extends the power of scriptless test automation for testing mobile applications and mobile browsers across iOS and Android platforms. Easy to learn and use, Testing Anywhere MOBILE leverages SMART Automation(r) object-based recording technology to translate each recorded...


Platforms: Windows, Windows 8, Windows 7

Concordion is an open source framework for Behavior Driven Development (BDD) that enables developers, testers and business analysts to build executable specifications in free-form using plain English. A Concordion active specification consists of two parts: a well-formed XHTML document...


Platforms: Windows, Mac, *nix, Windows 7, Java

XAO::Web is a part of XAO open source web services suite. It allows to build dynamic web content using data, templates and external input. The distinguishing feature of XAO::Web is in its modular design where almost every aspect of functionality can be altered and alterations can be re-used. No...


Platforms: *nix

Jameleon project is an automated testing framework that can be used by technical and non-technical users alike. One of the main concepts behind it is to create a group of keywords or tags that represent different screens of an application. All of the logic required to automate each particular...


Platforms: *nix

Do178Builder project is a documentation tool used throughout the software/hardware development effort, helping to produce the DO-178B/254 documentation much less painfully. A major obstacle to creating airborne products, for smaller developers, is the necessity to qualify the software per...


Platforms: *nix

Software Planner is an award winning Application Lifecycle Management (ALM) tool that helps teams improve software quality. Tracks requirements, project plans, test cases, defects and support tickets. Integrates with most major automated testing tools including HP Quick Test Pro, HP Win Runner,...


Platforms: All

SpiraTest provides a complete quality assurance solution that manages requirements, issues, tests and bugs in one environment, with complete traceability from the begining to the end. Robust features and an easy to use interface that is fully web-based. Powered by Microsoft .NET Web Technology...


Platforms: Windows

Cricket Cage automatically creates JUnit TestCases for repeatable bugs and test scenarios. Include Cricket Cage's AspectJ code to install a code generator, then run the program to generate the TestCase. Finally, add the test case to your build.xml.


Platforms: Windows, Mac, Linux

DbUnit is a JUnit extension (also usable with Ant) targeted for database-driven projects that, among other things, puts your database into a known state between test runs. This is an excellent way to avoid the myriad of problems that can occur when one test case corrupts the database and causes...


Platforms: Windows, Mac, *nix, Java, BSD Solaris

TestCaseWeb (TCW) is a PHP and SQL-driven engine to manage software QA test cases and their execution.Test Plan Organization - Stores test cases as individual items - Multiple separate projects in one system - Allows for hierarchial relation of cases ("parent" cases) - Provides "blocking"...


Platforms: Windows, Mac, *nix, PHP, BSD Solaris

Today safety critical flight control systems are tested using model based approach. The model blocks are proprietary and seldom shared in the open. A benchmark problem was designed as part of a research activity to test out certain test case generation techniques. This model was also used as a...


Platforms: Matlab

TestGen4J is an open-source, automaticJava test generator that creates standard JUnit test cases from Java class or source files. In addition to reducing manual testing, it provides a data driven test harness with an automatic failed test case utility.


Platforms: *nix

This product allows developers to create TTW Selenium test suites inside their Zope instance, in order to do browser-based functional testing of their site. Prerequisites * A working Zope2 installation. See Installing Zope for directions on getting Zope 2.12 set up in a virtualenv, or...


Platforms: *nix

The Compartmented Robust Posix C++ Unit Test system. crpcut is a simple to use unit test system for C++, where each test case is run in its own process and own working directory, to ensure that each test case starts from a clean slate.


Platforms: *nix

During the software development process, errors are inevitably introduced and some of them are even amplified as a project progresses. To detect these errors so that they can be removed, we need to test the software. The success of testing depends on the test cases used. Considering that most...


Platforms: Windows

IsaMorph is a linux distribution Live CD (based on Morphix) featuring the interactive theorem prover Isabelle. This means, you can boot from the CD and get a fully operational "theorem proving" environment without installing GNU/Linux or Isabelle. Just insert the CD in your PC and have five...


Platforms: *nix