uc矩阵求解检验步骤：1、完备性检验。这是指每一个数据类必须有一个产生者(即“C”)和至少有一个使用者(即“U”)，每个功能必须产生或者使用数据类。否则这个U/C矩阵是不完备的。2、一致性检验。这是指每一个数据类仅有一个产生者，即在矩阵中每个数据类只有一个“C”。如果有多个产生者的情况出现，则会产生数据不一致的现象。3、无冗余性检验。这是指每一行或每一列必须有“U”或“C”，即不允许有空行空列。若存在空行空列，则说明该功能或数据的划分是没有必要的、冗余的。
