Rodin::Test module

Helpers for constructing numerical tests.

FDProbe compares assembled tangents with finite differences and returns error diagnostics in FDProbeReport. ExpectedResultTable organizes known input-output cases, and random generators supply test samples. These helpers support numerical regression tests for constitutive laws, geometry, and variational operators.

For Rodin's convention $A(u)\Delta u=b(u)=-R(u)$ , the consistency check is

\[ A(u)w \approx -\frac{b(u+\epsilon w)-b(u-\epsilon w)}{2\epsilon}. \]

The probe reports absolute and relative errors. Table-driven helpers and random samplers support complementary numerical tests.

Classes

struct FDProbeReport
Report produced by a finite-difference tangent probe.
template<class ProblemType>
class FDProbe
Finite-difference probe for a nonlinear assembled problem.
See specializations
SpecializationDescription
Math::LinearSystem<Operator, Vector>
Full specialization
template <
  class Operator,
  class Vector>
class FDProbe<
  Math::LinearSystem< Operator, Vector >>;
Finite-difference probe for an assembled linear system.