Home

Specmate Wiki

Introduction

Welcome to Specmate - the open-source, web-based modeling and test-generation tool.

This wiki is the main source of documentation for developers working with (or contributing to) the Specmate project. If this is your first time hearing about Specmate, we recommend starting here. If you are a user of Specmate please refer to our documentation.

First steps

• How to setup a Specmate development environment
• How to Setup a Specmate Release Version

Developing Specmate

Frontend

• Frontend Code Overview
• Frontend Commands

Backend

• Backend REST Services
• Processes
  • How to make changes to the data model
  • Adding .jar files to the project
• Activate HTTPS
• Run Specmate behind a reverse proxy
• Specmate with Oracle DB
• How to install a self signed certificate

Automated Cause-Effect Detection

• Understanding the automated Cause-Effect Detection
• An Introduction to *.spec files
• The Detection and Generation Pipeline
• Spacy as NLP Pipeline

Reviews & Testing

• Pull requests
• Automatic tests

Documentation

• Create PDF-Documentation