Search Results for "gnu/linux" - Page 16

Open Data Profiler is a an open source, extensible data profiler, which enables users to analyze and gather automatically data quality facts on data sources in various formats (XML, JDBC or CSV).

Enerjy is a static code analyzer for Java that integrates seamlessly with Eclipse. In addition to scanning your source code for stylistic problems, bugs and inefficient code, Enerjy also calculates your Enerjy Index Score.

TutDat monitors a Maven Continuum Server and reports the status of all projects via a SystemTray Icon.

The easy path to Fitnesse.

Timbre is a simple tool for facilitating peer reviews in a team based development environment. Initially an Eclipse plug-in, Timbre aims to store all review data within a project's existing source control system.

This project provides a full set of Interfaces and Classes that naturally brings the developer to follow the "Gang of Four" Design Patterns while producing software

The goal of this project is the "continuous quality assurance of implemented architecture models". For more information visit our web site: http://jmd.sf.net

Elephant is a report center. It handles several type of software development tools reports (junit, pmd, checkstyle...). Reports are grouped by campaign which could be compared.

The Open Code Quality Project offers Static Code Analyses as an free Online-Service for Open Source Code. Simply send your code, start the scan, receive the results.

PHPCheckclipse is an Eclipse-Plugin that enables Checkstyle features for PHP developement. This means PHPCheckclipse checks your code for coding standards while you are typing.

Tiria is a eclipse-plugin to view code coverage data (e.g. from cobertura) within the IDE. Main objective of the plugin is to show how the code coverage changes during project progress.

Jistory is an Eclipse plug-in for history sensitive detection of design anomalies in source code. This plug-in aims to aid the developer in writing better code by using history sensitive heuristics to analyse multiple versions of source code.

ATF is a unit tests generation tool. It uses model based testing and code based techniques. It is implemented as ant build command and as a stand alone GUI application. Its main goal is to provide a complete test suite for any given software under test.

Kammerjäger is a debugging and testing tool that enables you to prove the correctness of your code. In our C like programming language named "SimPL" you can easily and simply annotate your code with preconditions and assertions (also with forall and exists expressions). We then use Microsofts Z3 theorem prover to prove if the behaviour of your program matches what you expected. The easy to use GUI with an integrated Interpreter and Debugger (with a Stackview and HotCodeReplacement) makes...