Code Foundry

Installation Instructions:

After purchasing a Code Foundry (software) license, the notebook CodeFoundary_software.n becomes available for download.This notebook contains the following evaluations/instructions.

---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 will be needed the first time Onsoc is loaded.

---Register Onsoc's 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

--- Enter License Key

Load Onsoc for the first time:

<<Onsoc`

On an initial loading the following dialog appears:

Register and fill-in the previously generated License Key. Click "Agree" if agreeing to accept the linked terms and conditions before activation is then confirmed with the "Success" notification. Subsequent loadings of <<Onsoc` evaluate in the standard way.

License Duration & Upgrades

Onsoc's Code Foundry license is valid for one year and makes available all the functionality associated with Code Foundry including any automatic updates that occur during this period. $OnsocLicenseExpirationDate gives the date to which this functionality is available.

Note that LLM Compass, Hypothesizen and Vantage licenses are set up in the same way, giving expanded functionality corresponding to each tier.

Documentation

Once installed Onsoc'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

As an example of the functionality provided for in this tier are functions for improving the correctness of large systems built in the Wolfram Language. A 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.

Early usage

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

Uninstalling

This functionality can be uninstalled by evaluating the following:

PacletUninstall["Onsoc"]