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.