RSS 5 projects tagged "verification"

No download No website Updated 06 Aug 2013 Site Checker

Screenshot
Pop 38.00
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 Website Updated 28 Nov 2009 checkcopy

Screenshot
Pop 22.23
Vit 40.03

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.

Download Website Updated 17 Jun 2010 Votail

Screenshot
Pop 23.19
Vit 38.97

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 No website Updated 22 Nov 2012 DB Sanity

Screenshot
Pop 100.80
Vit 5.88

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 No website Updated 11 Jun 2013 Alv

Screenshot
Pop 45.34
Vit 2.44

Point-in-time recovery of an Oracle DB entails the use of transaction log files. The set of such logs grows over the lifetime of a DB, and their management often requires that they be copied to remote locations and/or backed up to offline storage. Alv can verify a set of archive logs prior to its use in a DB recovery scenario: checks are made on file size and type, and the checksum of each redo record is verified. The output is a sequence of log file numbers and character codes to indicate status and highlight any gaps in the sequence (which would stall a recovery). Environment variables can be set to allow for custom log file name formats and to check the DBNAME associated with each log.

Screenshot

Project Spotlight

slapt-src

A slackbuild utility.

Screenshot

Project Spotlight

check_tfl

A Nagios check for Transport For London services.