RSS 6 projects tagged "Testing"

Download Website Updated 10 Jun 2011 Platform Independent Petri Net Editor

Screenshot
Pop 72.28
Vit 5.90

Platform Independent Petri Net Editor (PIPE) creates and analyses Petri Nets quickly, efficiently, and effectively. A key design feature is the modular approach adopted for analysis, enabling new modules to be written easily and powerfully, using built-in data layer methods for standard calculations. Six analysis modules are provided, including Invariant Analysis, State-Space Analysis (deadlock, etc.), and Simulation Analysis and Classification. PIPE adheres to the XML Petri net standard (PNML). The file format for saving and loading Petri Nets is extensible through the use of XSLT, the default being PNML.

No download Website Updated 29 Sep 2003 sparse

Screenshot
Pop 52.99
Vit 1.75

Sparse is a semantic parser of source files. It's neither a compiler (although it could be used as a front-end for one) nor a preprocessor (although it contains a preprocessing phase). It is meant to be a small, simple, easy to use library. Its function is to create a semantic parse tree for some arbitrary user for further analysis. It's not a tokenizer, nor is it a generic context-free parser. Context (semantics) is what it's all about: figuring out not just what the grouping of tokens are, but what the types are that the grouping implies.

Download Website Updated 06 Jul 2007 Spike PHPCoverage

Screenshot
Pop 60.68
Vit 2.57

Spike PHPCoverage is a tool for measuring and reporting code coverage provided by the test suite of a PHP application. It can instrument and record the line coverage information for any PHP script at runtime. It also provides an extensible reporting mechanism with a standard HTML report implemented out of the box. The default report displays the summary information about the code coverage for an application and also shows the detailed information about a file including which lines were actually executed and with what frequency. It is possible to specify the directories and files that should be included and/or excluded from a coverage measurement.

Download Website Updated 10 Jul 2007 EasyEclipse

Screenshot
Pop 122.03
Vit 3.22

EasyEclipse packages together the Eclipse IDE and key open source plug-ins. It is intended to make Eclipse easier to download, install, and use.

Download Website Updated 24 Jun 2010 Daikon

Screenshot
Pop 89.78
Vit 9.81

Daikon is an implementation of dynamic detection of likely invariants. An invariant is a property (such as "x=2*y+5" or "this.next.prev = this" or "myarray is sorted by <") that holds at a certain point or points in a program. Invariants are often seen in assert statements, documentation, and formal specifications. Invariants can be useful in program understanding and a host of other applications. Daikon runs a program, observes the values that the program computes, and then reports properties that were true over the observed executions. It can detect properties in Java, C, C++, Perl, and IOA programs, in spreadsheet files, and in other data sources.

Download Website Updated 31 Jul 2006 Spike PHP Security Audit Tool

Screenshot
Pop 51.44
Vit 1.42

Spike PHP Security Audit Tool is a tool that performs a static analysis of PHP code for security exploits.

Screenshot

Project Spotlight

Tsung

A distributed multi-protocol load testing tool.

Screenshot

Project Spotlight

Webalizer Xtended

A Web server log analysis program, forked from Webalizer.