In this project, we are developing a CNL for supporting the specification of test cases of mobile devices, which are performed with the aid of robotic arms.
RoboWorld is a controlled natural language (CNL) for the specification of environment and platform assumptions with a precise semantics in the context of the RoboStar technology.
Supports automatic generation of test cases for timed reactive systems from controlled natural-language requirements, using different formalisms, techniques and tools.