VerificationTest

VerificationTest[input]

runs a verification test to determine whether input evaluates to True.

VerificationTest[input,expected]

tests whether input evaluates to expected, without issuing messages.

VerificationTest[input,expected,messages]

tests whether input evaluates to expected, generating the list of message names messages.

Details and Options

VerificationTest returns a TestObject.
VerificationTest has attribute HoldAllComplete.
VerificationTest[input,expected] evaluates tests immediately and is effectively equivalent to TestEvaluate[TestCreate[input,expected]].
VerificationTest has the following options:

MemoryConstraint	Infinity	memory (in bytes) the test is allowed to use
MetaInformation	<\|\|>	metainformation associated with the test
SameTest	SameQ	function to compare actual and expected output
TestID	None	unique identifier for the test
TimeConstraint	Infinity	time (in seconds) the test is allowed to use

TestIDAutomatic creates a unique UUID each time the test is run.
VerificationTest evaluates tests without displaying messages.

Examples

open allclose all

Basic Examples (3)

Test whether the input evaluates to True:

Test whether the input evaluates to the expected output:

Input evaluates to the expected output but gives messages:

Add the expected message:

Scope (3)

Basic Uses (3)

Perform a test and present the results in a Dataset:

Test if the results of an NIntegrate are numerically equivalent to Integrate, by using an absolute tolerance:

This can also be done by using the SameTest option:

Use Unevaluated to pass unevaluated expressions to the SameTest function:

You can use a combination of Function and Echo to print the arguments of the SameTest function:

Options (8)

MemoryConstraint (1)

Run a test until a memory limit is exceeded:

SameTest (4)

Test whether the input is an integer:

Test if the absolute precision of the input is at least 10^-12:

Test if the relative precision is at least 10^-5:

Test if two expressions are equivalent after simplification:

TestID (1)

Add TestID to a VerificationTest:

TimeConstraint (1)

Terminate the test if it takes more than one second:

MetaInformation (1)

Store arbitrary metainformation in the TestObject:

Access the stored MetaInformation:

Possible Issues (4)

The expected output is evaluated before comparison with the actual output:

Use Unevaluated to compare expressions before evaluation happens:

Messages generated on evaluation of expected output are not accounted for in the expected messages:

If SameTest does not evaluate to True or False, an outcome of "Error" is reported:

Tests for functions that produce Graphics or special typesetting may produce unexpected results:

This is because the input expressions and the output are not SameQ:

Top

VerificationTest

Details and Options

Examples

Basic Examples (3)