Search Results for "alpha"

Cinemagoer is a Python package useful to retrieve and manage the data of the IMDb movie database about movies, people, characters and companies. Platform-independent, it can retrieve data from both the IMDb's web server and a local copy of the whole db.

Automatic correction of software bugs announced in compilers (clang, gcc) / Static Code Analysis tools (cppcheck, FindBugs) and grammar/style errors like in LanguageTool. Usage: use tool (e.g. cppcheck) and store results in a text file. Afterwards call: autoreplacerplus mytextfile

This framework supports a wide variety of model-based GUI testing techniques. The innovation lies in the architecture of GUITAR, which uses plug-ins to support flexibility and extensibility. Software developers and quality assurance engineers may use this architecture to create new toolchains, new workflows based on the toolchains, and plug in a variety of measurement tools to conduct GUI testing. More detail is presented in this publication: GUITAR: An Innovative Tool for Automated...

xCover is a C/C++ library that uses low-impact syntactic signalling to detect code coverage in a code base at runtime

Project goal is making the Valgrind tool suite available on 32 and 64 bit Windows. See http://sourceforge.net/p/valgrind4win/wiki/Home/ for further information.

A Python programming environment providing memory sizing, profiling and analysis, and a specification language that can formally specify aspects of Python programs and generate tests and documentation from a common source.

An extension and enhancement to the original SPIKE. SPIKIER is ment to be a continuous project of improvements to the block based fuzzer SPIKE.

C / Perl based system and network monitoring system (NMS) providing plugin based polling/checking of services, raw and performance data with notifications. Provides full configurable web interface to configure the monitor

Parsing, interpreting, checking and profiling C application (ISO/IEC 9899:1999 (E))

This project aims to develop a prototype system that explores how we should re-invision computer system design based on changes in how people get the software that they run, as well as advances in static analysis of software.

Splaticus is a command-line-based bug tracker. It is intended for small, single developer projects. The goal here is speed. If you code at the speed of sound, waiting for groupware bug-tools to catch up can seriously deflate your Karma. Enter Splaticus.

CxTest is a JUnit/cppUnit/xUnit-like unit test framework for C. It is extremely portable since it doesn't depend on RTTI, exception handling or any libraries (including standard ones)

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.

CUMock or CMock is a mock framework for interaction based unit testing, inspired by JMock. Good for Test Driven Development (TDD) in the C language. Extends CUnit or any other framework with adapters. Self describing.

SVNFS is a FUSE filesystem for Linux that presents a read-only version of all revisions in a Subversion repository as a native mountpoint, transparent to all other programs.

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