A modern Fortran correctness-checking framework supporting expressive idioms for writing assertions and tests

Area: Development tools

CASS member: S4PST

Description

The Julienne framework offers a unified approach to unit testing and runtime assertion checking. Julienne defines idioms for specifying correctness conditions in a common way when writing tests that wrap the tested procedures or assertions that conditionally execute inside procedures to check correctness. Julienne’s idioms center around expressions built from defined operations: a uniquely flexible Fortran capability allowing developers to define new operators in addition to overloading Fortran’s intrinsic operators.

Target audience

Fortran software developers that want to write correctness checks for their software.

Additional resources