4 projects tagged "verification"
Updated 12 Mar 2013
Expect-lite
| Pop | 383.82 |
|---|---|
| Vit | 32.45 |
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.
Updated 28 Nov 2009
checkcopy
| Pop | 19.31 |
|---|---|
| Vit | 35.65 |
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.
Updated 17 Jun 2010
Votail
| Pop | 25.38 |
|---|---|
| Vit | 34.46 |
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.
Updated 22 Nov 2012
DB Sanity
| Pop | 119.31 |
|---|---|
| Vit | 8.49 |
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.
