CodeAssurance is a package for improving the correctness of large systems built in the Wolfram Language (WL). Its centrepiece function, TestSummary makes a system's unit tests more transparent and accessible. Other functions, TestFile and TestFiles, work with TestSummary to define a new way to organize and scale test suites. Finally, after entering developer mode by invoking DeveloperOn, functions like CreateDeveloperPaclet and PacletDeploy, help to create an end-to-end paclet workflow that can realize new levels of code assurance.

CodeAssurance's Testing Functionality

TestSummary — gives a test summary of tests associated with a symbol, a paclet, collections of summaries or test reports

TestSummaryObject — an object that represents the results of TestSummary

TestFile —returns a test file associated with a symbol

TestFiles —returns test files associated with a symbol or paclet

CreateDeveloperPaclet — creates a new developer paclet

PacletDeploy — deploys a developer paclet for either in-situ testing or commercial release

$DeveloperDirectory — gives the designated directory for storing developer paclets

$DeveloperPath — gives a list of directories to search when attempting to find a developer paclet

DeveloperOn, DeveloperOff — enters or exits developer mode

Built-in Testing Framework

VerificationTest — test whether a given input generates a specified output

TestObject — an object that represents the results of a VerificationTest

TestReport — generate a test report by running a collection of tests

TestReportObject — an object that represents the results of TestReport

Licensing

$CodeAssuranceVersion — gives the version of CodeAssurance that is installed

$CodeAssuranceLicenseExpirationDate — gives the expiration date for CodeAssurance's license

$CodeAssuranceLicenseKey — gives the license key under which CodeAssurance is installed