New customers can spin up VMs, build with AI, and query data at no cost.
Put your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.
Start Free
MongoDB Atlas runs apps anywhere
Deploy in 115+ regions with the modern database for every enterprise.
MongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
Subversion PRS is a web-based tool to assist in peer review of code for projects using the Subversion version control system. It uses Perl, JavaScript, HTML, CSS, and MySQL.
Round Trip Engineering Objects.
Reverse object oriented sourcecode (Java, C#, PHP5) into XOL (XML Object Language) DOM repository.Validate syntax using XML Schema. XSLT for code refactoring & code generation. IDE Editors available (Eclipse plugin)
Reviewer adds comments on code which developer has to follow up. Useful for managing code quality and determining the quality of work delivered by a developer. Most of all it provides a place where developers can learn from their previous mistakes.
MiniCppUnit another C++ port of the famous JUnit framework for unit testing.
Unlike CppUnit, MiniCppUnit follows a minimalistic aproach: The basic features are the same but in only bout 500 lines of code! No library instalation is needed, etc.
BeCover is a Java code coverage tool based on source-code analysis. The main goal is to keep it small and fast, so using it as a plugin in the common IDE's can be achieved.
This profiler (JRE 1.5.0 only) uses JVMTI and native bytecode instrumentation for the analysis of the heap, reachable objects, execution time, garbage collection efficiency, code coverage and thread contention. No preparation steps required in build.
This project has been renamed "pycopia", and extended. This is no longer maintained. Pycopia is hosted at Google code hosting. Please go to: http://code.google.com/p/pycopia/
OCL4Java is a pre-compiler(ant and eclipse) to include OCL-Constrains as Java5 Annotations in the Source-Code and have code to check them generated with a user-defined reaction to violations. (Does not change line-numbers for the debugger)
Lachesis is a Software Complexity Measurement program for object-oriented sourcecode. Includes Halstead Complexity Measures, McCabes Cyclomatic Complexity and Maintainability Index.
A project to develop Java-based front-ends to the utPLSQL testing framework. This includes integration with JUnit, Ant and Cruise Control. We are working to release code soon (written September 2004).
EMMA is a fast Java code coverage tool based on bytecode instrumentation. It differs from the existing tools by enabling coverage profiling on large scale enterprise software projects with simultaneous emphasis on fast individual development.
Nmdepend is a lightweight 'link-time' dependency analyzer for C++. It uses object files and libraries instead of source-code as input. It can help to manage 'cross-directory' dependencies. Dependencies can be visualized in combination with Graphviz.
The DBC framework uses reflection to inspect a type, it then generates source for a proxy object containing checks on predicates in attributes attached to members of the type. Proxy code is compiled into an in-mem assembly used to enforce DBC rules.
TRAM (short for Trace Analyse Modules) is a collection of plug-ins for the sofware Tulip (see www.tulip-software.org), which is extended in this way to analyse and display traces (resp. trace-data).
ucmi (Unified Change Management Interface) provides an abstraction layer, in the style of the Unified Change Management model, to version control tools and defect tracking systems.
MetaCheck is a java code checking utility to convert results from various code checking tools (jcsc, pmd, checkstyle, findbugs, ...) into one uniform xml/html result for each of the checkers and for the generated meta result.
This is a code quality diagnostic tool. It can output many stats helping to assess the readability, reusability of source. Its design allows easy implementation of new analysis component. Screenshots avalaible !
Proshee is a Prolog type-inference system written in Prolog but depending on the banshee project in C (banshee.sourceforge.net). At present it manages very simple type-inference, but it has some problems with lists that need to be overcome.
RUn (REBOL Unit) is a Unit Test Framework inspired from jUnit.
It provides a way to develop TestCases and submit developped code in REBOL to their verification.
PEP is a modelling and verification framework for parallel systems, providing a large number of different modelling languages and verification techniques (e.g. SDL, Petri nets and model checking)