RSS 172 projects tagged "Quality Assurance"

Download Website Updated 09 Mar 2007 AccuRev

Screenshot
Pop 247.59
Vit 6.79

AccuRev is a fast, powerful, and easy-to-use Software Configuration Management (SCM) tool with integrated issue tracking based on "Streams" that more efficiently manages complex parallel and global development. Streams are a combination and superset of branches and labels that are first class objects instead of being file-by-file attributes. AccuRev records all merges and patches, so you never have to re-merge the same code. It supports file and directory renaming and merging, follows a client/server model, and is transaction-based. It includes an integrated graphical 3-way diff and merge tool. AccuRev provides an Open API (and SDK) to integrate with any third-party development tool (IBM/Rational ClearQuest, Serena TeamTrack, and more out of the box). It also integrates with Eclipse, the MS SCC API (MS Visual Studio), Sun Java Studio, any diff/merge tool with a command line interface, and more.

Download Website Updated 01 Mar 2004 alma

Screenshot
Pop 269.05
Vit 3.80

Alma is a software workshop for modeling and analyzing. It reads several sources (languages, models, etc.), helps you design for object-oriented modeling (definition of classes, relations, patterns, etc.), modifies the structure and the code, and outputs new sources, documentation, diagrams, etc. It is designed for object-oriented modeling (definition of classes and relations) and for migrating code in older languages. It meets two needs, offering a simplified software modeling workshop for small projects and making it easier to do rewrites, ports, and encapsulation of non-OO code.

Download Website Updated 13 Feb 2013 Bugzilla

Screenshot
Pop 616.44
Vit 14.11

Bugzilla is the leading open-source/free software bug tracking system, with high-profile installations at mozilla.org, GNOME, Red Hat, and NASA, among others. It features a comprehensive set of fields, attachment management, inter-bug dependencies, email notification of changes, a powerful query interface, reporting, and Web, XML, email, and console interfaces. It can be managed entirely using a Web-based UI. The user UI is customizable using templates.

Download Website Updated 27 Jan 2004 calltree

Screenshot
Pop 190.71
Vit 2.11

calltree is a static call tree generator for C programs. It parses a collection of input files and builds a graph that represents the static call structure of the files.

Download Website Updated 30 Jan 2001 Ciao Prolog

Screenshot
Pop 109.78
Vit 1.00

Ciao is a complete Prolog system subsuming ISO-Prolog with a novel modular design which allows both restricting and extending the language. Ciao extensions currently include feature terms (records), higher-order, functions, constraints, objects, persistent predicates, a good base for distributed execution (agents), and concurrency. Libraries also support WWW programming, sockets, and external interfaces (C, Java, TCL/Tk, relational databases, etc.). An Emacs-based environment, a stand-alone compiler, and a toplevel shell are also provided.

Download Website Updated 30 Jan 2001 JCheckLinks

Screenshot
Pop 29.87
Vit 2.01

JCheckLinks a Java app that does hyperlink validation. It is multi-threaded, has an include/exclude list to determine which URLs will be harvested for more links and which will be only checked with a HEAD request, and adheres to the Robots Exclusion Protocol (/robots.txt).

Download Website Updated 15 Sep 2010 Mantis Bug Tracker

Screenshot
Pop 741.25
Vit 13.22

Mantis Bug Tracker (MantisBT) is a Web-based issue tracking system that is both simple to use and highly customisable. A plugin system allows users to easily create and add new features. MantisBT is over 10 years old and is actively developed.

Download Website Updated 07 Apr 2005 OBJ3

Screenshot
Pop 47.59
Vit 2.47

OBJ3 is a program specification and proof system based on order sorted equational logic. It has been successfully used for research and teaching in software design and specification, rapid prototyping, theorem proving, user interface design, and hardware verification, among other things. It was the first language to implement parameterized programming and its module system influenced the designs of the Ada, C++, and ML module systems.

Download Website Updated 13 Feb 2011 PHPXref

Screenshot
Pop 161.75
Vit 6.58

PHPXref is a Perl script that cross-references classes, functions, variables, and SQL tables used in a PHP-based Web site and generates simple HTML output designed to make browsing through code easy. In addition, it can extract phpdoc style comments from the PHP files to provide browsable documentation.

Download Website Updated 22 Jul 2013 Request Tracker

Screenshot
Pop 840.33
Vit 36.49

RT is an industrial-grade trouble ticketing system. It lets a group of people intelligently and efficiently manage requests submitted by a community of users. RT is used by systems administrators, customer support staffs, NOCs, developers, and even marketing departments to track issues, outages, bugs, requests, and all kinds of other things at thousands of sites around the world.

Screenshot

Project Spotlight

Fileaxy

A file de-duplication, organization, and bulk previewing tool.

Screenshot

Project Spotlight

Collax V-Cube+

Virtualization and HA Management of virtual machines and embedded HA Storage.