371 projects tagged "Quality Assurance"

No download Website Updated 13 Jan 2003 fddtrack::

Screenshot
Pop 7.81
Vit 1.00

fddtrack:: is a Web-based application to help track progress when using the Feature Driven Development Software Engineering model.

No download Website Updated 14 Jan 2003 Change Navigator

Screenshot
Pop 18.08
Vit 1.00

ChangeNav is a GUI application for managing ChangeLogs for software projects. Basically it allows you to add "Changes" and "Releases" to your log through a really simple interface. All the data is stored in a nicely formatted ChangeLog ready for distribution. ChangeNav can handle any number of projects, has a customizable editor, and action items, all configurable through it's config file 'cnav.conf'. The file is very self-explainatory. ChangeNav is written in Python using PythonCard and wxPython for its GUI.

Download Website Updated 04 Jul 2003 SMATCH

Screenshot
Pop 53.92
Vit 3.82

SMATCH is a neat program designed to locate programming errors in any open source software project. Right now it is actively used to screen out errors inside the Linux kernel. There are two main parts to Smatch. The first is a patch to the gcc sources to screen out a lot of useful information. The second part is a collection of Perl scripts and libraries to analyze the information and report the findings.

No download Website Updated 27 Jan 2009 Anthill Pro Build and Release Management S...

Screenshot
Pop 128.69
Vit 6.67

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.

Download Website Updated 20 Oct 2008 CUT

Screenshot
Pop 73.61
Vit 3.17

CUT is a unit-testing framework for C, C++, and Objective-C. Unlike other unit testing tools, CUT doesn't strive to be an SUnit clone. It automates a lot of the drudge work often encountered when using other unit testing packages for the C family of programming languages. CUT may also be used to unit-test assembly language software in some circumstances.

Download Website Updated 28 Jul 2012 HOL

Screenshot
Pop 52.86
Vit 6.54

Higher Order Logic (HOL) is a programming environment in which theorems can be proved and proof tools implemented. Built-in decision procedures and theorem provers can automatically establish many simple theorems. An Oracle mechanism gives access to external programs such as SAT and BDD engines. HOL 4 is particularly suitable as a platform for implementing combinations of deduction, execution, and property checking.

Download Website Updated 21 Aug 2004 Iometer

Screenshot
Pop 82.99
Vit 2.14

Iometer is an I/O subsystem measurement and characterization tool for single and clustered systems.

Download Website Updated 23 Apr 2003 Project Assistant

Screenshot
Pop 48.44
Vit 3.47

The Project Assistant (prass) is a Web tool designed for use in the software change management process. It provides a Web interface for feature/support/change and bug requests support for projects that are separated from each other. Each project has its own list of developers (with different roles and permissions). The developer can perform operations depending on his permissions and role in the project.

Download Website Updated 19 Sep 2004 SPIN Distributed Software Verification Tool

Screenshot
Pop 42.85
Vit 2.63

Spin is an award winning (ACM) software tool that can be used for the formal verification of distributed software systems. The tool was developed at Bell Labs in the original Unix group of the Computing Sciences Research Center.

Download Website Updated 10 Apr 2003 SimpleTest

Screenshot
Pop 30.15
Vit 63.78

SimpleTest is a unit tester, Web tester, and dynamic mock objects framework for PHP. The test structure is similar to JUnit/PHPUnit. Used as a Web tester, you can navigate sites and submit forms as if you were using a Web browser.

Screenshot

Project Spotlight

Fimex

A library for geospatial data file manipulation.

Screenshot

Project Spotlight

Keepalived for Linux

A robust keepalive framework for Linux Virtual Server and router HA.