When the action-state model is creating the abstract test cases are generated. Abstract test cases can be executed by the testers, but not by a machine. Here are the abstract test cases generated from test design.
By studying these tests, you can validate and improve your requirements. Abstract test cases are shorter and more understandable. In addition, they are entirely implementation-independent. They are also a good starting point of the implementation.
When the concrete model (phrases) is creating the concrete test cases are generated. From these test cases, Harmony can generate executable code in any language and for any tool. Here are the tests for these phrases implementing model steps 2 and 3.
The generated code contains twice as many characters as the model.