Search Results for "program"

...Bugst's important content: * lonka - Control-flow graph based program representation. * symtex - Program analysis called Symbolic Execution * cosymtex - Program analysis called Compact Symbolic Execution * segy - Symbolic Memory with pointers and pointer arithmetic * llvm2celllvm - Translates LLVM to constant-expressions-less LLVM. * celllvm2lonka - Translates constant-expressions-less LLVM into Lonka

...Each line is interpreted and compared against a list of known commands. Comments must stay on their own line and should start with a # sign. The documentation uses the term target to refer to a program that is being tested. To create a new target use the TARGET command. To change current target use the SWITCH command. Targets are discarded only at the end of the program. If you do not check explicitly for program exit using END TARGET or EXIT CODE, the program will check this itself at the end. Finding a target still running at this point is considered to be a failed test.

We will develop a tool for program spectrum-based fault localiziation. The code language is VC++6.0.

A simple program evaluating algorithms from sources files using well known and established tools. The goal is to provide nice and clean reports on everything related to algorithms and loops, so minor and / or major changes during the final phase of a project can be easily compared without additional effort, or testing environments. This is a project for a research-paper during my studies, and make no claims regarding it's on completion or usefulness at this time.

The program checks the availability of network equipment. Interface Qt.

ViennaProfiler allows to compare execution times of full programs or parts of a program. Execution times are stored in a MySQL database and conveniently analyzed via a web-interface. A C++ client API is provided, other languages can also be used.

Records key strokes, mouse clicks and movement, then play back. Can do sub-program.

The latest version of libtap2 is now incorporated in the *libsxe* project, which is hosted on *github*. libtap2 is the Test Anything Protocol, version 2. C library for unit testing C (and C++) code. Backward compatible with the FreeBSD/CCAN version,

A windows c++ program to test various libraries on various routers to forward ports on routers.

A cross-platform (tested under MSW, Linux GTK2 and Mac OS X) open source GUI testing framework for wxWidgets. With minimal changes to your program, you can write unit tests using CppUnit or capture user interaction into a CppUnit test case.

This program could be usefull fo programmers wishing to use parallels port. It makes possible to switch on or off one or more pin(s). It can also read values from it.

izh_test is a xUnit-like framework. Its advantages over existing alternatives are that it: 1) uses file compare for checking results of test 2) doesn't depend on partial program language using external xml test descriptions

SupermonX is a utility to create snapshots of the file system, registry, and kernel drivers and services of Windows PCs. Using snapshots, SupermonX can report or verify the changes in systems made by program installations or activity.

The Open Log Engine is a powerful tool for advanced logging in games or programs. It easily allows you to make logging outputs in your program and analyse them afterwards with the Open Log Viewer, which provides you a powerful filtering system.