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.
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.
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.
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.
Alvicom LoadManager is a test tool that focuses on load, stress, stability, and performance criteria. The tool runs on all platforms supported by Eclipse and Java. Supported protocols are HTTP, HTTPS, socket (TCP/IP), JMS, and RMI. Result data is collected in a central repository. This data can be exported/manipulated quickly, easily, and usefully. Thousands of virtual users (data units) can be simulated and tested. Color-coding shows which users pass or fail, and a script-link is provided.
The Anthill Bug Manager is a tool that aids code development by keeping track of bugs in a medium-sized coding environment. It accomplishes this with a clean, simple, and fast interface that contains the essential features, but avoids the complexity associated with similar tools. It is written in Perl, requires an SQL database as a backend, and is Web server independent.
Anthill is a tool that ensures a controlled build process and promotes the sharing of knowledge within an organization. Anthill performs a checkout from the source repository of the latest version of a project before every build and tags the repository with a unique build number after every build. It supports many reposistory adapters including: CVS (Concurrent Versions System), Visual Source Safe, Perforce, PVCS, StarTeam, MKSIntegrity, and FileSystem. Anthill also automatically updates a project intranet site with artifacts from the latest build. Anthill is an extension to the Apache-Ant project and is compatible with version 1.3, 1.4, and 1.5 of Ant.
AnthillPro is a build management and lifecycle automation server for the enterprise that makes the build and release process easy and efficient. As a continuous integration server, it can produce a new build for every developer check-in. The entire team can be alerted to problems via email or instant message. Each build can then be promoted to higher statuses, or deployed to various servers and environments using your scripts. At every step, AnthillPro records who did what to keep your auditors happy.