The use of a formal descriptive language, as a partial
replacement for natural language, in expressing functional
specification allows a great advance towards a complete
automatic testing methodology (from tests generation to
their execution) by favouring: