请教高手：如何测试一个数学公式的实现是否正确

linchuanzai

现在已知公式y＝ax1＋bx2＋cx3，请问我应该如何取测试数据(x1,x2,x3)来确认开发所实现的数学公式是对的，即各系数都没有错。（用例需取几组值，是否需要满足什么条件？）
这种用例的设计方法要求要适用于所有的(a,b,c)任何可能取值。
鄙人数学学得不好，请高手们指教。

linchuanzai

自己顶一下！

Old々Man

我觉得，在用户输入数据时，你用正则过滤除数字外的其他所有字符就可以了啊！
然后要特别注意的是，你用的那些数（a,b,c,x1,x2,x3）的数据类型，一定要看数据类型的有效范围去进行边界值法测试！这样就避免产生溢出的可能！
其他的话应该没什么好测的了，听听大家的意见吧！

llf1986

关注 希望高人顶下

davy_chen

采用等价类和边界值等各种黑盒测试方法
等价类：可以对于（a,b,c,x1,x2,x3）进行有效和无效类的划分，有效类中可以对这些数值在实数范围内进一步划分
边界值：根据数学知识或者开发软件相关知识，确定各处边界，在边界处选点进行测试
正交试验法：将大量测试数据采用正交试验设计法进行精简测试

当然这些都还要看测试的深度，如果希望测试深一些，各种方法都可以被应用，如果简单测试，那么还可以采取错误推测法进行测试，最后如果能够采用自动脚本测试，可以大大提高测试的效率和覆盖的程度。

linchuanzai

多谢各位！

不破不力

没有具体点的方法?没看懂

maclehappy13

用正交法(简单实验法)、等价类、边界值三种方法就可以啦。
正交法：确定A、B、C的系统有没有错，一个一个确认系统，确认A的系统时，B、C的值用“0”，同理测试另外两个系统；
等价类、边界值：如果A、B、C没有取值范围限制可以不用

maclehappy13

用正交法(简单实验法)、等价类、边界值三种方法就可以啦。
正交法：确定A、B、C的系数有没有错，一个一个确认系数，确认A的系数时，B、C的值用“0”，同理测试另外两个系数；
等价类、边界值：如果A、B、C没有取值范围限制可以不用

lxwdy

看不懂

spring

单个边界好测。但y＝ax1＋bx2＋cx3 总值的边界测试.如最大值对各参数就有限制了。

zwhpl

1，y＝ax1＋bx2＋cx3  （输入x1，x2.x3全部是0， 输出y=0）
2，（输入x1，x2.全部是0，x3=1 输出y=C） 任意两个是0，另一个变换，y的值 变 化
3，判断负数有没有错误 输入X1=-1 X2=0 X3=0  输出y=-a
4，判断进位有没有错误 X1=999 X2=1 X3=1000
5.判断小数乘的有没有错误 x1=0.5