AccuRev is a fast, powerful, and easy-to-use Software Configuration Management (SCM) tool with integrated issue tracking based on "Streams" that more efficiently manages complex parallel and global development. Streams are a combination and superset of branches and labels that are first class objects instead of being file-by-file attributes. AccuRev records all merges and patches, so you never have to re-merge the same code. It supports file and directory renaming and merging, follows a client/server model, and is transaction-based. It includes an integrated graphical 3-way diff and merge tool. AccuRev provides an Open API (and SDK) to integrate with any third-party development tool (IBM/Rational ClearQuest, Serena TeamTrack, and more out of the box). It also integrates with Eclipse, the MS SCC API (MS Visual Studio), Sun Java Studio, any diff/merge tool with a command line interface, and more.
Ciao is a complete Prolog system subsuming ISO-Prolog with a novel modular design which allows both restricting and extending the language. Ciao extensions currently include feature terms (records), higher-order, functions, constraints, objects, persistent predicates, a good base for distributed execution (agents), and concurrency. Libraries also support WWW programming, sockets, and external interfaces (C, Java, TCL/Tk, relational databases, etc.). An Emacs-based environment, a stand-alone compiler, and a toplevel shell are also provided.
Dynamic Probes (Dprobes) is a generic and pervasive system debugging facility that will operate under the most extreme software conditions such as debugging a deep-rooted operating system problem in a live environment. Dprobes allows the insertion of fully automated breakpoints or probepoints anywhere in the system and user space. Each probepoint has an associated set of probe instructions that are interpreted when the probe fires. These instructions allow memory and CPU registers to be examined and altered using conditional logic. When the probe command terminates, prior to returning to the probed code, a syslog record may be optionally generated.
Hammerhead is a stress testing tool for Web sites. It initiates connections from multiple IP aliases and simulates a user from each alias. It is fully configurable, and there are numerous other options for creating problems with a site. Extensive data collection is also available.
LANforge is a unified multi-protocol network traffic generation and WAN emulation application. It allows users to generate real world customer traffic in a controllable manner. The WAN emulator allows the injection of latency and other network oddities like dropped, duplicated, and re-ordered packets. LANforge includes a drag-and-drop virtual network builder that supports virtual routers, WAN links, traffic-generating nodes, and more. It provides a scriptable command line interface with Perl libraries as well as a graphical user interface.
lsb-fhs tests the Filesystem Hierarchy aspects of the Linux Standard Base. The V1.0 and V2.1-X tests correspond to FHS2.0 and FHS2.1, respectively, and are now obsolete. The V2.2-X tests correspond to the FHS2.2 specification. The 2.2 tests are the current tests used for LSB 1.3 certification. The V2.3-X tests correspond to the FHS 2.3 specification and will replace the V2.2 tests for LSB 2.x certification. The V2.3 tests have yet to be formally approved by the LSB test team.
The LSB-VSX test suite is a version of The Open Group's VSX-PCTS, being used as part of the Linux Standard Base test program. This version of the VSX-PCTS has been setup to autoconfigure on Linux systems. A front end script install.sh is used to auto install, setup and run the test suite. In theory this should allow running of the test suite by those unfamiliar with POSIX.1 and its myriad of options and thus the associated test suite configurables.
OBJ3 is a program specification and proof system based on order sorted equational logic. It has been successfully used for research and teaching in software design and specification, rapid prototyping, theorem proving, user interface design, and hardware verification, among other things. It was the first language to implement parameterized programming and its module system influenced the designs of the Ada, C++, and ML module systems.
The Open Hardware Certification Program (OHCP) Test Suite is a collection of tests to verify the compatibility of your hardware with Open Source operating systems. Tests have been contributed by multiple authors and organizations, and are bundled with documentation, test procedures, and some automation scripts to help run the tests.