单元测试复杂数学计算需拆解逻辑、隔离依赖、覆盖边界、验证精度：分层测试子步骤，用确定性输入与黄金值比对，浮点用 tobecloseto，严控边界与退化情况，并可辅以符号计算交叉验证。
对复杂数学计算写单元测试，核心是拆解逻辑、隔离依赖、覆盖边界、验证精度。别直接测一整段公式，而是把计算过程分层，每层单独验证。
拆解计算步骤，逐层断言
复杂数学函数（比如贝叶斯更新、矩阵变换、数值积分）往往由多个子步骤组成。把它们提取为独立的辅助函数，再分别测试：
- 先测基础运算：如
sigmoid(x)是否在 x=0 时返回 0.5，x→∞ 时趋近 1 - 再测组合逻辑：如
bayesUpdate(prior, likelihood, evidence)中，固定 prior=0.5，likelihood=0.8，evidence=0.6，手动算出后验应为 ≈0.667，用toBeCloseTo(0.667, 3)断言 - 避免“黑盒式”调用：不只测最终结果，也检查中间变量（如梯度下降中的 loss 值是否单调递减）
用确定性输入 + 预计算黄金值
数学计算必须可重现。禁用随机数、时间戳等不确定因素：
- 用
Math.seedrandom('test')（配合 seedrandom 库）固定随机种子 - 对积分/迭代类函数，限定最大步数（如
maxIterations: 100），并提供已知解析解的输入（如 ∫₀¹ x² dx = 1/3） - 把高精度参考值存在测试文件里（如
const EXPECTED_RESULT = 1.4142135623730951;），而不是靠 JS 运行时实时计算
重点覆盖边界与退化情况
数学函数的脆弱点常在边界：无穷、NaN、零、负数、极值。例如：
- 测试
log(x)：x ≤ 0 时是否抛出错误或返回 NaN，并用expect(() => log(0)).toThrow() - 测试矩阵求逆：输入单位阵、奇异阵（如 [[1,1],[1,1]]）、空矩阵，检查返回值或异常类型
- 对浮点比较，永远不用
toBe，改用toBeCloseTo(expected, numDigits)（Jest）或自定义近似相等工具函数
引入符号计算辅助验证（进阶）
对关键公式，可用轻量符号库（如 nerdamer）做交叉验证：
- 例如实现一个数值微分函数
numericDerivative(f, x, h=1e-5)，再用 nerdamer 求出 f(x)=x³ 的解析导数3*x^2，代入 x=2 得 12，和数值结果比对 - 不用于生产，仅在测试中启用，确保核心公式推导没写错
- 注意性能：这类验证放在单独的
math-validation.test.js，不混入常规测试套件
不复杂但容易忽略的是：数学测试不是越多越好，而是每个用例必须有明确的数学意义——它在验证哪个假设、哪条性质（如对称性、守恒律、收敛性）。写完一个测试，能说出“这个用例防止哪种公式抄错”。
Java免费学习笔记：立即使用
解锁 Java 大师之旅：从入门到精通的终极指南
