Generation of test data from algebraic specifications
Marie-Claude Gaudel, Bruno Marre · 2003
As soon as formal specifications are used in software development, it becomes possible to use these specifications to generate implementation-independent test data. In the case of algebraic specifications, these specifications consist of a structured enumeration of properties required for the system. Thus, they provide a test strategy: for each required property, the program is used to test the formula which is supposed to be valid.>