As an manual tester who have limited knowledge about the programming language but  I would like to have a tool to allow me write automation test script by using the formal specification language.