7　进行合理性检查

U/C矩阵的正确性，可由三方面来检验：

7.1　完备性检验

这是指每一个数据类必须有一个产生者（即“C”）和至少有一个使用者（即“U”）；每个功能必须产生或者使用数据类。否则这个U/C矩阵是不完备的。

7.2　一致性检验

这是指每一个数据类仅有一个产生者，即在矩阵中每个数据类只有一个“C”。如果有多个产生者的情况出现，则会产生数据不一致的现象。

7.3　无冗余性检验

这是指每一行或每一列必须有“U”或“C”，即不允许有空行空列。若存在空行空列，则说明该功能或数据的划分是没有必要的、冗余的。

将U/C矩阵进行整理，移动某些行或列，把字母“C”尽量靠近U/C矩阵的上对角线，可得到C符号的适当排列。