RSS 728 projects tagged "Testing"

Download Website Updated 11 Apr 2011 ACL2

Screenshot
Pop 74.94
Vit 4.97

ACL2 is a mathematical logic, programming language, and mechanical theorem prover based on the applicative subset of Common Lisp. It is an "industrial-strength" version of the NQTHM or Boyer/Moore theorem prover, and has been used for the formal verification of commercial microprocessors, the Java Virtual Machine, interesting algorithms, and so forth.

No download Website Updated 11 Feb 2013 APEye

Screenshot
Pop 25.34
Vit 20.71

APEye is a jQuery widget for issuing HTTP requests, designed to help document and test APIs. With a few lines of Javascript, you can let users experiment with your API without leaving the documentation. Unlike hurl and apigee, requests are handled entirely by the client; no server-side proxy is needed.

No download Website Updated 30 Sep 2002 AWBot

Screenshot
Pop 73.10
Vit 1.00

AWbot is a bot that connects to your Web site and makes URL requests like human visitor. It's not a Web indexing robot, but a Web client tool that emulates visitors browsing your Web site to test its stability after a development change, its reliability, and its response to heavy loads.

Download Website Updated 11 Apr 2011 Abbot

Screenshot
Pop 143.25
Vit 8.92

Abbot is a framework for testing Java GUIs. It lets you launch an application or GUI component, play back user actions on it, and examine its state. Tests may be coded or scripted. The editor supports recording user actions into a script, exploring the component hierarchy, running the script, and other features you'd expect from a script editor. Test scripts are JUnit extensions.

Download Website Updated 03 Jun 2007 Accerciser Accessibility Browser

Screenshot
Pop 25.51
Vit 2.03

Accerciser lets you test all aspects of accessibility on the GNOME desktop. It uses AT-SPI to inspect and control widgets, allowing you to check whether an application is providing correct information to assistive technologies and automated test frameworks. It has a simple plugin framework that you can use to extend and customize the accessibility information displayed. It is written in Python and uses the pyLinAcc component from LSR to interact with AT-SPI using pyORBit. In essence, it is a next generation at-poke tool.

Download Website Updated 26 Jan 2008 AceUnit

Screenshot
Pop 58.89
Vit 3.69

AceUnit (Advanced C and Embedded Unit) is a comfortable C code unit test framework. AceUnit is in the style of JUnit 4.x, and is easy, modular, and flexible. AceUnit can be used in resource constraint environments such as embedded software development.

Download Website Updated 11 Aug 2008 Achoo

Screenshot
Pop 18.06
Vit 1.00

Achoo is a fluent interface for unit testing Python objects. Achoo makes it easy to make assertions about the properties and behaviors of Python objects. For example, is this object equal to this other one? Does calling this function with these arguments raise an error?

Download Website Updated 13 Nov 2005 Acovea/GTK

Screenshot
Pop 28.90
Vit 1.00

Acovea/GTK is a GTK-based graphical front end for the Acovea (Analysis of Compiler Options via Evolutionary Algorithm) optimization engine.

No download Website Updated 07 Aug 2003 AePro

Screenshot
Pop 23.43
Vit 1.00

AePro is a compilation manager for programs written in progres4gl. It compares modification times and will only (re)compile the programs whose source code has changed. It is intended to be used in combination with Aegis, a transaction-based software configuration management system that provides a framework within which a team of developers may work on many changes to a program independently.

Download Website Updated 09 Mar 2008 Aegis

Screenshot
Pop 270.94
Vit 9.91

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.

Screenshot

Project Spotlight

Firejail

A Linux namespaces sandbox program.

Screenshot

Project Spotlight

GroupServer

A Web-based mailing list manager and collaboration server.