算法的正确性如何检验

算法正确性证明包括两个方面：1.证明关于输入与输出之关系的命题是正确的；2.证明算法中的公式及计算方法是正确的。

1、检验算法是否正确可以将所编写算法写成代码带入程序中进行运行测验，随机选择多个数值分别进行测试，如果结果符合，则此算法基本无误。

2、请教前辈比如老师或者师兄师姐，请他们帮忙检验。