契约式编程在数控宏程序中被广泛应用,以保证复杂条件下的程序正确性,是一个非常有用的编程手段.但是如何正确有效地制订程序契约却并不是一件简单的事,如果我们不注意程序契约中逻辑的合理性,就很容易产生无效契约,从而无法实现保证程序正确性,加工安全性的目的.
若上方预览无法显示，请新窗口打开或下载 PDF。