Search Results for "objective c for windows" - Page 5

Duplicated source code can harm maintainability of software systems. Duplo is a tool to find duplicated code blocks in large C, C++, Java, C# and VB.Net systems.

NUnitWeb is a DOT NET test framework for use in conjunction with NUnit. It's similiar to NUnitASP, but more complete. Javascript, ASPNET 2.0, file controls (multipart form data), and ordinary HTML are all supported.

The Java-Based-GUI-Test-Automation-Library (jabuta) provides the possibility to test software on a GUI-based level.

CCCC is a tool which analyzes C++ and Java files and generates a report on various metrics of the code. Metrics supported include lines of code, McCabe's complexity and metrics proposed by Chidamber&Kemerer and Henry&Kafura.

banshee-- A toolkit for building constraint-based program analyses

Round Trip Engineering Objects. Reverse object oriented source code (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)

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.

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.

LeakTrack provides memory leak tracking and out-of-range access checks for acquired memory blocks for you C/C++ applications on each platform.

Framework for Java source code analysing, program comprehension and automating software quality. Source code visualisation provided.

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

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.

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)

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.

Dimensional Analysis for C++

Simple Portable Memory Management (SPMM) is a small, easy to integrate memory management library for C++. The library emphasizes simplicity of use and implementation while guaranteeing leak free program execution.

CQSAT is a powerful, comprehensive and extensible framework for static analysis of program source code and detection of software defects.

A simple code checker for looking if your code is becoming brittle, hard to extend or to mantain. It is not a substitution for PMD, it is rather a "first line" immediate checker for violations. See also http://limacat.blogspot.com/search/label/scc

This is a small software to review source formatting and generate tips. It is very simple and it is based on regular expressions rules.

This package will allow people to check, change, update the license of their projects. It will conform to all new licenses available.

OpenALM is an open-source application lifecycle management system. It is intended to be a framework to implement software development team's process. It also intends to provide an API to plug-in with version control system.

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