Crucible

Adam Emerson

0

Web Designer

Software Engineer

Web Developer

Electron

React

TypeScript

A graphical testing suite for AUnit and Alloy.

The Paper

The work related to Crucible was published at ISSRE '23 and the full paper can be found here

What is Crucible?

Crucible is a no-code testing suite designed to streamline the production of AUnit test cases. Crucible is a cross-platform desktop application with support for Windows and MacOS. Crucible comes bundled with V5 of the Alloy Analyzer, which it uses to evaluate tests and provide automated guidance during test creation.

What is AUnit?

AUnit is a testing framework for Alloy. In lieu of ad-hoc validation practices, AUnit establishes a formal specification for unit tests in Alloy.
Like this project
0

Posted Apr 1, 2024

A desktop application that allows for the creation of no-code unit tests for the software modeling language Alloy. Built with typescript, react, and Mantine.

Likes

0

Views

4

Tags

Web Designer

Software Engineer

Web Developer

Electron

React

TypeScript

Auragraph.io - Web Application
Auragraph.io - Web Application
Sightstone
Sightstone