CodeAssurance

Installation Instructions:

(Note that these can all be evaluated in the notebook, CodeAssurance_Installation.nb that is provided with each purchase)

---Obtain license key

After purchasing CodeAssurance through the Buy Now button above, the following notification appears along with a generated License Key.

Copy the License Key as this is all that we will need to install CodeAssurance from a notebook.

---Register paclet server

Register Onsoc's paclet server and update the local cached data to include the latest versions of onSoc's paclets.

PacletSiteRegister["https://pacletserver.onsoc.com", "OnsocPacletServer"]//PacletSiteUpdate

---Install CodeAssurance

PacletInstall["CodeAssurance"]

---Enter License Key

Loading CodeAssurance for the first time will pop-up the following interface:

<<CodeAssurance`

Fill in the presented fields including the previously copied License Key. Click "Agree" to contact the license server and confirm activation with the "Success" notification. From this point on CodeAssurance will load in the standard way.

License Duration & Upgrades

The license is valid for one year including automatic access to upgrades. The current version is given by $CodeAssuranceVersion while $CodeAssuranceLicenseExpirationDate gives the date to which CodeAssurance is licensed.

Documentation

Once installed CodeAssurance's documentation appears in Mathematica's Documentation Center. Full web-versions of these pages are available and include these Installation Instructions, the function guide and tutorials for setting up seamless paclet-workflows and performing large-scale testing.

Philosophy

CodeAssurance is a package for improving the correctness of large systems built in the Wolfram Language. 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, working in tandem with a developer-friendly framework entered with DeveloperOn, functions CreateDeveloperPaclet and PacletDeploy, create an end-to-end paclet workflow for realizing new levels of code assurance.

The philosophy behind CodeAssurance is that the future of computation belongs to those combining the precision of computational correctness with the creativity of AI hallucinations.

Early usage

Some minimal examples of applying CodeAssurance and its relevance in a broader context were demonstrated at the Wolfram Australasia User Conference held at RMIT in August of 2024.

Uninstalling

The paclets can be uninstalled by executing the following:

PacletUninstall["CodeAssurance"]

PacletUninstall["OnsocLicenseManager"]