371 projects tagged "Quality Assurance"

Download No website Updated 18 Oct 2011 Sonar

Screenshot
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 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.

No download Website Updated 06 Jan 2006 Solex

Screenshot
Pop 81.06
Vit 2.92

Solex is a Web application testing tool built as a plug-in for the Eclipse IDE. Based on a built- in Web proxy and a concept of extraction, replacement, and assertion rules, Solex provides functions to record a client session, adjust it according to various parameters and replay it. This is typically done in order to ensure the non-regression of a Web application's behavior.

Download Website Updated 07 Feb 2006 DEPS

Screenshot
Pop 81.01
Vit 4.20

DEPS (formerly known as graph-includes) is a set of tools and libraries which allows users to extract dependency information from arbitrary material (e.g. program source files), apply various transformations to this graph, and draw it. It is typically used as helper tool for a refactoring effort, to create a graph of dependencies between groups of source files. Readability and usability of the dependency graphs are currently improved by customizable grouping of several source files into a single node, coloring of nodes belonging to given groups, and transitive reduction of the graph.

Download Website Updated 27 Feb 2011 NoBug

Screenshot
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.

No download Website Updated 18 Jul 2002 Dynamic Probes

Screenshot
Pop 76.26
Vit 3.89

Dynamic Probes (Dprobes) is a generic and pervasive system debugging facility that will operate under the most extreme software conditions such as debugging a deep-rooted operating system problem in a live environment. Dprobes allows the insertion of fully automated breakpoints or probepoints anywhere in the system and user space. Each probepoint has an associated set of probe instructions that are interpreted when the probe fires. These instructions allow memory and CPU registers to be examined and altered using conditional logic. When the probe command terminates, prior to returning to the probed code, a syslog record may be optionally generated.

Download Website Updated 11 Oct 2011 OVal

Screenshot
Pop 75.78
Vit 7.04

OVal is a pragmatic and extensible validation framework for any kind of Java objects (not only JavaBeans). Constraints can be configured with annotations, POJOs, or XML. Custom constraints can be expressed in pure Java or by using scripting languages such as JavaScript, Groovy, or BeanShell. Besides simple object validation, OVal provides certain Programming by Contract features. They can easily be enabled by using the provided AspectJ aspects.

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 11 Apr 2011 ACL2

Screenshot
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.

No download Website Updated 25 Jun 2012 SipUnit

Screenshot
Pop 72.25
Vit 6.47

SipUnit provides a class library that allows software developers to create automated unit tests for SIP applications. Session Initiation Protocol (SIP) is widely used for providing telephone services over the Internet. SipUnit extends the JUnit framework to incorporate SIP-specific assertions, and it provides a high-level API for performing the SIP operations needed to interact with or invoke a test target. A test program using the SipUnit API is written in Java and acts as a network element that sends/receives SIP requests and responses.

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.