RSS 14 projects tagged "Quality Assurance"

Download Website Updated 16 Jul 2001 pxpvalidate

Screenshot
Pop 18.49
Vit 68.27

pxpvalidate is based on the XML parser PXP, and simply checks XML files for errors. Both violations of well-formedness and validation constraints are discovered. It can process namespaces and even validate documents using namespaces.

No download Website Updated 21 Sep 2002 PatternTesting

Screenshot
Pop 33.41
Vit 65.03

PatternTesting is a testing framework that allows you to automatically verify that Architecture/Design/Best practices recommendations are implemented correctly in code. It uses AOP and AspectJ.

No download Website Updated 11 Feb 2014 PMD

Screenshot
Pop 531.84
Vit 43.94

PMD is a Java source code analyzer. It finds unused variables, empty catch blocks, unnecessary object creation, and more. It includes CPD, a tool to detect chunks of identical code.

No download Website Updated 12 Jun 2004 MemCheck Deluxe

Screenshot
Pop 100.40
Vit 3.77

MemCheck Deluxe is a memory usage tracker and leak finder. It allows developers to find memory leaks quickly, as well as providing some memory usage information.

Download Website Updated 27 Oct 2004 ReadySET

Screenshot
Pop 122.27
Vit 2.83

ReadySET is a project to produce and maintain a library of reusable software engineering document templates. These templates provide a ready starting point for the documents used in software development projects. Using good templates can help developers work more quickly, and they help prompt discussion and avoid oversights. Key features include: high-quality outlines, sample text, and checklists, use of simple Web technologies (pure XHTML and CSS), and templates for many common software engineering documents.

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 28 Dec 2001 IDebug

Screenshot
Pop 60.99
Vit 2.12

IDebug is an advanced debugging framework for Java. It provides the standard core debugging and specification constructs such as assertions, debug levels and categories, stack traces, and specialized exceptions. Debugging functionality can be fine-tuned to a per-thread and/or a per-class basis, debugging contexts can be stored and recovered from persistent store, and several aspects of the debugging run-time are configurable at the meta-level.

Download Website Updated 03 Jun 2007 Accerciser Accessibility Browser

Screenshot
Pop 25.69
Vit 2.03

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.

Download Website Updated 30 Mar 2009 smolder

Screenshot
Pop 26.46
Vit 1.79

smolder is a Web-based smoke test server. It can be used by developers and testers to upload (automatically or manually) and view smoke/regression tests using the Test Anything Protocol. Details and trends can be viewed in various formats (HTML, XML, YAML) and also via email.

Download Website Updated 25 Jul 2007 ckjm

Screenshot
Pop 32.86
Vit 1.50

ckjm calculates Chidamber and Kemerer object-oriented metrics by processing the bytecode of compiled Java files. For each class given, the program calculates the following six metrics proposed by Chidamber and Kemerer: WMC, weighted methods per class; DIT, depth of inheritance tree; NOC, number of children; CBO, coupling between object classes; RFC, response for a class; and LCOM, lack of cohesion in methods. In addition, ckjm also calculates each class's afferent couplings (Ca) and its number of public methods (NPM).

Screenshot

Project Spotlight

Template Data Interface (TDI)

A powerful markup template system for Python.

Screenshot

Project Spotlight

Java Print Dialog Framework

A comprehensive printing solution for Java applications.