RSS 80 projects tagged "Testing"

Download Website Updated 11 Apr 2011 ACL2

Screenshot
Pop 73.97
Vit 4.96

ACL2 is a mathematical logic, programming language, and mechanical theorem prover based on the applicative subset of Common Lisp. It is an "industrial-strength" version of the NQTHM or Boyer/Moore theorem prover, and has been used for the formal verification of commercial microprocessors, the Java Virtual Machine, interesting algorithms, and so forth.

Download Website Updated 03 May 2005 Agnix

Screenshot
Pop 43.24
Vit 1.46

Agnix is a small, educational operating system kernel for i386, supporting 32-bit protected memory mode, paging, hardware switched tasks, memory tests, PCI bus, devices, PCI IRQ routing, RT timers, network protocols. It is available with all the source code and is fully compatible with the Linux kernel API.

Download Website Updated 20 Aug 2008 Autobuild

Screenshot
Pop 63.17
Vit 4.36

Autobuild is a package that processes output from building software, primarily focused on packages using Autoconf and Automake, and generates HTML summaries. The output includes project name, version, build host types, build host name, and indication of success or failure. The output is indexed in many ways to simplify browsing.

Download Website Updated 07 Nov 2010 Automated Testing Framework

Screenshot
Pop 121.79
Vit 4.82

ATF is a collection of libraries and utilities designed to ease unattended application testing in the hands of developers and end users of a specific piece of software. Tests can currently be written in C/C++ or POSIX shell and, contrary to other testing frameworks, ATF tests are installed into the system alongside any other application files. This allows the end user to easily verify that the software behaves correctly on her system. Furthermore, the results of the test suites can be collected into nicely-formatted reports to simplify their visualization and analysis.

No download Website Updated 18 Dec 2007 Burp suite

Screenshot
Pop 36.47
Vit 1.66

Burp suite allows an attacker to combine manual and automated techniques to enumerate, analyse, attack, and exploit Web applications. The various burp tools work together effectively to share information and allow findings identified within one tool to form the basis of an attack using another. Numerous interfaces are implemented between the different tools, designed to facilitate and speed up the process of attacking a Web application. All tools share the same robust framework for handling HTTP requests, authentication, downstream proxies, logging, alerting, and extensibility. Burp suite is extensible via the IBurpExtender interface.

No download Website Updated 31 May 2005 C-XML UnitTest System

Screenshot
Pop 18.00
Vit 1.73

C-XML UnitTest is a program that generates compiled unit tests for C (or related languages) using XML marked up files.

No download Website Updated 23 Nov 2002 C/C++ Program Perfometer

Screenshot
Pop 43.95
Vit 1.00

C/C++ Program Perfometer checks the performance of a C/C++ program and separate pieces of code for any metrics (e.g. uclocks, rusage metrics, metrics defined by the user, etc.). The measurement results are represented in detailed/summary reports. The detailed report has results for individual tests, and the summary one has average cost and its analysis. The comparison results are represented in comparative tables for individual comparison groups. The user may set various parameters in order to control the measurement/comparison process: measurement report and detailed measurement report flags, total iteration and tests, measurement scale, and confidence threshold.

Download Website Updated 01 Apr 2011 CMake

Screenshot
Pop 203.91
Vit 5.92

CMake is a cross-platform, open-source build system. It is used to control the software compilation process using simple platform and compiler independent configuration files. It generates native makefiles and workspaces that can be used in the compiler environment of your choice. CMake is quite sophisticated: it is possible to support complex environments requiring system configuration, pre-processor generation, and code generation.

Download Website Updated 03 May 2004 Chump

Screenshot
Pop 48.06
Vit 3.46

Chump is a table-driven assembler and dissembler with a very fast new architecture input format. Both the assembler and disassembler are created using a single description. It comes with descriptions for ARM, MIPS, Stump, and 6809. It is intended for use as a library compiled with other programs to allow line assembly and disassembly.

Download Website Updated 24 Dec 2013 Cobra Programming Language

Screenshot
Pop 120.25
Vit 13.63

Cobra is a general purpose programming language with a clean, high-level syntax. It provides language level features for quality, including first class unit tests and Eiffel-style contracts. It supports both static and dynamic binding. Cobra is a compiled language with good run-time performance, but also provides some scripting conveniences such as a pound-bang line (#!) and one step compile-and-run. Cobra runs on Linux, Mac, Windows, and anywhere else that Novell Mono or MS .NET exist, including handhelds.

Screenshot

Project Spotlight

Webalizer Xtended

A Web server log analysis program, forked from Webalizer.

Screenshot

Project Spotlight

PC-BASIC

A GW-BASIC-compatible interpreter.