Test::LectroTest 0.3500

Test::LectroTest is a Perl module with easy, automatic, specification-based tests.

SYNOPSIS

#!/usr/bin/perl -w

use MyModule; # contains code we want to test
use Test::LectroTest;

Property {
##[ x <- Int, y <- Int ]##
MyModule::my_function( $x, $y ) >= 0;
}, name => "my_function output is non-negative" ;

Property { ... }, name => "yet another property" ;

# more properties to check here

This module provides a simple (yet full featured) interface to LectroTest, an automated, specification-based testing system for Perl. To use it, declare properties that specify the expected behavior of your software. LectroTest then checks your software to see whether those properties hold.
Declare properties using the Property function, which takes a block of code and promotes it to a Test::LectroTest::Property:

Property {
##[ x <- Int, y <- Int ]##
MyModule::my_function( $x, $y ) >= 0;
}, name => "my_function output is non-negative" ;

The first part of the block must contain a generator-binding declaration. For example:

##[ x <- Int, y <- Int ]##

(Note the special bracketing, which is required.) This particular binding says, "For all integers x and y." (By the way, you arent limited to integers. LectroTest also gives you booleans, strings, lists, hashes, and more, and it lets you define your own generator types. See Test::LectroTest::Generator for more.)

The second part of the block is simply a snippet of code that makes use of the variables we bound earlier to test whether a property holds for the piece of software we are testing:

MyModule::my_function( $x, $y ) >= 0;

In this case, it asserts that MyModule::my_function($x,$y) returns a non-negative result. (Yes, $x and $y refer to the same x and y that we bound to the generators earlier. LectroTest automagically loads these lexically bound Perl variables with values behind the scenes.)