Veggies & Garden
Veggies provides users with a set of classes that facilitate the natural expression of specifications for what units of software are expected to do. The specification itself is written in Fortran with object names and constructor function interfaces that enable each requirement to be read in a manner that resembles written English while facilitating the compilation and execution of the specification itself as the test. Veggies supports single-image (serial) testing. For multi-image (parallel) testing with the same data structures and procedures, use Garden.