所谓自洽：“某个理论体系或者数学模型的内在逻辑一致，不含悖论”。
转移到计算机软件，我对它的定义为“一个计算机软件，在各个模块，各个函数，各个功能之间对相同问题，没有不同的看法”。比如我们的软件中包含了供应商，和主要供应商，如果在采购时允许用户对同一个商品有多个供应商，可是在查询的时候，却仅仅为用户提供“按主要供应商查询的功能”，即是一个不自洽。软件自恰和需求无关，没有任何需求的情况下，一样可以检查系统的自洽性。自洽性是测试的一个基本工具。今天的软件自洽，但是随着新的需求的引入，一定会打破原来的自洽，引入新一轮的自洽过程，从而进入新一级的自洽。
