除法算法的正确性可以使用除数、被除数和商的数量关系来验证。在除数为d，被除数为x，商为q的除法运算中，整除的关系可以表示为：
x = dq + r
其中，r为余数。根据除法原理，余数r应该小于除数d。因此，只需要验证商q是否正确即可验证除法算法的正确性。
具体而言，可以通过进行多组测试数据来验证除法算法的正确性。每次测试使用不同的除数和被除数来计算商，然后验证商是否满足x = dq + r的式子。
如果商符合该式子，则说明算法正确；如果不符合则说明算法有误。通过多组数据的验证来确保除法算法的正确性。
