除法算法的正确性验证方法

验证除法算法的正确性需要使用除数、被除数和商的数量关系。

在除法中，除数乘以商加上余数等于被除数。

因此，可以使用以下步骤来验证除法算法的正确性：

1. 选择一个除数和被除数。

2. 执行除法算法，计算商和余数。

3. 验证计算结果是否正确。

如果计算出的商和余数乘以除数加上被除数得到的结果相同，则除法算法是正确的。