7 projects tagged "verification"

Download No website Updated 24 May 2014 Aniketos-SSVV

Screenshot
Pop 57.18
Vit 1.08

Aniketos-SSVV (Aniketos Security Service Validation and Verification) provides a series of modules that work together to validate the security properties of a Web service composition. The package is given a selection of service compositions (provided in the form of BPMN processes with Web services bound to the service tasks), along with the security policy to be fulfilled. The package then performs various checks on the services to establish whether each composition satisfies the policy, returning an ordered list (ordered in terms of security) of the services that do. It forms part of the larger Aniketos project comprised of four packages in total.

Download No website Updated 23 May 2014 Alv

Screenshot
Pop 84.43
Vit 18.20

Alv verifies Oracle archive logs to ensure there is a viable set available for DB recovery. It can be run from wherever the logs are stored, so verification may be offloaded from the DB server. Checks are made on file size and type. By default, the checksum of each redo record is also verified. Program output consists of log sequence numbers and character codes which indicate status and highlight any gaps. Environment variable settings allow for custom log name formats and to check the DBNAME set within a log.

Download Website Updated 24 Apr 2014 Expect-lite

Screenshot
Pop 401.08
Vit 51.00

expect-lite is an quick and easy command line automation tool. Written in expect, it is designed to directly map an interactive terminal session into an automation script. expect-lite scripts use special character(s) at the beginning of each line to indicate the action. Basic expect-lite scripts can be created by simply cutting and pasting text from a terminal window into a script, and adding '>' '<' characters. No knowledge of expect is required. Expect-lite is targeted at the verification testing environment, and will produce a Pass/Fail result at the end of the script. However, its use is not limited to this environment. It includes a powerful debugger with breakpoints, step/skip, and the ability to copy/paste expect-lite lines right into a running script.

No download No website Updated 06 Aug 2013 Site Checker

Screenshot
Pop 37.15
Vit 1.00

Site Checker can be used to find broken links in Web pages. First, it retrieves the list of all pages of the Web site, either static pages or dynamic pages generated from data stored in a database. Then it checks the links in each of the pages to verify if they are on the list. Links to external sites can also be verified by performing HTTP requests to the remote Web servers to check whether the pages still exist.

Download No website Updated 22 Nov 2012 DB Sanity

Screenshot
Pop 96.58
Vit 5.74

DB Sanity performs checks on a database for verifying data consistency and correctness of aplication deployments. It is invoked by the command line and creates an HTML report with a summary and listings of faulty database entries.

Download Website Updated 17 Jun 2010 Votail

Screenshot
Pop 22.49
Vit 39.51

Votail is an implementation of Ireland's method of Proportional Representation by Single Transferable Vote (PRSTV). The functional requirements derived from Irish electoral law are specified using Business Object Notation (BON) and the Java Modeling Language (JML). Formal methods have been used to verify the correctness of the software.

Download Website Updated 28 Nov 2009 checkcopy

Screenshot
Pop 23.75
Vit 40.55

checkcopy is a GUI tool to copy the files and directories to some destination while creating checksums and/or verifying them. It reads all the checksum files, then reads in each file to copy it to the destination. If a checksum is present for the file, it will be verified, otherwise the checksum is written out to disk.

Screenshot

Project Spotlight

Mavscript

Software that lets you do calculations in a text document.

Screenshot

Project Spotlight

QCAD

A 2D CAD program.