Structure Oriented Testing of Erlang Programs (STEP)
Structure oriented testing is an approach to test small fractions of a program's source code early in the software development process; it provides a method for selecting test cases based on the source code structure of the tested component. This approach is heavilly used in industrial software projects, especially for critical software.
For functional programming languages, most of the structure oriented testing approaches do not fit exactly. In the STEP project (Structure oriented Testing of Erlang Programs) we, therefore, discovered the special properties of functional programming languages and the implied needs for structure oriented testing. As a result, an approach to the generation of flow graphs was presented and serveral data flow oriented coverage criteria, well suited for functional programming languages have been defined.