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.

(RefLink[VerificationTest, paclet:ref/VerificationTest]) — test whether a given input generates a specified output

(RefLink[TestResultObject, paclet:ref/TestResultObject]) — an object that represents the results of a (RefLink[VerificationTest, paclet:ref/VerificationTest])

(RefLink[TestReport, paclet:ref/TestReport]) — generate a test report by running a collection of tests

(RefLink[TestReportObject, paclet:ref/TestReportObject]) — an object that represents the results of (RefLink[TestReport, paclet:ref/TestReport])

(RefLink[$TestFileName, paclet:ref/$TestFileName]) — the name of the file from which a test is being run

Options

(RefLink[TimeConstraint, paclet:ref/TimeConstraint]) — time limit for a test

(RefLink[MemoryConstraint, paclet:ref/MemoryConstraint]) — memory limit for a test

(RefLink[SameTest, paclet:ref/SameTest]) — how to determine whether a test passes

(RefLink[TestID, paclet:ref/TestID]) — identifier for a test

Random Testing