Search Results for "system 1"

This is a simple tool that dumps shared memory segments (System V and POSIX), files and text. It might be useful when you have to debug programs that use shared memory.

The RecordEditor is a Data File editor for Flat Files (delimited and fixed field position). It supports Unix / PC / Legacy (e.g. Mainframe) file formats, both Text and binary files. The Editor uses a Record-Layout description to format the files. This is ideal for Fixed width (Text or Binary) files, Cobol Data Files, Mainframe files and complicated Csv files. Cobol Copybooks can be used to format Cobol Data files. As well as an editor, The following utilities are supplied * Formatted...

An application to gather, aggregate, chart and report information originating from any log files. It uses regular expressions that are constructed graphically and can be tested in the application against samples. Once configured for a specific type of log file set, the gathering and display of the chart for a new files set can be done in just one click. Contains a sample template to handle few log types: Java GC log, OpenDS access log, Apache access log

This Mutation Systems defines operators for mutating UML and variability models. In UML it supports the following diagram types: state machines, classes, composite structures, In variability modeling it supports feature models and feature mapping models.

This project aims to provide a linux kernel regression test framework which will provide a systematic way to find a regression of the Linux Kernel.

XJML 1.0 actually can reads one Java class and its contract (written in XML) and then executes the next verification techniques: 1. Runtime Assertion Checking (RAC). Using JML4c and JML4rt tools. 2. Extended Static Checking (ESC). Using ESC/Java2. 3. Full Static Program Verification (FSPV). Using the Why platform (tested with Why 2.30 and Why3 0.71)

Death Star is a 'multi-protocol stress testing' tool. Initially forked from LOIQ v0.3a, Death Star seeks to surpass LOIC and LOIQ in terms of performance, OS support and win.

Open tx services simulator.

Framework for testing of Linux system call. It make it possible to reuse one system call parameter to the other system call testing. Also, It provide to make it easy to create oracle of system call testing.

Proxy Tester is a proxy list tester and then it generates a wpad.dat file you can use for your browser based on working servers. wpad.dat file selects a random proxy server from the list of provided working proxy servers with each connection request.

TUTU is an automated testing system which finds inconsistencies between a system and its specifications, by using a combination of a number of techniques, such as Design by Contract, test data generation, mutation testing and invariant detection.

CuTest lets you write unit tests for your C code. You should use it because: (1) It has the cutest name, (2) It looks and feels like JUnit, (3) It is cross-platform, (4) It ships in a single .c and .h file for ease of deployment.

"Yet Another Do-It-Yourself (Test) Automation Framework" specification. Use or modify one of the existing software implementations (hosted/referenced here), or implement the framework yourself. Download and read the spec for more details.

This is a simple, modular PHP class designed to record execution time benchmarks throughout different parts of a script. Compatible with virtually any PHP script, the code can be added/removed quickly and with ease. Accurate to the microsecond.

Tauto is an automated testing framework designed to allow creation, storage, execution and reporting of end to end system/integration tests.

My work as a system administrator and developer includes debugging software. I scan and filter logfiles many times a day. This tool can help you to color and filter your logfiles. So you can concentrate on the interesting things to do!

Randomized packet generation for source mac, source ip spoofing. Any byte in a packet can be spoofed one by one packet generation. And provide a DDoS testing framework.

rjudge is a judge system for the Olympiad in Informatics. It can be also used as a problem test tool in the programming contest and daily practice. It provides many security features to ensure the smooth implement of judgement.

Glassbox is an automated troubleshooting and monitoring agent for Java apps that diagnoses common problems with one-click. Drop in a .war file from http://www.glassbox.com and find out what's wrong with your existing web apps, without any code chang

Glossword Checker is PHP-script which checks if your server configuration meets the requirements for running PHP-applications.

DAVInspector is a WebDAV debugging and test tool.

Open Source Application Server Appliance based on Open Source GlassFish

QtWine is a tool that provides a full-featured graphical user interface (GUI) for wine.

mda4eclipse is a domain-driven and model-driven development eclipse plugin. Its purpose is to present a way of using different project sites to work together and establish a shared development environment.

RemoteBIOS is a set of tools that helps you to writen LinuxBIOS bios, test it flashing only one time the ROM, with remotebios.bin. And you can remotely execute a ELF binary, or a script, for example memory initialization script,etc through Serial Port.