Systematic Testing & Verification

The Wolfram Language provides fully integrated support for creating, maintaining, and verifying tests for functions and packages written in the Wolfram Language. Using either a plain text format or a rich notebook interface, you can create and run tests on demand. Additionally, the Wolfram Language also allows you to convert regular notebooks to testing notebooks using a simple toolbar.

TestCreate create a test with input and expected output

VerificationTest create a test that evaluates immediately

IntermediateTest create a test inside another test

TestObject represents a test generated by TestCreate or VerificationTest

TestEvaluate run a TestObject

TestReport generate a test report by running a collection of tests

TestReportObject an object that represents the results of TestReport

$TestFileName the name of the file from which a test is being run

Options

TimeConstraint time limit for a test

MemoryConstraint memory limit for a test

SameTest function to compare the actual and expected result

TestID identifier for a test

MetaInformation arbitrary extra information to associate with a test

TestEvaluationFunction function to use when evaluating a test in TestReport

HandlerFunctions  ▪  HandlerFunctionsKeys  ▪  ProgressReporting

Random Data Generation

RandomInteger  ▪  RandomReal  ▪  RandomImage  ▪  RandomGraph  ▪  RandomEntity