Expand description
Metamorphic testing for orbital physics invariants.
Per Chen et al. [33], metamorphic testing verifies relations rather than specific outputs. This is critical for physics simulations where exact outputs are unknown but invariant relationships must hold.
§Metamorphic Relations
- Rotation Invariance: Rotating the entire system preserves relative dynamics
- Time-Reversal Symmetry: Symplectic integrators are time-reversible
- Mass Scaling: Uniform mass scaling preserves orbital shapes
- Energy Conservation: Total mechanical energy is preserved
- Momentum Conservation: Total momentum is preserved (closed system)
§References
[33] Chen et al., “Metamorphic testing: a new approach,” Hong Kong UST, 1998.
Structs§
- Metamorphic
Result - Metamorphic test result.
Functions§
- run_
all_ metamorphic_ tests - Run all metamorphic tests on a state.
- test_
angular_ momentum_ conservation - MR-4: Angular Momentum Conservation Test
- test_
deterministic_ replay - MR-5: Deterministic Replay Test
- test_
energy_ conservation - MR-3: Energy Conservation Test
- test_
rotation_ invariance - MR-1: Rotation Invariance Test
- test_
time_ reversal - MR-2: Time-Reversal Symmetry Test