ReForm - Automated Requirement Formalization

• Automated generation of requirement models with an average accuracy of 90%
• High support for the manual requirements verification process
• Fast and easy-to-use tool with the ability to automate multiple steps in a model-based testing pipeline

Input(s):

• Requirements in natural language
• Design Specifications in natural language

Main feature(s):

• Automated signal detection
• Automated parameter detection
• Logic extraction
• Model recommendations with user interaction

Output(s):

• Requirement Models
• Links between model and textual entities

• Python 3
• spaCy
• NLTK
• JavaScript

Requirements engineers, Software testers.

• Planned to license commercially on request
• Support and consulting by IFAK