371 projects tagged "Quality Assurance"

Download Website Updated 27 Feb 2011 NoBug

Pop 76.95
Vit 5.58

NoBug is a library which provides assertions, logging statements, and annotations for C and C++ programs. It includes pre-/post-condition and invariant checks, as well as generic assertions. Checks are enabled based on build-levels and scope tags. It also includes debugger support (valgrind), dumping of data structures, logging your application's activities, runtime customizable logging via environment variables, different logging targets (ringbuffer, stderr, syslog, debugger, etc.), and annotation of your source code regarding known bugs, things to do, and planned things. It can track resources and detect deadlocks.

Download Website Updated 17 Jan 2007 Flawfinder

Pop 161.29
Vit 5.48

Flawfinder searches through source code looking for potential security flaws. It will provide a list of potential security flaws, sorted by risk, with the most potentially dangerous flaws shown first. This risk level depends not only on the function, but on the values of the parameters of the function. Flawfinder ignores text inside comments and strings.

Download Website Updated 24 Aug 2008 Project Dune

Pop 84.71
Vit 5.43

Project Dune is a software project management tool to manage your estimates, project information, issues, releases, scrum tasks, timesheets, and test execution results.

Download Website Updated 08 Feb 2006 Clover

Pop 86.68
Vit 5.38

Clover makes the gathering and analysis of code coverage metrics as painless as possible. It features include tight integration with the Jakarta Ant build tool and accurate, configurable coverage recording. It gathers Method, Statement, and Branch coverage data. Compile-time properties and source level directives allow for precise control over the coverage gathering process. Coverage data can be viewed in XML, HTML, or via a Swing GUI. Report-time options allow for the exclusion of particular statement types from coverage analysis. Plugins for the Eclipse, NetBeans, JDeveloper, JBuilder, and IntelliJ IDEs are provided.

Download No website Updated 18 Oct 2011 Sonar

Pop 83.14
Vit 5.26

Sonar enables you to collect, analyze, and report metrics on source code. Sonar not only offers consolidated reporting on and across projects throughout time, but a central place to manage code quality. With no complex infrastructure, Sonar fulfills needs in terms of code quality, whether it is to make an audit or implement a continuous improvement process.

Download Website Updated 02 May 2009 Flyspray

Pop 237.57
Vit 5.06

Originally developed for the Psi project, Flyspray is an easy to use bug tracking system for those who don't require all the complexities of something like Bugzilla. It supports multiple users, file attachments, and Jabber notifications.

Download Website Updated 01 Nov 2005 Ozibug

Pop 144.11
Vit 5.00

Ozibug is a platform-independent, Web-based bug tracking system that can be installed and run straight out of the box on any Java servlet capable platform. It can be used to manage the reporting of bugs and tracking of their progress from discovery through to resolution. It provides standard features such as file attachments, multiple module support, email notifications, custom reports, and RSS feeds. For those who require more flexibility, it also offers fine grained access control, database storage, pluggable authentication, an incoming mail gateway, and customizable appearance, email notifications, and reference data.

Download Website Updated 30 Oct 2006 Lint4j

Pop 98.48
Vit 4.98

Lint4j ("Lint for Java") is a static Java source code analyzer that detects locking and threading issues, performance and scalability problems, and checks complex contracts such as Java serialization by performing type, data flow, and lock graph analysis. Lint4j features command line, Ant, Maven, Eclipse, and Emacs integration.

Download Website Updated 11 Apr 2011 ACL2

Pop 72.55
Vit 4.91

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.

Download Website Updated 04 Dec 2006 Savane

Pop 113.55
Vit 4.84

Savane is a Web-based Free Software hosting system, originally based on SourceForge 2.0. It currently includes issue tracking, project and member management, mailing lists, and individual account maintenance. The issue tracking handles bugs, tasks, and support. The issue tracker's fields ware configurable in many ways: mandatory of not, shown to users according to their role in a group, and with transition management.


Project Spotlight


A generative tree visualiser for Python.


Project Spotlight


A Web-based interface for Unix system administration.