731 projects tagged "Testing"

Download Website Updated 10 Oct 2012 Valgrind

Screenshot
Pop 419.81
Vit 11.76

Valgrind is a tool that helps you find memory management problems in programs. When a program is run under Valgrind's supervision, all reads and writes of memory are checked, and calls to malloc/new/free/delete are intercepted. As a result, Valgrind can detect problems such as use of uninitialized memory, reading/writing of memory after it has been freed, reading/writing off the end of malloced blocks, reading/writing inappropriate areas on the stack, memory leaks in which pointers to malloced blocks are lost forever, passing of uninitialized and/or unaddressable memory to system calls, and mismatched use of malloc/new/new [] vs. free/delete/delete [].

Download Website Updated 24 Dec 2013 Cobra Programming Language

Screenshot
Pop 100.76
Vit 11.31

Cobra is a general purpose programming language with a clean, high-level syntax. It provides language level features for quality, including first class unit tests and Eiffel-style contracts. It supports both static and dynamic binding. Cobra is a compiled language with good run-time performance, but also provides some scripting conveniences such as a pound-bang line (#!) and one step compile-and-run. Cobra runs on Linux, Mac, Windows, and anywhere else that Novell Mono or MS .NET exist, including handhelds.

No download Website Updated 14 Jun 2014 Apache uimaFIT

Screenshot
Pop 54.09
Vit 10.88

Apache uimaFIT provides Java annotations for describing UIMA components which can be used to directly describe the UIMA components in Java code without the need for traditional UIMA XML descriptors. This greatly simplifies refactoring a component definition (e.g., changing a configuration parameter name). It also makes it easy to instantiate UIMA components without using XML descriptor files by providing convenient factory methods. It is ideal for testing UIMA components because the component can be easily instantiated and invoked without requiring a descriptor file to be created first.

Download Website Updated 16 Sep 2013 XMLUnit

Screenshot
Pop 106.88
Vit 10.48

XMLUnit provides assertions and supporting class libraries to test various properties of generated pieces of XML using a popular testing framework. It supports finding the differences between two pieces of XML, validating documents against DTDs or XML Schemas, testing the results of XPath expressions, or asserting properties of Nodes exposed via DOM traversal. Two branches exist: one that supports Java and JUnit and one that supports the .NET Framework and NUnit.

No download Website Updated 14 Apr 2011 Asymptopia Crossword Builder

Screenshot
Pop 119.20
Vit 10.02

Asymptopia Crossword Builder (Math/Text) is an application that runs in any modern Web browser, but does not require an Internet connection (if it is installed locally). The application was designed to allow teachers to quickly produce well-designed, challenging activities. The application features a configuration panel where the user can either enter their own word-hint pairs, or generate math-crossword problems via a single button. The math functionality generates word:hint pairs like: "four:7/x-3/8=11/8", where the hint corresponds to the problem, and the student would write the letters "four" in the corresponding boxes of the puzzle.

No download Website Updated 09 Mar 2007 UPPAAL

Screenshot
Pop 110.47
Vit 9.95

UPPAAL is an integrated tool environment for modeling, validation, and verification of real time systems, modeled as networks of timed automata, extended with data types (bounded integers, arrays, etc.). Typical application areas include real time controllers and communication protocols, in particular those where timing aspects are critical.

Download No website Updated 08 Jun 2011 TestLink

Screenshot
Pop 184.21
Vit 9.94

TestLink is a test management tool and execution tracking system with Web based and SOAP interfaces. It helps streamline the software development process. It enables quality assurance teams to create and manage their test cases and organize them into test plans and execute them. Users can also manage requirements, create reports, and directly work with bug trackers.

Download Website Updated 31 May 2014 Aegis

Screenshot
Pop 290.44
Vit 9.83

Aegis is a transaction-based software configuration management system. It provides a framework within which a team of developers may work on many changes to a program independently, and Aegis coordinates integrating these changes back into the master source of the program, with as little disruption as possible. Aegis supports geographically distributed development.

Download Website Updated 24 Jun 2010 Daikon

Screenshot
Pop 86.79
Vit 9.70

Daikon is an implementation of dynamic detection of likely invariants. An invariant is a property (such as "x=2*y+5" or "this.next.prev = this" or "myarray is sorted by <") that holds at a certain point or points in a program. Invariants are often seen in assert statements, documentation, and formal specifications. Invariants can be useful in program understanding and a host of other applications. Daikon runs a program, observes the values that the program computes, and then reports properties that were true over the observed executions. It can detect properties in Java, C, C++, Perl, and IOA programs, in spreadsheet files, and in other data sources.

No download Website Updated 12 Jun 2014 Xnee's not an event emulator

Screenshot
Pop 246.66
Vit 9.35

Xnee can record, distribute, and replay X (X11) protocol data. This is useful for automated tests of applications or benchmarking of applications. Think of it as a robot. A GUI, a Gnome Panel Applet, and a CLI are available, as well as bash functions.

Screenshot

Project Spotlight

Cerridwen

Accurate solar system data for everyone.

Screenshot

Project Spotlight

Toxic

A general purpose template engine.