Например x1y1z1=c1, а x2y2z2=c2
Вы не можете проверить саму формулу. Ее смысл не вытекает ниоткуда. По краейней мере для вас.
Об этом писал Курт Гёдель. Формула корректна потому что она нам дана таковой.
Но вы можете как тестировщик проверить ее реализацию. Обычными тестами или тестами свойств.
Property-Based-Testing (PBT)
Для PBT обычно вы подаете на вход рандомные значения и проверяете что выполняется какой-то
инвариант. Например если формула дает площать фигуры - то площать всегда не отрицательная.
Или Например если это площать круга - то она всегда будет меньше например площади
описанного квадрата. Это грубая проверка но она позволяет по крайней мере очень быстро
доказать что нет грубой ошибки.
Какие конкретно придумать
свойства для тестирования - это ваша задача. Спросите бизнес.
Например если вы тестируете банковский кредит то инвариантом должна быть прибыль.
Тоесть при любых допустимых параметрах выгода от кредита должна быть в пользу банка.
Это КМК
самый лучший инвариант что можно придумать.
Если типы данных у вас - вещественные то все формулы в тестировании проверяются не на точное
совпадение а с допуском (эпсилон) который вы описываете в asserts:
assert ( x * y * z == c, ε = 0.000001 )
для всей области определения x,y,z
В качестве фреймворков для
Java/Scala есть соотвественно jqwik, scalacheck